opam-version: "2.0" synopsis: "Official 4.00.1 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.00" depends: [ "ocaml" {= "4.00.1" & 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] [make "world" "opt" "opt.opt"] ] install: [make "install"] patches: [ "bd7fa181cb64742c3b6cbb8ee13436554eb18cd7...fix-clang-build.diff" "fix-gcc10.patch" "alt-signal-stack.patch" ] url { src: "http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-4.00.1.tar.gz" checksum: [ "sha256=b48d5c7d3bf4a0cd6125f8fdfc1f654dd65586087399dc9f14716d7b9535e87a" "md5=91124a8eb12a57f1e56c02fe3db0f9e7" ] } extra-source "bd7fa181cb64742c3b6cbb8ee13436554eb18cd7...fix-clang-build.diff" { src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/fix-clang-build-ocaml-401.patch" checksum: [ "sha256=54c4a0e537dbe4e5a85d9c91671d2e82749042a7211305de3632e6a0529eef2d" "md5=faccda3b3ab092fa9ac7d5d4d8beb004" ] } available: arch != "arm64" & arch != "ppc64" extra-source "alt-signal-stack.patch" { src: "https://github.com/ocaml/ocaml/commit/60b0cdaf2519d881947af4175ac4c6ff68901be3.patch?full_index=1" checksum: "sha256=bb0e0e736ecc55c9f8cd8f74ca00a920bfe46e4200b82c5a45da952053b374da" } extra-source "fix-gcc10.patch" { src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ocaml-base-compiler/fix-gcc10.patch.4.00.1" checksum: [ "sha256=370060ddde27410c3957851d2213f0734f9250f1d5735077b57e9e4676656980" "md5=eb8555e57846757138861e14d2665ed1" ] }