opam-version: "2.0" synopsis: "Official 4.03.0 release" maintainer: "David Allsopp " license: "QPL-1.0 AND LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" authors: ["Xavier Leroy" "Damien Doligez" "Alain Frisch" "Jacques Garrigue" "Didier Rémy" "Jérôme Vouillon"] homepage: "https://ocaml.org" bug-reports: "https://github.com/ocaml/opam-repository/issues" dev-repo: "git+https://github.com/ocaml/ocaml.git#4.03" depends: [ "ocaml" {= "4.03.0" & post} "base-unix" {post} "base-bigarray" {post} "base-threads" {post} ] conflict-class: "ocaml-core-compiler" flags: compiler setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs" build: [ [ "sed" "-ib" "-e" "s/opts=\"\"/opts=\"-Wno-implicit-function-declaration\"/" "config/auto-aux/hasgot" ] {os = "macos"} ["./configure" "-prefix" prefix "-with-debug-runtime"] {os != "openbsd" & os != "freebsd" & os != "macos"} [ "./configure" "-prefix" prefix "-with-debug-runtime" "-cc" "cc" "-aspp" "cc -c" ] {os = "openbsd" | os = "freebsd" | os = "macos"} [make "world"] [make "world.opt"] ] install: [make "install"] url { src: "https://github.com/ocaml/ocaml/archive/4.03.0.tar.gz" checksum: [ "sha256=fef80a338099bffc56e4d1ef35146336195a4a9e2086e8cd186c402805503a0a" "md5=4ddf4977de7708f11adad692c63e87ec" ] } patches: ["fix-gcc10.patch" "gpr1330.patch" "alt-signal-stack.patch"] available: !(os = "macos" & arch = "arm64") extra-source "alt-signal-stack.patch" { src: "https://github.com/ocaml/ocaml/commit/a8b2cc3b40f5269ce8525164ec2a63b35722b22b.patch?full_index=1" checksum: "sha256=dea675165192cbac93aa89e43e22ad47f7e99b5ba118f27ad7e1846aa7a2a8d4" } extra-source "gpr1330.patch" { src: "https://github.com/ocaml/ocaml/commit/c204f07bfb20174f9e1c9ff586fb7b2f42b8bf18.patch?full_index=1" checksum: "sha256=a82eee28f3d10161010283267322c5779fcb7077ead14287d7b9e436ac16b730" } extra-source "fix-gcc10.patch" { src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ocaml-base-compiler/fix-gcc10.patch.4.03.0" checksum: [ "sha256=10e3a14312ee405af8ada0f14d9dddebbbc9d936ef7e2389dfb71e9cf1f49d6a" "md5=4370afea8ee2dea768b0fcba52394a2f" ] }