this repo has no description
1opam-version: "2.0" 2synopsis: "4.06.1 with lto patch" 3description: "See https://github.com/ocaml/ocaml/pull/608" 4maintainer: "David Allsopp <david@tarides.com>" 5depends: [ 6 "ocaml" {= "4.06.1" & post} 7 "base-unix" {post} 8 "base-bigarray" {post} 9 "base-threads" {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 ["./configure" "-prefix" prefix "-with-debug-runtime" "-flambda" "-lto"] 23 {os != "openbsd" & os != "freebsd" & os != "macos"} 24 [ 25 "./configure" 26 "-prefix" 27 prefix 28 "-with-debug-runtime" 29 "-flambda" 30 "-lto" 31 "-cc" 32 "cc" 33 "-aspp" 34 "cc -c" 35 ] {os = "openbsd" | os = "freebsd" | os = "macos"} 36 [make "world"] 37 [make "world.opt"] 38] 39install: [make "install"] 40url { 41 src: 42 "https://github.com/well-typed-lightbulbs/ocaml-esp32/archive/4.06.1+lto.tar.gz" 43 checksum: [ 44 "sha256=e6f7d134252ccbfb3410d63df33c5ba25174c4fe912f672d455e26968ac34e62" 45 "md5=6a59dedfb4d6194b2272d861df86cd17" 46 ] 47} 48patches: ["fix-gcc10.patch" "alt-signal-stack.patch"] 49available: !(os = "macos" & arch = "arm64") 50license: "QPL-1.0 AND LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" 51authors: [ 52 "Xavier Leroy" 53 "Damien Doligez" 54 "Alain Frisch" 55 "Jacques Garrigue" 56 "Didier Rémy" 57 "Jérôme Vouillon" 58] 59bug-reports: "https://github.com/ocaml/opam-repository/issues" 60homepage: "https://ocaml.org" 61dev-repo: "git+https://github.com/ocaml/ocaml.git#4.06" 62extra-source "alt-signal-stack.patch" { 63 src: "https://github.com/ocaml/ocaml/commit/137a4ad167f25fe1bee792977ed89f30d19bcd74.patch?full_index=1" 64 checksum: "sha256=c0c1c64bed4cc2413be21ce8bfe52bb9caff4d1bcd7e7a72f9bcb113c231bc91" 65} 66extra-source "fix-gcc10.patch" { 67 src: 68 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ocaml-base-compiler/fix-gcc10.patch.4.06.1" 69 checksum: [ 70 "sha256=860a3e47b86a11a71e75d18d46f17f8343c58ee9297342d6ea885128f393dac6" 71 "md5=171b510547baa777839b2ad50608a3ee" 72 ] 73}