diff --git a/packages/conf-aarch64-linux-gnu-gcc/conf-aarch64-linux-gnu-gcc.1/opam b/packages/conf-aarch64-linux-gnu-gcc/conf-aarch64-linux-gnu-gcc.1/opam index 9148d1938789..b36fe17e8a52 100644 --- a/packages/conf-aarch64-linux-gnu-gcc/conf-aarch64-linux-gnu-gcc.1/opam +++ b/packages/conf-aarch64-linux-gnu-gcc/conf-aarch64-linux-gnu-gcc.1/opam @@ -20,3 +20,4 @@ Please install aarch64-linux-gnu-gcc manually, as there is no known package for it for your distribution.""" {failure} x-maintenance-intent: ["(latest)"] +x-ci-accept-failures: [ "alpine-3.22" "centos-9" "opensuse-15.6" "opensuse-tumbleweed" ] diff --git a/packages/ocaml-unikraft-arm64/ocaml-unikraft-arm64.1.1.0/opam b/packages/ocaml-unikraft-arm64/ocaml-unikraft-arm64.1.1.0/opam new file mode 100644 index 000000000000..9034e02eb2d8 --- /dev/null +++ b/packages/ocaml-unikraft-arm64/ocaml-unikraft-arm64.1.1.0/opam @@ -0,0 +1,42 @@ +opam-version: "2.0" +maintainer: "samuel@tarides.com" +homepage: "https://github.com/mirage/ocaml-unikraft/" +dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +synopsis: "OCaml cross compiler to the freestanding Unikraft arm64 backends" +description: + "This package provides an OCaml cross compiler, suitable for linking with a Unikraft arm64 unikernel." +authors: "Samuel Hym" +license: ["MIT" "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"] +depends: [ + "ocaml" {>= "5.3.0" & <= "5.4.0"} + "ocaml-unikraft-toolchain-arm64" + "ocamlfind" + "ocaml-src" {build} + "conf-git" {build} +] +build: [ + [ + make + "-j%{jobs}%" + "prefix=%{prefix}%" + "BIN=%{bin}%" + "LIB=%{lib}%" + "SHARE=%{share}%" + "OCUKARCH=arm64" + "%{name}%.install" + ] +] +install: [ + [make "install-ocaml"] +] +conflicts: ["ocaml-option-bytecode-only"] +url { + src: + "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz" + checksum: + "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4" +} +available: os = "linux" +x-maintenance-intent: ["(latest)"] diff --git a/packages/ocaml-unikraft-backend-firecracker-arm64/ocaml-unikraft-backend-firecracker-arm64.0.20.0/opam b/packages/ocaml-unikraft-backend-firecracker-arm64/ocaml-unikraft-backend-firecracker-arm64.0.20.0/opam new file mode 100644 index 000000000000..11b2094180b5 --- /dev/null +++ b/packages/ocaml-unikraft-backend-firecracker-arm64/ocaml-unikraft-backend-firecracker-arm64.0.20.0/opam @@ -0,0 +1,39 @@ +opam-version: "2.0" +maintainer: "samuel@tarides.com" +homepage: "https://github.com/mirage/ocaml-unikraft/" +dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +synopsis: "Firecracker/arm64 Unikraft backend for OCaml" +authors: ["Samuel Hym" "Unikraft contributors"] +license: ["MIT" "BSD-3-Clause" "GPL-2.0-only"] +depends: [ + "unikraft" {= version} + "unikraft-musl" {= version} + "conf-aarch64-linux-gnu-gcc" {arch != "arm64"} +] +depopts: [ + "ocaml-unikraft-option-debug" +] +build: [ + [ + make + "-j%{jobs}%" + "UNIKRAFT=%{unikraft:lib}%" + "UNIKRAFTMUSL=%{unikraft-musl:lib}%" + "OCUKPLAT=firecracker" + "OCUKARCH=arm64" + "OCUKEXTLIBS=musl" + "OCUKCONFIGOPTS+=debug" {ocaml-unikraft-option-debug:installed} + "UK_CFLAGS=-std=gnu11" + "%{name}%.install" + ] +] +url { + src: + "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz" + checksum: + "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4" +} +available: os = "linux" +x-maintenance-intent: ["(latest)"] diff --git a/packages/ocaml-unikraft-backend-firecracker-x86_64/ocaml-unikraft-backend-firecracker-x86_64.0.20.0/opam b/packages/ocaml-unikraft-backend-firecracker-x86_64/ocaml-unikraft-backend-firecracker-x86_64.0.20.0/opam new file mode 100644 index 000000000000..c84590e22f0c --- /dev/null +++ b/packages/ocaml-unikraft-backend-firecracker-x86_64/ocaml-unikraft-backend-firecracker-x86_64.0.20.0/opam @@ -0,0 +1,39 @@ +opam-version: "2.0" +maintainer: "samuel@tarides.com" +homepage: "https://github.com/mirage/ocaml-unikraft/" +dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +synopsis: "Firecracker/x86_64 Unikraft backend for OCaml" +authors: ["Samuel Hym" "Unikraft contributors"] +license: ["MIT" "BSD-3-Clause" "GPL-2.0-only"] +depends: [ + "unikraft" {= version} + "unikraft-musl" {= version} + "conf-x86_64-linux-gnu-gcc" {arch != "x86_64"} +] +depopts: [ + "ocaml-unikraft-option-debug" +] +build: [ + [ + make + "-j%{jobs}%" + "UNIKRAFT=%{unikraft:lib}%" + "UNIKRAFTMUSL=%{unikraft-musl:lib}%" + "OCUKPLAT=firecracker" + "OCUKARCH=x86_64" + "OCUKEXTLIBS=musl" + "OCUKCONFIGOPTS+=debug" {ocaml-unikraft-option-debug:installed} + "UK_CFLAGS=-std=gnu11" + "%{name}%.install" + ] +] +url { + src: + "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz" + checksum: + "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4" +} +available: os = "linux" +x-maintenance-intent: ["(latest)"] diff --git a/packages/ocaml-unikraft-backend-firecracker/ocaml-unikraft-backend-firecracker.0.20.0/opam b/packages/ocaml-unikraft-backend-firecracker/ocaml-unikraft-backend-firecracker.0.20.0/opam new file mode 100644 index 000000000000..9c4fe030f9fa --- /dev/null +++ b/packages/ocaml-unikraft-backend-firecracker/ocaml-unikraft-backend-firecracker.0.20.0/opam @@ -0,0 +1,19 @@ +opam-version: "2.0" +maintainer: "samuel@tarides.com" +homepage: "https://github.com/mirage/ocaml-unikraft/" +dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +synopsis: + "Virtual package to ensure the Firecracker Unikraft backend is installed for the default cross compiler" +description: + "This virtual package ensures that the Firecracker backend is installed for the default `unikraft` ocamlfind cross toolchain." +authors: "Samuel Hym" +license: "MIT" +depends: [ + "ocaml-unikraft" + ("ocaml-unikraft-default-x86_64" & "ocaml-unikraft-backend-firecracker-x86_64") | + ("ocaml-unikraft-default-arm64" & "ocaml-unikraft-backend-firecracker-arm64") +] +available: os = "linux" +x-maintenance-intent: ["(latest)"] diff --git a/packages/ocaml-unikraft-backend-qemu-arm64/ocaml-unikraft-backend-qemu-arm64.0.20.0/opam b/packages/ocaml-unikraft-backend-qemu-arm64/ocaml-unikraft-backend-qemu-arm64.0.20.0/opam new file mode 100644 index 000000000000..ea680c770785 --- /dev/null +++ b/packages/ocaml-unikraft-backend-qemu-arm64/ocaml-unikraft-backend-qemu-arm64.0.20.0/opam @@ -0,0 +1,39 @@ +opam-version: "2.0" +maintainer: "samuel@tarides.com" +homepage: "https://github.com/mirage/ocaml-unikraft/" +dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +synopsis: "QEMU/arm64 Unikraft backend for OCaml" +authors: ["Samuel Hym" "Unikraft contributors"] +license: ["MIT" "BSD-3-Clause" "GPL-2.0-only"] +depends: [ + "unikraft" {= version} + "unikraft-musl" {= version} + "conf-aarch64-linux-gnu-gcc" {arch != "arm64"} +] +depopts: [ + "ocaml-unikraft-option-debug" +] +build: [ + [ + make + "-j%{jobs}%" + "UNIKRAFT=%{unikraft:lib}%" + "UNIKRAFTMUSL=%{unikraft-musl:lib}%" + "OCUKPLAT=qemu" + "OCUKARCH=arm64" + "OCUKEXTLIBS=musl" + "OCUKCONFIGOPTS+=debug" {ocaml-unikraft-option-debug:installed} + "UK_CFLAGS=-std=gnu11" + "%{name}%.install" + ] +] +url { + src: + "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz" + checksum: + "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4" +} +available: os = "linux" +x-maintenance-intent: ["(latest)"] diff --git a/packages/ocaml-unikraft-backend-qemu-x86_64/ocaml-unikraft-backend-qemu-x86_64.0.20.0/opam b/packages/ocaml-unikraft-backend-qemu-x86_64/ocaml-unikraft-backend-qemu-x86_64.0.20.0/opam new file mode 100644 index 000000000000..f7e001e4f086 --- /dev/null +++ b/packages/ocaml-unikraft-backend-qemu-x86_64/ocaml-unikraft-backend-qemu-x86_64.0.20.0/opam @@ -0,0 +1,39 @@ +opam-version: "2.0" +maintainer: "samuel@tarides.com" +homepage: "https://github.com/mirage/ocaml-unikraft/" +dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +synopsis: "QEMU/x86_64 Unikraft backend for OCaml" +authors: ["Samuel Hym" "Unikraft contributors"] +license: ["MIT" "BSD-3-Clause" "GPL-2.0-only"] +depends: [ + "unikraft" {= version} + "unikraft-musl" {= version} + "conf-x86_64-linux-gnu-gcc" {arch != "x86_64"} +] +depopts: [ + "ocaml-unikraft-option-debug" +] +build: [ + [ + make + "-j%{jobs}%" + "UNIKRAFT=%{unikraft:lib}%" + "UNIKRAFTMUSL=%{unikraft-musl:lib}%" + "OCUKPLAT=qemu" + "OCUKARCH=x86_64" + "OCUKEXTLIBS=musl" + "OCUKCONFIGOPTS+=debug" {ocaml-unikraft-option-debug:installed} + "UK_CFLAGS=-std=gnu11" + "%{name}%.install" + ] +] +url { + src: + "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz" + checksum: + "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4" +} +available: os = "linux" +x-maintenance-intent: ["(latest)"] diff --git a/packages/ocaml-unikraft-backend-qemu/ocaml-unikraft-backend-qemu.0.20.0/opam b/packages/ocaml-unikraft-backend-qemu/ocaml-unikraft-backend-qemu.0.20.0/opam new file mode 100644 index 000000000000..20e02edfcb93 --- /dev/null +++ b/packages/ocaml-unikraft-backend-qemu/ocaml-unikraft-backend-qemu.0.20.0/opam @@ -0,0 +1,19 @@ +opam-version: "2.0" +maintainer: "samuel@tarides.com" +homepage: "https://github.com/mirage/ocaml-unikraft/" +dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +synopsis: + "Virtual package to ensure the QEMU Unikraft backend is installed for the default cross compiler" +description: + "This virtual package ensures that the QEMU backend is installed for the default `unikraft` ocamlfind cross toolchain." +authors: "Samuel Hym" +license: "MIT" +depends: [ + "ocaml-unikraft" + ("ocaml-unikraft-default-x86_64" & "ocaml-unikraft-backend-qemu-x86_64") | + ("ocaml-unikraft-default-arm64" & "ocaml-unikraft-backend-qemu-arm64") +] +available: os = "linux" +x-maintenance-intent: ["(latest)"] diff --git a/packages/ocaml-unikraft-default-arm64/ocaml-unikraft-default-arm64.1.1.0/opam b/packages/ocaml-unikraft-default-arm64/ocaml-unikraft-default-arm64.1.1.0/opam new file mode 100644 index 000000000000..7265fad95c92 --- /dev/null +++ b/packages/ocaml-unikraft-default-arm64/ocaml-unikraft-default-arm64.1.1.0/opam @@ -0,0 +1,25 @@ +opam-version: "2.0" +maintainer: "samuel@tarides.com" +homepage: "https://github.com/mirage/ocaml-unikraft/" +dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +synopsis: + "OCaml default cross compiler to the freestanding Unikraft arm64 backends" +description: + "This package provides an OCaml cross compiler, suitable for linking with a Unikraft arm64 unikernel, as the default `unikraft` ocamlfind toolchain." +authors: "Samuel Hym" +license: "MIT" +depends: ["ocaml-unikraft-arm64" "ocamlfind"] +conflict-class: "ocaml-unikraft-default" +build: [ + [make "prefix=%{prefix}%" "OCUKARCH=arm64" "%{name}%.install"] +] +url { + src: + "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz" + checksum: + "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4" +} +available: os = "linux" +x-maintenance-intent: ["(latest)"] diff --git a/packages/ocaml-unikraft-default-x86_64/ocaml-unikraft-default-x86_64.1.1.0/opam b/packages/ocaml-unikraft-default-x86_64/ocaml-unikraft-default-x86_64.1.1.0/opam new file mode 100644 index 000000000000..f383dd658651 --- /dev/null +++ b/packages/ocaml-unikraft-default-x86_64/ocaml-unikraft-default-x86_64.1.1.0/opam @@ -0,0 +1,25 @@ +opam-version: "2.0" +maintainer: "samuel@tarides.com" +homepage: "https://github.com/mirage/ocaml-unikraft/" +dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +synopsis: + "OCaml default cross compiler to the freestanding Unikraft x86_64 backends" +description: + "This package provides an OCaml cross compiler, suitable for linking with a Unikraft x86_64 unikernel, as the default `unikraft` ocamlfind toolchain." +authors: "Samuel Hym" +license: "MIT" +depends: ["ocaml-unikraft-x86_64" "ocamlfind"] +conflict-class: "ocaml-unikraft-default" +build: [ + [make "prefix=%{prefix}%" "OCUKARCH=x86_64" "%{name}%.install"] +] +url { + src: + "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz" + checksum: + "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4" +} +available: os = "linux" +x-maintenance-intent: ["(latest)"] diff --git a/packages/ocaml-unikraft-option-debug/ocaml-unikraft-option-debug.0.20.0/opam b/packages/ocaml-unikraft-option-debug/ocaml-unikraft-option-debug.0.20.0/opam new file mode 100644 index 000000000000..629634e608a2 --- /dev/null +++ b/packages/ocaml-unikraft-option-debug/ocaml-unikraft-option-debug.0.20.0/opam @@ -0,0 +1,12 @@ +opam-version: "2.0" +maintainer: "samuel@tarides.com" +homepage: "https://github.com/mirage/ocaml-unikraft/" +dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +synopsis: + "Virtual package to enable debugging in the Unikraft backends" +authors: "Samuel Hym" +license: "MIT" +available: os = "linux" +x-maintenance-intent: ["(latest)"] diff --git a/packages/ocaml-unikraft-toolchain-arm64/ocaml-unikraft-toolchain-arm64.0.18.0/opam b/packages/ocaml-unikraft-toolchain-arm64/ocaml-unikraft-toolchain-arm64.0.18.0/opam index b6a6535c15ab..f07ec04e6174 100644 --- a/packages/ocaml-unikraft-toolchain-arm64/ocaml-unikraft-toolchain-arm64.0.18.0/opam +++ b/packages/ocaml-unikraft-toolchain-arm64/ocaml-unikraft-toolchain-arm64.0.18.0/opam @@ -11,7 +11,8 @@ description: authors: "Samuel Hym" license: "MIT" depends: [ - "ocaml-unikraft-backend-qemu-arm64" | "ocaml-unikraft-backend-firecracker-arm64" + "ocaml-unikraft-backend-qemu-arm64" {= version} | + "ocaml-unikraft-backend-firecracker-arm64" {= version} ] build: [ [ diff --git a/packages/ocaml-unikraft-toolchain-arm64/ocaml-unikraft-toolchain-arm64.0.20.0/opam b/packages/ocaml-unikraft-toolchain-arm64/ocaml-unikraft-toolchain-arm64.0.20.0/opam new file mode 100644 index 000000000000..28ecd7959f73 --- /dev/null +++ b/packages/ocaml-unikraft-toolchain-arm64/ocaml-unikraft-toolchain-arm64.0.20.0/opam @@ -0,0 +1,35 @@ +opam-version: "2.0" +maintainer: "samuel@tarides.com" +homepage: "https://github.com/mirage/ocaml-unikraft/" +dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +synopsis: + "C toolchain to build an OCaml cross compiler to the freestanding Unikraft arm64 backends" +description: + "This package provides a C toolchain to build an OCaml cross compiler, suitable for linking with a Unikraft arm64 unikernel." +authors: "Samuel Hym" +license: "MIT" +depends: [ + "ocaml-unikraft-backend-qemu-arm64" {= version} | + "ocaml-unikraft-backend-firecracker-arm64" {= version} +] +build: [ + [ + make + "-j%{jobs}%" + "LIB=%{lib}%" + "SHARE=%{share}%" + "OCUKARCH=arm64" + "%{name}%.install" + ] +] +url { + src: + "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz" + checksum: + "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4" +} +available: os = "linux" +x-maintenance-intent: ["(latest)"] +x-ci-accept-failures: [ "alpine-3.22" "centos-9" "opensuse-15.6" "opensuse-tumbleweed" ] diff --git a/packages/ocaml-unikraft-toolchain-x86_64/ocaml-unikraft-toolchain-x86_64.0.18.0/opam b/packages/ocaml-unikraft-toolchain-x86_64/ocaml-unikraft-toolchain-x86_64.0.18.0/opam index 37e2faf09f18..d545507b0fe5 100644 --- a/packages/ocaml-unikraft-toolchain-x86_64/ocaml-unikraft-toolchain-x86_64.0.18.0/opam +++ b/packages/ocaml-unikraft-toolchain-x86_64/ocaml-unikraft-toolchain-x86_64.0.18.0/opam @@ -11,7 +11,8 @@ description: authors: "Samuel Hym" license: "MIT" depends: [ - "ocaml-unikraft-backend-qemu-x86_64" | "ocaml-unikraft-backend-firecracker-x86_64" + "ocaml-unikraft-backend-qemu-x86_64" {= version} | + "ocaml-unikraft-backend-firecracker-x86_64" {= version} ] build: [ [ diff --git a/packages/ocaml-unikraft-toolchain-x86_64/ocaml-unikraft-toolchain-x86_64.0.20.0/opam b/packages/ocaml-unikraft-toolchain-x86_64/ocaml-unikraft-toolchain-x86_64.0.20.0/opam new file mode 100644 index 000000000000..a16a517f5299 --- /dev/null +++ b/packages/ocaml-unikraft-toolchain-x86_64/ocaml-unikraft-toolchain-x86_64.0.20.0/opam @@ -0,0 +1,34 @@ +opam-version: "2.0" +maintainer: "samuel@tarides.com" +homepage: "https://github.com/mirage/ocaml-unikraft/" +dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +synopsis: + "C toolchain to build an OCaml cross compiler to the freestanding Unikraft x86_64 backends" +description: + "This package provides a C toolchain to build an OCaml cross compiler, suitable for linking with a Unikraft x86_64 unikernel." +authors: "Samuel Hym" +license: "MIT" +depends: [ + "ocaml-unikraft-backend-qemu-x86_64" {= version} | + "ocaml-unikraft-backend-firecracker-x86_64" {= version} +] +build: [ + [ + make + "-j%{jobs}%" + "LIB=%{lib}%" + "SHARE=%{share}%" + "OCUKARCH=x86_64" + "%{name}%.install" + ] +] +url { + src: + "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz" + checksum: + "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4" +} +available: os = "linux" +x-maintenance-intent: ["(latest)"] diff --git a/packages/ocaml-unikraft-x86_64/ocaml-unikraft-x86_64.1.1.0/opam b/packages/ocaml-unikraft-x86_64/ocaml-unikraft-x86_64.1.1.0/opam new file mode 100644 index 000000000000..80a9dd1c23c4 --- /dev/null +++ b/packages/ocaml-unikraft-x86_64/ocaml-unikraft-x86_64.1.1.0/opam @@ -0,0 +1,42 @@ +opam-version: "2.0" +maintainer: "samuel@tarides.com" +homepage: "https://github.com/mirage/ocaml-unikraft/" +dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +synopsis: "OCaml cross compiler to the freestanding Unikraft x86_64 backends" +description: + "This package provides an OCaml cross compiler, suitable for linking with a Unikraft x86_64 unikernel." +authors: "Samuel Hym" +license: ["MIT" "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"] +depends: [ + "ocaml" {>= "5.3.0" & <= "5.4.0"} + "ocaml-unikraft-toolchain-x86_64" + "ocamlfind" + "ocaml-src" {build} + "conf-git" {build} +] +build: [ + [ + make + "-j%{jobs}%" + "prefix=%{prefix}%" + "BIN=%{bin}%" + "LIB=%{lib}%" + "SHARE=%{share}%" + "OCUKARCH=x86_64" + "%{name}%.install" + ] +] +install: [ + [make "install-ocaml"] +] +conflicts: ["ocaml-option-bytecode-only"] +url { + src: + "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz" + checksum: + "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4" +} +available: os = "linux" +x-maintenance-intent: ["(latest)"] diff --git a/packages/ocaml-unikraft/ocaml-unikraft.1.1.0/opam b/packages/ocaml-unikraft/ocaml-unikraft.1.1.0/opam new file mode 100644 index 000000000000..124c0b74fac0 --- /dev/null +++ b/packages/ocaml-unikraft/ocaml-unikraft.1.1.0/opam @@ -0,0 +1,15 @@ +opam-version: "2.0" +maintainer: "samuel@tarides.com" +homepage: "https://github.com/mirage/ocaml-unikraft/" +dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +synopsis: + "Virtual package to install one of the OCaml default cross compilers to the freestanding Unikraft backends" +description: + "This virtual package ensures that an OCaml cross compiler is available for linking with a Unikraft unikernel as the default `unikraft` ocamlfind toolchain. Explicitly choose one among the ocaml-unikraft-default-* packages to control which one is actually installed." +authors: "Samuel Hym" +license: "MIT" +depends: ["ocaml-unikraft-default-x86_64" | "ocaml-unikraft-default-arm64"] +available: os = "linux" +x-maintenance-intent: ["(latest)"] diff --git a/packages/unikraft-musl/unikraft-musl.0.20.0/opam b/packages/unikraft-musl/unikraft-musl.0.20.0/opam new file mode 100644 index 000000000000..460ac1e73560 --- /dev/null +++ b/packages/unikraft-musl/unikraft-musl.0.20.0/opam @@ -0,0 +1,26 @@ +opam-version: "2.0" +synopsis: "Unikraft's wrapper for musl" +description: "Source package for the musl wrapper for Unikraft" +maintainer: "samuel@tarides.com" +authors: "Unikraft contributors" +license: ["MIT" "BSD-3-Clause"] +homepage: "https://unikraft.org" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +install: [ + ["rm" "-rf" ".github"] + ["cp" "-r" "." "%{_:lib}%"] +] +dev-repo: "git+https://github.com/unikraft/lib-musl.git" +url { + src: + "https://github.com/mirage/unikraft-lib-musl/archive/refs/tags/v0.20.0.tar.gz" + checksum: + "sha256=2599591879bb771e8b5e33c33325a804cb20e854283614908ca872807450b820" +} +extra-source "musl-1.2.3.tar.gz" { + src: "https://www.musl-libc.org/releases/musl-1.2.3.tar.gz" + checksum: + "sha256=7d5b0b6062521e4627e099e4c9dc8248d32a30285e959b7eecaa780cf8cfd4a4" +} +x-maintenance-intent: ["(latest)"] diff --git a/packages/unikraft/unikraft.0.20.0/opam b/packages/unikraft/unikraft.0.20.0/opam new file mode 100644 index 000000000000..dc2ed194f58f --- /dev/null +++ b/packages/unikraft/unikraft.0.20.0/opam @@ -0,0 +1,30 @@ +opam-version: "2.0" +synopsis: "Unikraft sources" +description: "Source package for Unikraft" +maintainer: "samuel@tarides.com" +authors: "Unikraft contributors" +license: ["BSD-3-Clause" "MIT" "GPL-2.0-or-later" "GPL-2.0-only"] +homepage: "https://unikraft.org" +bug-reports: "https://github.com/mirage/ocaml-unikraft/issues" +tags: "org:mirage" +depends: [ + "conf-bison" + "conf-flex" + "conf-python-3" +] +install: [ + ["rm" "-rf" ".github" ".gitignore"] + ["cp" "-r" "." "%{_:lib}%"] +] +dev-repo: "git+https://github.com/unikraft/unikraft.git" +url { + src: + "https://github.com/mirage/unikraft/archive/refs/tags/v0.20.0.tar.gz" + checksum: + "sha256=f1e97df806acbd1a0a31ce4ca385e44ab65a1732c92199bd9ef50de4ceca7c76" +} +available: + os = "linux" & + (arch = "arm64" | arch = "x86_64" | arch = "s390x" | arch = "riscv64" | + arch = "ppc64") +x-maintenance-intent: ["(latest)"]