this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "4.01.0 compiled in 32bit mode for 64bit hosts. For Linux"
3maintainer: "David Allsopp <david@tarides.com>"
4depends: [
5 "ocaml" {= "4.01.0" & post}
6 "base-unix" {post}
7 "base-bigarray" {post}
8 "base-threads" {post}
9 "base-ocamlbuild" {post}
10]
11conflict-class: "ocaml-core-compiler"
12flags: compiler
13setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"
14build: [
15 [
16 "sed"
17 "-ib"
18 "-e"
19 "s/opts=\"\"/opts=\"-Wno-implicit-function-declaration\"/"
20 "config/auto-aux/hasgot"
21 ] {os = "macos"}
22 [
23 "./configure"
24 "-prefix"
25 prefix
26 "-with-debug-runtime"
27 "-cc"
28 "gcc -m32"
29 "-as"
30 "as --32"
31 "-aspp"
32 "gcc -m32 -c"
33 "-host"
34 "i386-linux"
35 "-partialld"
36 "ld -r -melf_i386"
37 ]
38 [make "world"]
39 [make "world.opt"]
40]
41install: [make "install"]
42patches: [
43 "bd7fa181cb64742c3b6cbb8ee13436554eb18cd7...fix-clang-build.diff"
44 "alt-signal-stack.patch"
45]
46url {
47 src: "http://caml.inria.fr/pub/distrib/ocaml-4.01/ocaml-4.01.0.tar.gz"
48 checksum: [
49 "sha256=ea1751deff454f5c738d10d8a0ad135afee0852d391cf95766b726c0faf7cfdb"
50 "md5=04dfdd7da189462a4f10ec6530359cef"
51 ]
52}
53extra-source "bd7fa181cb64742c3b6cbb8ee13436554eb18cd7...fix-clang-build.diff" {
54 src:
55 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/fix-clang-build-ocaml-401.patch"
56 checksum: [
57 "sha256=54c4a0e537dbe4e5a85d9c91671d2e82749042a7211305de3632e6a0529eef2d"
58 "md5=faccda3b3ab092fa9ac7d5d4d8beb004"
59 ]
60}
61available: !(os = "macos" & arch = "arm64")
62license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
63authors: [
64 "Xavier Leroy"
65 "Damien Doligez"
66 "Alain Frisch"
67 "Jacques Garrigue"
68 "Didier Rémy"
69 "Jérôme Vouillon"
70]
71bug-reports: "https://github.com/ocaml/opam-repository/issues"
72homepage: "https://ocaml.org"
73dev-repo: "git+https://github.com/ocaml/ocaml.git#4.01"
74extra-source "alt-signal-stack.patch" {
75 src: "https://github.com/ocaml/ocaml/commit/d111407bf4ff71171598d30825c8e59ed5f75fd6.patch?full_index=1"
76 checksum: "sha256=cadeb58478a5ca998fdfa54dc99fbb31235a0ce7689a740338a8fdb391e9b436"
77}