this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "OCaml 4.01.0 with patches for native code compilation on armv6 FreeBSD10-RELEASE (ie raspberrypi)"
4maintainer: "David Allsopp <david@tarides.com>"
5depends: [
6 "ocaml" {= "4.01.0" & post}
7 "base-unix" {post}
8 "base-bigarray" {post}
9 "base-threads" {post}
10 "base-ocamlbuild" {post}
11]
12conflict-class: "ocaml-core-compiler"
13flags: compiler
14setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"
15build: [
16 [
17 "sed"
18 "-ib"
19 "-e"
20 "s/opts=\"\"/opts=\"-Wno-implicit-function-declaration\"/"
21 "config/auto-aux/hasgot"
22 ] {os = "macos"}
23 ["./configure" "-prefix" prefix]
24 {os != "openbsd" & os != "freebsd" & os != "macos"}
25 ["./configure" "-prefix" prefix "-cc" "cc" "-aspp" "cc -c"]
26 {os = "openbsd" | os = "freebsd" | os = "macos"}
27 [make "world"]
28 [make "world.opt"]
29]
30install: [make "install"]
31patches: ["freebsd10-armv6-natdynlink.patch" "alt-signal-stack.patch"]
32url {
33 src: "http://caml.inria.fr/pub/distrib/ocaml-4.01/ocaml-4.01.0.tar.gz"
34 checksum: [
35 "sha256=ea1751deff454f5c738d10d8a0ad135afee0852d391cf95766b726c0faf7cfdb"
36 "md5=04dfdd7da189462a4f10ec6530359cef"
37 ]
38}
39extra-source "freebsd10-armv6-natdynlink.patch" {
40 src:
41 "https://github.com/andrewray/mirage-fpga/releases/download/v0.1/freebsd10-armv6-natdynlink.patch"
42 checksum: [
43 "sha256=7d97a6853312843105f3edb51675e67c8a4d3f58999036c8ef9c8dd8ff67f6e7"
44 "md5=44062e1512c4ad6152845ce309034273"
45 ]
46}
47available: !(os = "macos" & arch = "arm64")
48license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
49authors: [
50 "Xavier Leroy"
51 "Damien Doligez"
52 "Alain Frisch"
53 "Jacques Garrigue"
54 "Didier Rémy"
55 "Jérôme Vouillon"
56]
57bug-reports: "https://github.com/ocaml/opam-repository/issues"
58homepage: "https://ocaml.org"
59dev-repo: "git+https://github.com/ocaml/ocaml.git#4.01"
60extra-source "alt-signal-stack.patch" {
61 src: "https://github.com/ocaml/ocaml/commit/d111407bf4ff71171598d30825c8e59ed5f75fd6.patch?full_index=1"
62 checksum: "sha256=cadeb58478a5ca998fdfa54dc99fbb31235a0ce7689a740338a8fdb391e9b436"
63}