this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "OCaml cross-compiler and libraries from the DKML distribution that works with at least Win32 and macOS"
4description: """\
5The DKML distribution of the OCaml bytecode and native compiler, Stdlib and the other OCaml libraries (str, unix, bigarray, etc.).
6A cross-compiler for macOS x86_64 to macOS arm64 is included; for build consistency the regular OCaml compiler will be for x86_64 regardless of whether the build machine is Apple Silicon.
7Install with something like: opam switch create dkml-4.12.1 '--formula="dkml-base-compiler" {>= "4.12.1~" & < "4.13.0~"}'"""
8maintainer: "opensource+diskuv-ocaml@support.diskuv.com"
9authors: "Diskuv, Inc. <opensource+diskuv-ocaml@support.diskuv.com>"
10license: "Apache-2.0"
11homepage: "https://github.com/diskuv/dkml-compiler"
12bug-reports: "https://github.com/diskuv/dkml-compiler/issues"
13depends: [
14 "ocaml" {= "4.12.1" & post}
15 "base-unix" {post}
16 "base-bigarray" {post}
17 "base-threads" {post}
18 "dkml-runtime-common" {= "1.0.2~prerel7"}
19]
20depopts: ["ocaml-option-32bit"]
21conflict-class: "ocaml-core-compiler"
22available:
23 opam-version >= "2.1.0" &
24 (arch = "x86_64" & (os = "linux" | os = "win32" | os = "macos") |
25 arch = "x86_32" & (os = "linux" | os = "win32") |
26 arch = "arm64" & os = "macos")
27flags: [compiler avoid-version]
28build: [
29 ["sh" "scripts/macos-bundle-dump.sh"] {os = "macos"}
30 ["install" "-d" "dl/ocaml/flexdll"]
31 ["tar" "xCfz" "dl/ocaml" "dl/ocaml.tar.gz" "--strip-components=1"]
32 [
33 "tar" "xCfz" "dl/ocaml/flexdll" "dl/flexdll.tar.gz" "--strip-components=1"
34 ]
35 ["install" "-d" "dkmldir"]
36 [
37 "sh"
38 "-eufc"
39 "printf 'dkml_root_version=%s\\n' '%{version}%' | sed 's/[0-9.]*~v//; s/~/-/' > dkmldir/.dkmlroot"
40 ]
41 ["install" "-d" "dkmldir/vendor/drc"]
42 [
43 "sh"
44 "-eufc"
45 "tar cCf '%{dkml-runtime-common:lib}%/' - . | tar xCf dkmldir/vendor/drc/ -"
46 ]
47 [
48 "install"
49 "-d"
50 "dkmldir/vendor/dkml-compiler/src"
51 "dkmldir/vendor/dkml-compiler/env"
52 ]
53 [
54 "install"
55 "env/standard-compiler-env-to-ocaml-configure-env.sh"
56 "dkmldir/vendor/dkml-compiler/env/"
57 ]
58 [
59 "sh"
60 "-eufc"
61 "tar cCf src/ - . | tar xCf dkmldir/vendor/dkml-compiler/src/ -"
62 ]
63]
64install: [
65 [
66 "env"
67 "TOPDIR=dkmldir/vendor/drc/all/emptytop"
68 "DKML_REPRODUCIBLE_SYSTEM_BREWFILE=%{_:build}%/Brewfile"
69 "dkmldir/vendor/dkml-compiler/src/r-c-ocaml-1-setup.sh"
70 "-d"
71 "dkmldir"
72 "-t"
73 "%{prefix}%"
74 "-f"
75 "src-ocaml"
76 "-g"
77 "%{_:share}%/mlcross"
78 "-v"
79 "dl/ocaml"
80 "-z"
81 "-ewindows_x86"
82 {os = "win32" & (arch = "x86_32" | ocaml-option-32bit:installed)}
83 "-ewindows_x86_64"
84 {os = "win32" & arch = "x86_64" & !ocaml-option-32bit:installed}
85 "-elinux_x86"
86 {os = "linux" & (arch = "x86_32" | ocaml-option-32bit:installed)}
87 "-elinux_x86_64"
88 {os = "linux" & arch = "x86_64" & !ocaml-option-32bit:installed}
89 "-edarwin_x86_64" {os = "macos" & arch = "x86_64"}
90 "-edarwin_arm64" {os = "macos" & arch = "arm64"}
91 "-adarwin_x86_64=vendor/dkml-compiler/env/standard-compiler-env-to-ocaml-configure-env.sh"
92 {os = "macos" & arch = "arm64"}
93 "-adarwin_arm64=vendor/dkml-compiler/env/standard-compiler-env-to-ocaml-configure-env.sh"
94 {os = "macos" & arch = "x86_64"}
95 "-k"
96 "vendor/dkml-compiler/env/standard-compiler-env-to-ocaml-configure-env.sh"
97 ]
98 [
99 "sh"
100 "-eufc"
101 """
102 cd '%{prefix}%'
103 share/dkml/repro/100co/vendor/dkml-compiler/src/r-c-ocaml-2-build_host-noargs.sh
104 """
105 ]
106 [
107 "sh"
108 "-eufc"
109 """
110 cd '%{prefix}%'
111 share/dkml/repro/100co/vendor/dkml-compiler/src/r-c-ocaml-3-build_cross-noargs.sh
112 """
113 ]
114]
115dev-repo: "git+https://github.com/diskuv/dkml-compiler.git"
116url {
117 src:
118 "https://github.com/diskuv/dkml-compiler/releases/download/1.0.2-prerel7-r2/src.tar.gz"
119 checksum: [
120 "md5=6f0301013b0e5976d3753c7a5ab54061"
121 "sha512=40faf510a113439678ea2424905b1ad6c79c22315c23f688f6b4e685d90bc83161b6d0d74d65b6e750065a6df234ec4845b04b5352dc9fb9fb9442a10ef3bba3"
122 ]
123}
124extra-source "dl/flexdll.tar.gz" {
125 src: "https://github.com/alainfrisch/flexdll/archive/0.39.tar.gz"
126 checksum:
127 "sha256=51a6ef2e67ff475c33a76b3dc86401a0f286c9a3339ee8145053ea02d2fb5974"
128}
129extra-source "dl/homebrew-bundle.tar.gz" {
130 src:
131 "https://github.com/Homebrew/homebrew-bundle/archive/4756e4c4cf95485c5ea4da27375946c1dac2c71d.tar.gz"
132 checksum:
133 "sha256=10c024ca7871cea36b4c27b2601971d3fa6cba6f37855613baf0026d0f555e76"
134}
135extra-source "dl/ocaml.tar.gz" {
136 src: "https://github.com/ocaml/ocaml/archive/4.12.1.tar.gz"
137 checksum:
138 "sha256=f5a48a90557cb47ace7b1590fcab1362a1af38629a218350f69c225c57e96a41"
139}