-
Notifications
You must be signed in to change notification settings - Fork 30
/
ocaml-solo5-cross-aarch64.opam
50 lines (50 loc) · 1.5 KB
/
ocaml-solo5-cross-aarch64.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
46
47
48
49
50
opam-version: "2.0"
maintainer: "Martin Lucina <[email protected]>"
authors: "Martin Lucina <[email protected]>"
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}%"
"--sysroot=%{_:lib}%"
"--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}
]
[make "-j%{jobs}%"]
[make "%{name}%.install"]
]
depopts: [
"ocaml-option-no-flat-float-array"
"ocaml-option-flambda"
]
run-test: [
[make "test"]
]
depends: [
"conf-git" {build} # to patch the compiler sources
"conf-pkg-config" {build} # to detect how to link with zstd
"ocamlfind" {build} # needed by dune context (for tests)
"ocaml-src" {build}
"ocaml" {= "5.2.1"}
"solo5" {>= "0.9.0"}
"solo5-cross-aarch64" {>= "0.9.0" }
]
conflicts: [
"ocaml-solo5"
"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: "OCaml cross-compiler to the freestanding 64-bit ARM Solo5 backend"
description:
"This package provides a OCaml cross-compiler for ARM64, suitable for linking with a Solo5 unikernel."