this repo has no description
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 "CC=cc" {os = "openbsd" | os = "freebsd" | os = "macos"}
19 "ASPP=cc -c" {os = "openbsd" | os = "freebsd" | os = "macos"}
20 ]
21 [make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
22]
23install: [make "install"]
24url {
25 src: "https://github.com/ocaml/ocaml/archive/4.08.1.tar.gz"
26 checksum: [
27 "sha256=b53ed3d487b83fd49bc181bded066ae8e6fb592cf40514261d27d36050d5db85"
28 "md5=723b6bfe8cf5abcbccc6911143f71055"
29 ]
30}
31extra-source "alt-signal-stack.patch" {
32 src: "https://github.com/ocaml/ocaml/commit/17df117b4939486d3285031900587afce5262c8c.patch?full_index=1"
33 checksum: "sha256=92d747e6a9edffbe178d7c356a271c34f1c9e7597548ae8d6defc0815c56315a"
34}
35patches: [
36 "0001-Don-t-build-manpages-for-stdlib-docs.patch"
37 "0001-Fix-failure-to-install-tools-links.patch"
38 "fix-gcc10.patch"
39 "alt-signal-stack.patch"
40]
41available: !(os = "macos" & arch = "arm64")
42post-messages: [
43 "A failure in the middle of the build may be caused by build parallelism
44 (enabled by default).
45 Please file a bug report at https://github.com/ocaml/opam-repository/issues"
46 {failure & jobs > 1 & os != "cygwin"}
47 "You can try installing again including --jobs=1
48 to force a sequential build instead."
49 {failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
50]
51description: "Installs an additional compiler to the opam switch in
52%{_:share}%/ocaml-secondary-compiler which can be accessed using
53`ocamlfind -toolchain secondary`."
54extra-source "fix-gcc10.patch" {
55 src:
56 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ocaml-secondary-compiler/fix-gcc10.patch"
57 checksum: [
58 "sha256=e5a116608a20558fcd6c70c05978dc0c0b792f8dc10cfff119ddd6cce4b7dda1"
59 "md5=17ecd696a8f5647a4c543280599f6974"
60 ]
61}
62extra-source "0001-Fix-failure-to-install-tools-links.patch" {
63 src:
64 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ocaml-secondary-compiler/0001-Fix-failure-to-install-tools-links.patch"
65 checksum: [
66 "sha256=82e40a32202f700d77873a932b9d9bdaf2c61a9129b091d0033e2975add256c2"
67 "md5=e973762c0b3d62b0b25a26468086fae3"
68 ]
69}
70extra-source "0001-Don-t-build-manpages-for-stdlib-docs.patch" {
71 src:
72 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ocaml-secondary-compiler/0001-Don-t-build-manpages-for-stdlib-docs.patch"
73 checksum: [
74 "sha256=08a213cff3a58007e223d341335e2bf1d1cace9ebd04fec9b9dd121c5f9aaf52"
75 "md5=6caa580fe6031c109d2dc96b19bd40cd"
76 ]
77}