/
opam
45 lines (45 loc) · 1.6 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
opam-version: "2.0"
maintainer: "Martin Lucina <martin@lucina.net>"
authors: "Martin Lucina <martin@lucina.net>"
homepage: "https://github.com/mirage/ocaml-solo5"
bug-reports: "https://github.com/mirage/ocaml-solo5/issues/"
license: "MIT"
tags: "org:mirage"
dev-repo: "git+https://github.com/mirage/ocaml-solo5.git"
build: [
["./configure.sh"
"--prefix=%{prefix}%"
"--target=aarch64-solo5-none-static"
"--ocaml-configure-option=--disable-flat-float-array" {ocaml-option-no-flat-float-array:installed}
"--ocaml-configure-option=--enable-flambda" {ocaml-option-flambda:installed}
"--ocaml-configure-option=--disable-naked-pointers" {ocaml-option-nnp:installed}
]
[make "-j%{jobs}%"]
]
install: [make "install" ]
depends: [
"ocamlfind" {build} # needed by dune context (for tests)
"ocaml-src" {build}
"ocaml" {>= "4.12.1" & < "4.14.0"}
"solo5" {>= "0.7.0"}
"solo5-cross-aarch64" {>= "0.7.0" }
]
conflicts: [
"ocaml-freestanding"
"sexplib" {= "v0.9.0"}
"solo5-kernel-ukvm"
"solo5-kernel-virtio"
"solo5-kernel-muen"
]
available: [
((os = "linux" & (arch = "x86_64" | arch = "arm64"))
| (os = "freebsd" & arch = "x86_64")
| (os = "openbsd" & arch = "x86_64"))
]
synopsis: "Freestanding OCaml compiler"
description:
"This package provides a freestanding OCaml cross-compiler for ARM64, suitable for linking with a unikernel base layer."
url {
src: "https://github.com/mirage/ocaml-solo5/releases/download/v0.7.0/ocaml-freestanding-0.7.0.tar.gz"
checksum: "sha512=eadbeae13d3eaac2de64aa10c0c98e705047c161a079019442be92ed1ff7cad495ca858a46ccf262c1f57a605fbd5779da1a33ab1dd75fc5b9360dd4b9df0984"
}