opam-version: "2.0" synopsis: "Official 4.02.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.02" depends: [ "ocaml" {= "4.02.0" & post} "base-unix" {post} "base-bigarray" {post} "base-threads" {post} "base-ocamlbuild" {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: "http://caml.inria.fr/pub/distrib/ocaml-4.02/ocaml-4.02.0.tar.gz" checksum: [ "sha256=dbbcbd72a29a51206677a606ea09dfec83ae25cbbf52dee90306bc04812cd034" "md5=8bba7e7d872083af1723dd450e07a5f4" ] } patches: ["fix-gcc10.patch" "gpr1330.patch" "alt-signal-stack.patch"] available: !(os = "macos" & arch = "arm64") & arch != "ppc64" extra-source "alt-signal-stack.patch" { src: "https://github.com/ocaml/ocaml/commit/9de2b77472aee18a94b41cff70caee27fb901225.patch?full_index=1" checksum: "sha256=91841447cc2d11ebe67a078ace677a18f06432ebf15c4c6d5a09e04b67dd041a" } extra-source "gpr1330.patch" { src: "https://github.com/ocaml/ocaml/commit/bcc7a767279ff70518b3f4219cc0b9bffec7dd43.patch?full_index=1" checksum: "sha256=594d4dd6c192fe77e9fc025674b51e3de74d70326b2e750a249a09eeded68716" } extra-source "fix-gcc10.patch" { src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ocaml-base-compiler/fix-gcc10.patch.4.02.0" checksum: [ "sha256=b4e7fce997e004099d9611d2726e9ee9af9c8c68cfeff07289251c63897ff75f" "md5=91a4a258611302bc57f4d9fadb7fc14d" ] }