this repo has no description
1opam-version: "2.0"
2synopsis: "Official 4.00.0 release"
3maintainer: "David Allsopp <david@tarides.com>"
4license: "QPL-1.0 AND LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
5authors: ["Xavier Leroy" "Damien Doligez" "Alain Frisch" "Jacques Garrigue" "Didier Rémy" "Jérôme Vouillon"]
6homepage: "https://ocaml.org"
7bug-reports: "https://github.com/ocaml/opam-repository/issues"
8dev-repo: "git+https://github.com/ocaml/ocaml.git#4.00"
9depends: [
10 "ocaml" {= "4.00.0" & post}
11 "base-unix" {post}
12 "base-bigarray" {post}
13 "base-threads" {post}
14 "base-ocamlbuild" {post}
15]
16conflict-class: "ocaml-core-compiler"
17flags: compiler
18setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"
19build: [
20 [
21 "sed"
22 "-ib"
23 "-e"
24 "s/opts=\"\"/opts=\"-Wno-implicit-function-declaration\"/"
25 "config/auto-aux/hasgot"
26 ] {os = "macos"}
27 ["./configure" "-prefix" prefix]
28 [make "world" "opt" "opt.opt"]
29]
30install: [make "install"]
31url {
32 src: "http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-4.00.0.tar.gz"
33 checksum: [
34 "sha256=9ea5544538144811b5fd9c7172d63abc0d1c6ba6b64d2c60474807fc57ad4c6e"
35 "md5=fa11560a45793bd9fa45c1295a6f4a91"
36 ]
37}
38patches: ["fix-gcc10.patch" "alt-signal-stack.patch"]
39available: arch != "arm64" & arch != "ppc64"
40extra-source "alt-signal-stack.patch" {
41 src: "https://github.com/ocaml/ocaml/commit/60b0cdaf2519d881947af4175ac4c6ff68901be3.patch?full_index=1"
42 checksum: "sha256=bb0e0e736ecc55c9f8cd8f74ca00a920bfe46e4200b82c5a45da952053b374da"
43}
44extra-source "fix-gcc10.patch" {
45 src:
46 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ocaml-base-compiler/fix-gcc10.patch.4.00.0"
47 checksum: [
48 "sha256=370060ddde27410c3957851d2213f0734f9250f1d5735077b57e9e4676656980"
49 "md5=eb8555e57846757138861e14d2665ed1"
50 ]
51}