this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "OCaml 4.08.1 Secondary Switch Compiler"
3maintainer: "David Allsopp <david@tarides.com>"
4authors: "Xavier Leroy and many contributors"
5license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
6homepage: "https://ocaml.org"
7bug-reports: "https://github.com/ocaml/opam-repository/issues"
8dev-repo: "git+https://github.com/ocaml/ocaml"
9build: [
10 [
11 "./configure"
12 "--prefix=%{_:share}%"
13 "--libdir=%{_:share}%/lib"
14 "--disable-debugger"
15 "--disable-installing-bytecode-programs"
16 "--disable-debug-runtime"
17 "--disable-instrumented-runtime"
18 "--disable-graph-lib"
19 "CC=cc" {os = "openbsd" | os = "freebsd" | os = "macos"}
20 "ASPP=cc -c" {os = "openbsd" | os = "freebsd" | os = "macos"}
21 ]
22 [make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
23]
24install: [make "install"]
25url {
26 src: "https://github.com/ocaml/ocaml/archive/4.08.1.tar.gz"
27 checksum: [
28 "sha256=b53ed3d487b83fd49bc181bded066ae8e6fb592cf40514261d27d36050d5db85"
29 "md5=723b6bfe8cf5abcbccc6911143f71055"
30 ]
31}
32extra-source "alt-signal-stack.patch" {
33 src: "https://github.com/ocaml/ocaml/commit/17df117b4939486d3285031900587afce5262c8c.patch?full_index=1"
34 checksum: "sha256=92d747e6a9edffbe178d7c356a271c34f1c9e7597548ae8d6defc0815c56315a"
35}
36patches: [
37 "0001-Don-t-build-manpages-for-stdlib-docs.patch"
38 "0001-Fix-failure-to-install-tools-links.patch"
39 "fix-gcc10.patch"
40 "alt-signal-stack.patch"
41]
42available: !(os = "macos" & arch = "arm64")
43post-messages: [
44 "A failure in the middle of the build may be caused by build parallelism
45 (enabled by default).
46 Please file a bug report at https://github.com/ocaml/opam-repository/issues"
47 {failure & jobs > 1 & os != "cygwin"}
48 "You can try installing again including --jobs=1
49 to force a sequential build instead."
50 {failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
51]
52description: "Installs an additional compiler to the opam switch in
53%{_:share}%/ocaml-secondary-compiler which can be accessed using
54`ocamlfind -toolchain secondary`."
55extra-source "fix-gcc10.patch" {
56 src:
57 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ocaml-secondary-compiler/fix-gcc10.patch"
58 checksum: [
59 "sha256=e5a116608a20558fcd6c70c05978dc0c0b792f8dc10cfff119ddd6cce4b7dda1"
60 "md5=17ecd696a8f5647a4c543280599f6974"
61 ]
62}
63extra-source "0001-Fix-failure-to-install-tools-links.patch" {
64 src:
65 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ocaml-secondary-compiler/0001-Fix-failure-to-install-tools-links.patch"
66 checksum: [
67 "sha256=82e40a32202f700d77873a932b9d9bdaf2c61a9129b091d0033e2975add256c2"
68 "md5=e973762c0b3d62b0b25a26468086fae3"
69 ]
70}
71extra-source "0001-Don-t-build-manpages-for-stdlib-docs.patch" {
72 src:
73 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ocaml-secondary-compiler/0001-Don-t-build-manpages-for-stdlib-docs.patch"
74 checksum: [
75 "sha256=08a213cff3a58007e223d341335e2bf1d1cace9ebd04fec9b9dd121c5f9aaf52"
76 "md5=6caa580fe6031c109d2dc96b19bd40cd"
77 ]
78}