Skip to content

Commit 0fd2245

Browse files
shymshym
committed
Release OCaml/Unikraft 1.1.0
Changes: - Support for OCaml 5.4.0 and Unikraft 0.20.0 - Various fixes, in particular an issue where the OCaml cross compiler failed to build in an opam local switch
1 parent deebc84 commit 0fd2245

File tree

16 files changed

+479
-0
lines changed
  • packages
    • ocaml-unikraft-arm64/ocaml-unikraft-arm64.1.1.0
    • ocaml-unikraft-backend-firecracker-arm64/ocaml-unikraft-backend-firecracker-arm64.0.20.0
    • ocaml-unikraft-backend-firecracker-x86_64/ocaml-unikraft-backend-firecracker-x86_64.0.20.0
    • ocaml-unikraft-backend-firecracker/ocaml-unikraft-backend-firecracker.0.20.0
    • ocaml-unikraft-backend-qemu-arm64/ocaml-unikraft-backend-qemu-arm64.0.20.0
    • ocaml-unikraft-backend-qemu-x86_64/ocaml-unikraft-backend-qemu-x86_64.0.20.0
    • ocaml-unikraft-backend-qemu/ocaml-unikraft-backend-qemu.0.20.0
    • ocaml-unikraft-default-arm64/ocaml-unikraft-default-arm64.1.1.0
    • ocaml-unikraft-default-x86_64/ocaml-unikraft-default-x86_64.1.1.0
    • ocaml-unikraft-option-debug/ocaml-unikraft-option-debug.0.20.0
    • ocaml-unikraft-toolchain-arm64/ocaml-unikraft-toolchain-arm64.0.20.0
    • ocaml-unikraft-toolchain-x86_64/ocaml-unikraft-toolchain-x86_64.0.20.0
    • ocaml-unikraft-x86_64/ocaml-unikraft-x86_64.1.1.0
    • ocaml-unikraft/ocaml-unikraft.1.1.0
    • unikraft-musl/unikraft-musl.0.20.0
    • unikraft/unikraft.0.20.0

16 files changed

+479
-0
lines changed

‎packages/ocaml-unikraft-arm64/ocaml-unikraft-arm64.1.1.0/opam‎

Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
3+
homepage: "https://github.com/mirage/ocaml-unikraft/"
4+
dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
5+
bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
6+
tags: "org:mirage"
7+
synopsis: "OCaml cross compiler to the freestanding Unikraft arm64 backends"
8+
description:
9+
"This package provides an OCaml cross compiler, suitable for linking with a Unikraft arm64 unikernel."
10+
authors: "Samuel Hym"
11+
license: ["MIT" "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"]
12+
depends: [
13+
"ocaml" {>= "5.3.0" & <= "5.4.0"}
14+
"ocaml-unikraft-toolchain-arm64"
15+
"ocamlfind"
16+
"ocaml-src" {build}
17+
"conf-git" {build}
18+
]
19+
build: [
20+
[
21+
make
22+
"-j%{jobs}%"
23+
"prefix=%{prefix}%"
24+
"BIN=%{bin}%"
25+
"LIB=%{lib}%"
26+
"SHARE=%{share}%"
27+
"OCUKARCH=arm64"
28+
"%{name}%.install"
29+
]
30+
]
31+
install: [
32+
[make "install-ocaml"]
33+
]
34+
conflicts: ["ocaml-option-bytecode-only"]
35+
url {
36+
src:
37+
"https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz"
38+
checksum:
39+
"sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
40+
}
41+
available: os = "linux"
42+
x-maintenance-intent: ["(latest)"]

‎packages/ocaml-unikraft-backend-firecracker-arm64/ocaml-unikraft-backend-firecracker-arm64.0.20.0/opam‎

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
3+
homepage: "https://github.com/mirage/ocaml-unikraft/"
4+
dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
5+
bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
6+
tags: "org:mirage"
7+
synopsis: "Firecracker/arm64 Unikraft backend for OCaml"
8+
authors: ["Samuel Hym" "Unikraft contributors"]
9+
license: ["MIT" "BSD-3-Clause" "GPL-2.0-only"]
10+
depends: [
11+
"unikraft" {= version}
12+
"unikraft-musl" {= version}
13+
"conf-aarch64-linux-gnu-gcc" {arch != "arm64"}
14+
]
15+
depopts: [
16+
"ocaml-unikraft-option-debug"
17+
]
18+
build: [
19+
[
20+
make
21+
"-j%{jobs}%"
22+
"UNIKRAFT=%{unikraft:lib}%"
23+
"UNIKRAFTMUSL=%{unikraft-musl:lib}%"
24+
"OCUKPLAT=firecracker"
25+
"OCUKARCH=arm64"
26+
"OCUKEXTLIBS=musl"
27+
"OCUKCONFIGOPTS+=debug" {ocaml-unikraft-option-debug:installed}
28+
"UK_CFLAGS=-std=gnu11"
29+
"%{name}%.install"
30+
]
31+
]
32+
url {
33+
src:
34+
"https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz"
35+
checksum:
36+
"sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
37+
}
38+
available: os = "linux"
39+
x-maintenance-intent: ["(latest)"]

‎packages/ocaml-unikraft-backend-firecracker-x86_64/ocaml-unikraft-backend-firecracker-x86_64.0.20.0/opam‎

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
3+
homepage: "https://github.com/mirage/ocaml-unikraft/"
4+
dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
5+
bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
6+
tags: "org:mirage"
7+
synopsis: "Firecracker/x86_64 Unikraft backend for OCaml"
8+
authors: ["Samuel Hym" "Unikraft contributors"]
9+
license: ["MIT" "BSD-3-Clause" "GPL-2.0-only"]
10+
depends: [
11+
"unikraft" {= version}
12+
"unikraft-musl" {= version}
13+
"conf-x86_64-linux-gnu-gcc" {arch != "x86_64"}
14+
]
15+
depopts: [
16+
"ocaml-unikraft-option-debug"
17+
]
18+
build: [
19+
[
20+
make
21+
"-j%{jobs}%"
22+
"UNIKRAFT=%{unikraft:lib}%"
23+
"UNIKRAFTMUSL=%{unikraft-musl:lib}%"
24+
"OCUKPLAT=firecracker"
25+
"OCUKARCH=x86_64"
26+
"OCUKEXTLIBS=musl"
27+
"OCUKCONFIGOPTS+=debug" {ocaml-unikraft-option-debug:installed}
28+
"UK_CFLAGS=-std=gnu11"
29+
"%{name}%.install"
30+
]
31+
]
32+
url {
33+
src:
34+
"https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz"
35+
checksum:
36+
"sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
37+
}
38+
available: os = "linux"
39+
x-maintenance-intent: ["(latest)"]

‎packages/ocaml-unikraft-backend-firecracker/ocaml-unikraft-backend-firecracker.0.20.0/opam‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
3+
homepage: "https://github.com/mirage/ocaml-unikraft/"
4+
dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
5+
bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
6+
tags: "org:mirage"
7+
synopsis:
8+
"Virtual package to ensure the Firecracker Unikraft backend is installed for the default cross compiler"
9+
description:
10+
"This virtual package ensures that the Firecracker backend is installed for the default `unikraft` ocamlfind cross toolchain."
11+
authors: "Samuel Hym"
12+
license: "MIT"
13+
depends: [
14+
"ocaml-unikraft"
15+
("ocaml-unikraft-default-x86_64" & "ocaml-unikraft-backend-firecracker-x86_64") |
16+
("ocaml-unikraft-default-arm64" & "ocaml-unikraft-backend-firecracker-arm64")
17+
]
18+
available: os = "linux"
19+
x-maintenance-intent: ["(latest)"]

‎packages/ocaml-unikraft-backend-qemu-arm64/ocaml-unikraft-backend-qemu-arm64.0.20.0/opam‎

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
3+
homepage: "https://github.com/mirage/ocaml-unikraft/"
4+
dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
5+
bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
6+
tags: "org:mirage"
7+
synopsis: "QEMU/arm64 Unikraft backend for OCaml"
8+
authors: ["Samuel Hym" "Unikraft contributors"]
9+
license: ["MIT" "BSD-3-Clause" "GPL-2.0-only"]
10+
depends: [
11+
"unikraft" {= version}
12+
"unikraft-musl" {= version}
13+
"conf-aarch64-linux-gnu-gcc" {arch != "arm64"}
14+
]
15+
depopts: [
16+
"ocaml-unikraft-option-debug"
17+
]
18+
build: [
19+
[
20+
make
21+
"-j%{jobs}%"
22+
"UNIKRAFT=%{unikraft:lib}%"
23+
"UNIKRAFTMUSL=%{unikraft-musl:lib}%"
24+
"OCUKPLAT=qemu"
25+
"OCUKARCH=arm64"
26+
"OCUKEXTLIBS=musl"
27+
"OCUKCONFIGOPTS+=debug" {ocaml-unikraft-option-debug:installed}
28+
"UK_CFLAGS=-std=gnu11"
29+
"%{name}%.install"
30+
]
31+
]
32+
url {
33+
src:
34+
"https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz"
35+
checksum:
36+
"sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
37+
}
38+
available: os = "linux"
39+
x-maintenance-intent: ["(latest)"]

‎packages/ocaml-unikraft-backend-qemu-x86_64/ocaml-unikraft-backend-qemu-x86_64.0.20.0/opam‎

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
3+
homepage: "https://github.com/mirage/ocaml-unikraft/"
4+
dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
5+
bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
6+
tags: "org:mirage"
7+
synopsis: "QEMU/x86_64 Unikraft backend for OCaml"
8+
authors: ["Samuel Hym" "Unikraft contributors"]
9+
license: ["MIT" "BSD-3-Clause" "GPL-2.0-only"]
10+
depends: [
11+
"unikraft" {= version}
12+
"unikraft-musl" {= version}
13+
"conf-x86_64-linux-gnu-gcc" {arch != "x86_64"}
14+
]
15+
depopts: [
16+
"ocaml-unikraft-option-debug"
17+
]
18+
build: [
19+
[
20+
make
21+
"-j%{jobs}%"
22+
"UNIKRAFT=%{unikraft:lib}%"
23+
"UNIKRAFTMUSL=%{unikraft-musl:lib}%"
24+
"OCUKPLAT=qemu"
25+
"OCUKARCH=x86_64"
26+
"OCUKEXTLIBS=musl"
27+
"OCUKCONFIGOPTS+=debug" {ocaml-unikraft-option-debug:installed}
28+
"UK_CFLAGS=-std=gnu11"
29+
"%{name}%.install"
30+
]
31+
]
32+
url {
33+
src:
34+
"https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz"
35+
checksum:
36+
"sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
37+
}
38+
available: os = "linux"
39+
x-maintenance-intent: ["(latest)"]

‎packages/ocaml-unikraft-backend-qemu/ocaml-unikraft-backend-qemu.0.20.0/opam‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
3+
homepage: "https://github.com/mirage/ocaml-unikraft/"
4+
dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
5+
bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
6+
tags: "org:mirage"
7+
synopsis:
8+
"Virtual package to ensure the QEMU Unikraft backend is installed for the default cross compiler"
9+
description:
10+
"This virtual package ensures that the QEMU backend is installed for the default `unikraft` ocamlfind cross toolchain."
11+
authors: "Samuel Hym"
12+
license: "MIT"
13+
depends: [
14+
"ocaml-unikraft"
15+
("ocaml-unikraft-default-x86_64" & "ocaml-unikraft-backend-qemu-x86_64") |
16+
("ocaml-unikraft-default-arm64" & "ocaml-unikraft-backend-qemu-arm64")
17+
]
18+
available: os = "linux"
19+
x-maintenance-intent: ["(latest)"]

‎packages/ocaml-unikraft-default-arm64/ocaml-unikraft-default-arm64.1.1.0/opam‎

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
3+
homepage: "https://github.com/mirage/ocaml-unikraft/"
4+
dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
5+
bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
6+
tags: "org:mirage"
7+
synopsis:
8+
"OCaml default cross compiler to the freestanding Unikraft arm64 backends"
9+
description:
10+
"This package provides an OCaml cross compiler, suitable for linking with a Unikraft arm64 unikernel, as the default `unikraft` ocamlfind toolchain."
11+
authors: "Samuel Hym"
12+
license: "MIT"
13+
depends: ["ocaml-unikraft-arm64" "ocamlfind"]
14+
conflict-class: "ocaml-unikraft-default"
15+
build: [
16+
[make "prefix=%{prefix}%" "OCUKARCH=arm64" "%{name}%.install"]
17+
]
18+
url {
19+
src:
20+
"https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz"
21+
checksum:
22+
"sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
23+
}
24+
available: os = "linux"
25+
x-maintenance-intent: ["(latest)"]

‎packages/ocaml-unikraft-default-x86_64/ocaml-unikraft-default-x86_64.1.1.0/opam‎

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
3+
homepage: "https://github.com/mirage/ocaml-unikraft/"
4+
dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
5+
bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
6+
tags: "org:mirage"
7+
synopsis:
8+
"OCaml default cross compiler to the freestanding Unikraft x86_64 backends"
9+
description:
10+
"This package provides an OCaml cross compiler, suitable for linking with a Unikraft x86_64 unikernel, as the default `unikraft` ocamlfind toolchain."
11+
authors: "Samuel Hym"
12+
license: "MIT"
13+
depends: ["ocaml-unikraft-x86_64" "ocamlfind"]
14+
conflict-class: "ocaml-unikraft-default"
15+
build: [
16+
[make "prefix=%{prefix}%" "OCUKARCH=x86_64" "%{name}%.install"]
17+
]
18+
url {
19+
src:
20+
"https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz"
21+
checksum:
22+
"sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
23+
}
24+
available: os = "linux"
25+
x-maintenance-intent: ["(latest)"]

‎packages/ocaml-unikraft-option-debug/ocaml-unikraft-option-debug.0.20.0/opam‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
3+
homepage: "https://github.com/mirage/ocaml-unikraft/"
4+
dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
5+
bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
6+
tags: "org:mirage"
7+
synopsis:
8+
"Virtual package to enable debugging in the Unikraft backends"
9+
authors: "Samuel Hym"
10+
license: "MIT"
11+
available: os = "linux"
12+
x-maintenance-intent: ["(latest)"]

0 commit comments

Comments
 (0)