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