diff --git a/packages/ocaml-freestanding/ocaml-freestanding.0.4.3/opam b/packages/ocaml-freestanding/ocaml-freestanding.0.4.3/opam new file mode 100644 index 00000000000..e158b0c128f --- /dev/null +++ b/packages/ocaml-freestanding/ocaml-freestanding.0.4.3/opam @@ -0,0 +1,40 @@ +opam-version: "2.0" +maintainer: "Martin Lucina " +authors: "Martin Lucina " +homepage: "https://github.com/mirage/ocaml-freestanding" +bug-reports: "https://github.com/mirage/ocaml-freestanding/issues/" +license: "MIT" +tags: "org:mirage" +dev-repo: "git+https://github.com/mirage/ocaml-freestanding.git" +build: [make] +install: [make "install" "PREFIX=%{prefix}%"] +remove: [make "uninstall" "PREFIX=%{prefix}%"] +depends: [ + "conf-pkg-config" + "ocamlfind" {build} + "ocaml-src" {build} + ("solo5-bindings-hvt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode") + "ocaml" {>= "4.04.2" & < "4.08.0"} +] +substs: [ + "flags/cflags.tmp" + "flags/libs.tmp" +] +conflicts: [ + "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 runtime" +description: + "This package provides a freestanding OCaml runtime (asmrun), suitable for linking with a unikernel base layer." +url { + src: "https://github.com/mirage/ocaml-freestanding/archive/v0.4.3.tar.gz" + checksum: "sha512=480124d4818b5b38a264927d1daaf570a0ad0f995f18293557c5538eafd0504519304ebdb216888f5f059337492d7ee32eff15ee5a9269a52b354cd10e46d328" +}