Skip to content
Open
Show file tree
Hide file tree
Changes from 2 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
42 changes: 42 additions & 0 deletions packages/ocaml-unikraft-arm64/ocaml-unikraft-arm64.1.1.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
opam-version: "2.0"
maintainer: "[email protected]"
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)"]
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
opam-version: "2.0"
maintainer: "[email protected]"
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)"]
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
opam-version: "2.0"
maintainer: "[email protected]"
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)"]
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
opam-version: "2.0"
maintainer: "[email protected]"
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)"]
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
opam-version: "2.0"
maintainer: "[email protected]"
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)"]
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
opam-version: "2.0"
maintainer: "[email protected]"
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)"]
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
opam-version: "2.0"
maintainer: "[email protected]"
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)"]
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
opam-version: "2.0"
maintainer: "[email protected]"
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)"]
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
opam-version: "2.0"
maintainer: "[email protected]"
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)"]
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
opam-version: "2.0"
maintainer: "[email protected]"
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)"]
Original file line number Diff line number Diff line change
Expand Up @@ -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: [
[
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
opam-version: "2.0"
maintainer: "[email protected]"
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)"]
Original file line number Diff line number Diff line change
Expand Up @@ -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: [
[
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
opam-version: "2.0"
maintainer: "[email protected]"
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)"]
Loading