Build:
- 0
2026-05-02 17:38.14: New job: Build using linux-x86_64 in
[https://github.com/mirage/mirage-skeleton.git#refs/pull/420/head (01b3663b17dd8a979b9d53c150d6207f38621f47)]
OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo chown opam:opam /home/opam"))
(run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam && opam update"))
(run (network host)
(shell "opam repo add opam https://github.com/ocaml/opam-repository.git#ad878f6a589e2caa50b20387ea5a3e053f5bcd3b"))
(run (cache (download-cache (target /home/opam/.opam/download-cache)))
(network host)
(shell "sudo apt-get update && opam install -y \"mirage>=4\""))
(copy (src .) (dst /src/))
(env MODE hvt)
(workdir /src/)
(run (shell "opam exec -- make configure"))
(env MIRAGE_EXTRA_REPOS opam-overlays:https://github.com/dune-universe/opam-overlays.git#12731a6f86d7c452a94c72106fa9d3327988582d,mirage-opam-overlays:https://github.com/dune-universe/mirage-opam-overlays.git#eddcd1bc7e035392596b603d23dde67a88e6f6bc)
(run (network host)
(shell "opam exec -- make lock"))
(run (cache (download-cache (target /home/opam/.opam/download-cache)))
(network host)
(shell "sudo apt-get update && opam exec -- make depends"))
(run (shell "opam monorepo list -l mirage.opam.locked"))
(run (cache (download-cache (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam exec -- make pull"))
(env DUNE_CACHE enabled)
(env DUNE_CACHE_TRANSPORT direct)
(run (cache (dune-build-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam exec -- make build"))
)
2026-05-02 17:38.14: Using cache hint "mirage-ci-skeleton-debian-13-ocaml-5.4"
2026-05-02 17:38.14: Connecting to build cluster…
2026-05-02 17:38.14: Waiting for resource in pool OCluster
2026-05-02 17:38.15: Waiting for worker…
2026-05-02 17:38.15: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at 01b3663 Bump ocamlformat version
(from ocaml/opam:debian-13-ocaml-5.4)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.4' locally
debian-13-ocaml-5.4: Pulling from ocaml/opam
3b32e3bb7338: Pulling fs layer
745aa02d649b: Pulling fs layer
bc737f5d3c43: Pulling fs layer
435aae15a5aa: Pulling fs layer
0c18c39f6bae: Pulling fs layer
eef74b82df23: Pulling fs layer
f7d9cf0406d8: Pulling fs layer
435aae15a5aa: Waiting
01a1dc37e798: Pulling fs layer
4960811e07ec: Pulling fs layer
0c18c39f6bae: Waiting
eef74b82df23: Waiting
be2894c36d5e: Pulling fs layer
f7d9cf0406d8: Waiting
b5a017ae191d: Pulling fs layer
3ba39ce4e9c9: Pulling fs layer
4960811e07ec: Waiting
1db570dbe1c8: Pulling fs layer
be2894c36d5e: Waiting
753bb4b44994: Pulling fs layer
01a1dc37e798: Waiting
b5a1e811909d: Pulling fs layer
6f3d83ba47b6: Pulling fs layer
1db570dbe1c8: Waiting
753bb4b44994: Waiting
002305272cbf: Pulling fs layer
b5a1e811909d: Waiting
002305272cbf: Waiting
6f3d83ba47b6: Waiting
3ba39ce4e9c9: Waiting
249535cd82cd: Pulling fs layer
87fe8c2a0989: Pulling fs layer
b6932f04a343: Pulling fs layer
249535cd82cd: Waiting
b6932f04a343: Waiting
87fe8c2a0989: Waiting
17b274223ca8: Pulling fs layer
4f4fb700ef54: Pulling fs layer
17b274223ca8: Waiting
924952a8fbf8: Pulling fs layer
17671b650f63: Pulling fs layer
4f4fb700ef54: Waiting
9fe75d873195: Pulling fs layer
24216535046d: Pulling fs layer
17671b650f63: Waiting
924952a8fbf8: Waiting
9fe75d873195: Waiting
ac2e1c9e90df: Pulling fs layer
c2126be13b26: Pulling fs layer
24216535046d: Waiting
ac2e1c9e90df: Waiting
01ff22a5eb70: Pulling fs layer
c2126be13b26: Waiting
50415235a68f: Pulling fs layer
01ff22a5eb70: Waiting
deb6182b549b: Pulling fs layer
ad728fb9a18c: Pulling fs layer
50415235a68f: Waiting
a36bcae85a3d: Pulling fs layer
deb6182b549b: Waiting
ad728fb9a18c: Waiting
1c746fdc6a3a: Pulling fs layer
4351b787b295: Pulling fs layer
a36bcae85a3d: Waiting
380abb093977: Pulling fs layer
1c746fdc6a3a: Waiting
4351b787b295: Waiting
0fc1b10f3fd9: Pulling fs layer
380abb093977: Waiting
966bc35978c3: Pulling fs layer
0fc1b10f3fd9: Waiting
ae53b61ccb9e: Pulling fs layer
d8ada9072f1a: Pulling fs layer
966bc35978c3: Waiting
de924938e8b1: Pulling fs layer
d8ada9072f1a: Waiting
ae53b61ccb9e: Waiting
f961f7bce966: Pulling fs layer
de924938e8b1: Waiting
2f764eed3d15: Pulling fs layer
de05668534c5: Pulling fs layer
f961f7bce966: Waiting
27d1c4294721: Pulling fs layer
58acc85937c4: Pulling fs layer
de05668534c5: Waiting
2f764eed3d15: Waiting
27d1c4294721: Waiting
58acc85937c4: Waiting
b0d8742917e9: Pulling fs layer
b0d8742917e9: Waiting
bc737f5d3c43: Verifying Checksum
bc737f5d3c43: Download complete
745aa02d649b: Verifying Checksum
745aa02d649b: Download complete
0c18c39f6bae: Download complete
3b32e3bb7338: Verifying Checksum
3b32e3bb7338: Download complete
435aae15a5aa: Verifying Checksum
435aae15a5aa: Download complete
01a1dc37e798: Verifying Checksum
01a1dc37e798: Download complete
f7d9cf0406d8: Verifying Checksum
f7d9cf0406d8: Download complete
4960811e07ec: Verifying Checksum
4960811e07ec: Download complete
b5a017ae191d: Download complete
be2894c36d5e: Verifying Checksum
be2894c36d5e: Download complete
eef74b82df23: Verifying Checksum
eef74b82df23: Download complete
3ba39ce4e9c9: Verifying Checksum
3ba39ce4e9c9: Download complete
1db570dbe1c8: Download complete
b5a1e811909d: Verifying Checksum
b5a1e811909d: Download complete
753bb4b44994: Download complete
6f3d83ba47b6: Download complete
002305272cbf: Verifying Checksum
002305272cbf: Download complete
249535cd82cd: Download complete
3b32e3bb7338: Pull complete
745aa02d649b: Pull complete
bc737f5d3c43: Pull complete
87fe8c2a0989: Verifying Checksum
87fe8c2a0989: Download complete
b6932f04a343: Verifying Checksum
b6932f04a343: Download complete
17b274223ca8: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
924952a8fbf8: Download complete
17671b650f63: Verifying Checksum
17671b650f63: Download complete
9fe75d873195: Download complete
435aae15a5aa: Pull complete
0c18c39f6bae: Pull complete
24216535046d: Download complete
ac2e1c9e90df: Verifying Checksum
ac2e1c9e90df: Download complete
c2126be13b26: Verifying Checksum
c2126be13b26: Download complete
01ff22a5eb70: Verifying Checksum
01ff22a5eb70: Download complete
50415235a68f: Download complete
deb6182b549b: Verifying Checksum
deb6182b549b: Download complete
ad728fb9a18c: Verifying Checksum
ad728fb9a18c: Download complete
a36bcae85a3d: Download complete
1c746fdc6a3a: Download complete
380abb093977: Verifying Checksum
380abb093977: Download complete
966bc35978c3: Download complete
ae53b61ccb9e: Verifying Checksum
ae53b61ccb9e: Download complete
d8ada9072f1a: Verifying Checksum
d8ada9072f1a: Download complete
de924938e8b1: Verifying Checksum
de924938e8b1: Download complete
f961f7bce966: Download complete
2f764eed3d15: Verifying Checksum
2f764eed3d15: Download complete
de05668534c5: Verifying Checksum
de05668534c5: Download complete
27d1c4294721: Download complete
58acc85937c4: Download complete
b0d8742917e9: Download complete
4351b787b295: Verifying Checksum
4351b787b295: Download complete
eef74b82df23: Pull complete
f7d9cf0406d8: Pull complete
0fc1b10f3fd9: Verifying Checksum
0fc1b10f3fd9: Download complete
01a1dc37e798: Pull complete
4960811e07ec: Pull complete
be2894c36d5e: Pull complete
b5a017ae191d: Pull complete
3ba39ce4e9c9: Pull complete
1db570dbe1c8: Pull complete
753bb4b44994: Pull complete
b5a1e811909d: Pull complete
6f3d83ba47b6: Pull complete
002305272cbf: Pull complete
249535cd82cd: Pull complete
87fe8c2a0989: Pull complete
b6932f04a343: Pull complete
17b274223ca8: Pull complete
4f4fb700ef54: Pull complete
924952a8fbf8: Pull complete
17671b650f63: Pull complete
9fe75d873195: Pull complete
24216535046d: Pull complete
ac2e1c9e90df: Pull complete
c2126be13b26: Pull complete
01ff22a5eb70: Pull complete
50415235a68f: Pull complete
deb6182b549b: Pull complete
ad728fb9a18c: Pull complete
a36bcae85a3d: Pull complete
1c746fdc6a3a: Pull complete
4351b787b295: Pull complete
380abb093977: Pull complete
0fc1b10f3fd9: Pull complete
966bc35978c3: Pull complete
ae53b61ccb9e: Pull complete
d8ada9072f1a: Pull complete
de924938e8b1: Pull complete
f961f7bce966: Pull complete
2f764eed3d15: Pull complete
de05668534c5: Pull complete
27d1c4294721: Pull complete
58acc85937c4: Pull complete
b0d8742917e9: Pull complete
Digest: sha256:23bf542d5b333c78e4e0be8dec35fd57fec6d5dce7999fa0e8e9b326241fd24c
Status: Downloaded newer image for ocaml/opam:debian-13-ocaml-5.4
2026-05-02 17:40.56 ---> saved as "b7ac0c72667412e270cf200043933272f02ff07c0767d046333cbc683d48c937"
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2026-05-02 17:40.56 ---> saved as "5641f8575878de47a5b29bcc887e4a17ca1be369a5de9aab9824cbbc69c489c1"
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam && opam update"))
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=71 --global
Format upgrade done.
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
default (at git+file:///home/opam/opam-repository):
[INFO] opam 2.5.1 includes security fixes; please consider upgrading (https://opam.ocaml.org/doc/Install.html)
2026-05-02 17:41.18 ---> saved as "5e7253eb62795a6b612b22c839bcc1fe2d9790109bdb83e3241177a8677fc595"
/home/opam: (run (network host)
(shell "opam repo add opam https://github.com/ocaml/opam-repository.git#ad878f6a589e2caa50b20387ea5a3e053f5bcd3b"))
[opam] Initialised
opam (at git+https://github.com/ocaml/opam-repository.git#ad878f6a589e2caa50b20387ea5a3e053f5bcd3b):
[INFO] opam 2.5.1 includes security fixes; please consider upgrading (https://opam.ocaml.org/doc/Install.html)
[NOTE] Repository opam has been added to the selections of switch 5.4 only.
Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.
2026-05-02 17:41.29 ---> saved as "e5da8fb83ab6ecfe3e41cdebc4b08615fbfa5f761be928042b7f5d4752d9c955"
/home/opam: (run (cache (download-cache (target /home/opam/.opam/download-cache)))
(network host)
(shell "sudo apt-get update && opam install -y \"mirage>=4\""))
Hit:1 http://deb.debian.org/debian trixie InRelease
Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [130 kB]
Fetched 221 kB in 0s (1672 kB/s)
Reading package lists...
The following actions will be performed:
=== install 28 packages
- install angstrom 0.16.1 [required by emile, uri]
- install astring 0.8.5 [required by mirage]
- install base64 3.5.2 [required by emile]
- install bigstringaf 0.10.0 [required by emile]
- install bos 0.3.0 [required by mirage]
- install cmdliner 2.1.1 [required by mirage]
- install conf-pkg-config 4 [required by opam-monorepo]
- install csexp 1.5.2 [required by dune-configurator]
- install domain-name 0.5.0 [required by ipaddr]
- install dune 3.22.2 [required by mirage]
- install dune-configurator 3.22.2 [required by bigstringaf]
- install emile 1.1 [required by mirage]
- install fmt 0.11.0 [required by mirage]
- install fpath 0.7.3 [required by mirage]
- install ipaddr 5.6.2 [required by mirage]
- install logs 0.10.0 [required by mirage]
- install macaddr 5.6.2 [required by ipaddr]
- install mirage 4.10.6
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocamlbuild 0.16.1 [required by astring, bos]
- install ocamlfind 1.9.8 [required by astring, bos]
- install opam-monorepo 0.4.3 [required by mirage]
- install pecu 0.7 [required by emile]
- install rresult 0.7.0 [required by mirage]
- install stringext 1.6.0 [required by uri]
- install topkg 1.1.1 [required by astring, bos]
- install uri 4.4.0 [required by mirage]
- install uutf 1.0.4 [required by emile]
The following system packages will first need to be installed:
pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config"
- Selecting previously unselected package libpkgconf3:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20654 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12+deb13u2) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved base64.3.5.2 (https://opam.ocaml.org/cache)
-> retrieved astring.0.8.5 (https://opam.ocaml.org/cache)
-> retrieved angstrom.0.16.1 (https://opam.ocaml.org/cache)
-> retrieved bigstringaf.0.10.0 (https://opam.ocaml.org/cache)
-> installed conf-pkg-config.4
-> retrieved bos.0.3.0 (https://opam.ocaml.org/cache)
-> retrieved cmdliner.2.1.1 (https://opam.ocaml.org/cache)
-> retrieved csexp.1.5.2 (https://opam.ocaml.org/cache)
-> retrieved domain-name.0.5.0 (https://opam.ocaml.org/cache)
-> retrieved fmt.0.11.0 (https://opam.ocaml.org/cache)
-> retrieved emile.1.1 (https://opam.ocaml.org/cache)
-> retrieved fpath.0.7.3 (https://opam.ocaml.org/cache)
-> retrieved ipaddr.5.6.2, macaddr.5.6.2 (https://opam.ocaml.org/cache)
-> retrieved logs.0.10.0 (https://opam.ocaml.org/cache)
-> retrieved mirage.4.10.6 (https://opam.ocaml.org/cache)
-> retrieved ocaml-syntax-shims.1.0.0 (https://opam.ocaml.org/cache)
-> retrieved ocamlbuild.0.16.1 (https://opam.ocaml.org/cache)
-> retrieved ocamlfind.1.9.8 (https://opam.ocaml.org/cache)
-> retrieved pecu.0.7 (https://opam.ocaml.org/cache)
-> retrieved rresult.0.7.0 (https://opam.ocaml.org/cache)
-> retrieved dune.3.22.2, dune-configurator.3.22.2 (https://opam.ocaml.org/cache)
-> retrieved opam-monorepo.0.4.3 (https://opam.ocaml.org/cache)
-> retrieved stringext.1.6.0 (https://opam.ocaml.org/cache)
-> retrieved topkg.1.1.1 (https://opam.ocaml.org/cache)
-> installed cmdliner.2.1.1
-> installed ocamlbuild.0.16.1
-> retrieved uutf.1.0.4 (https://opam.ocaml.org/cache)
-> retrieved uri.4.4.0 (https://opam.ocaml.org/cache)
-> installed ocamlfind.1.9.8
-> installed topkg.1.1.1
-> installed rresult.0.7.0
-> installed uutf.1.0.4
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed logs.0.10.0
-> installed fpath.0.7.3
-> installed bos.0.3.0
-> installed dune.3.22.2
-> installed base64.3.5.2
-> installed csexp.1.5.2
-> installed domain-name.0.5.0
-> installed macaddr.5.6.2
-> installed ocaml-syntax-shims.1.0.0
-> installed pecu.0.7
-> installed stringext.1.6.0
-> installed ipaddr.5.6.2
-> installed dune-configurator.3.22.2
-> installed bigstringaf.0.10.0
-> installed angstrom.0.16.1
-> installed emile.1.1
-> installed uri.4.4.0
-> installed opam-monorepo.0.4.3
-> installed mirage.4.10.6
Done.
# To update the current shell environment, run: eval $(opam env)
2026-05-02 17:42.23 ---> saved as "589c1d5a734df2f56f40d5732676a04a26d04dc864de7d27e305ed267716156c"
/home/opam: (copy (src .) (dst /src/))
2026-05-02 17:42.23 ---> saved as "038290b5ea0fd61351c44fcf2ffaa9031660bbaa8c27dc4e50a638494e7be442"
/home/opam: (env MODE hvt)
/home/opam: (workdir /src/)
/src/: (run (shell "opam exec -- make configure"))
mirage configure -f tutorial/noop/config.ml -t hvt
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f tutorial/hello/config.ml -t hvt
adding unit argument to 'start ()' (to delay execution)
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f tutorial/hello-key/config.ml -t hvt
adding unit argument to 'start ()' (to delay execution)
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f tutorial/local-library/config.ml -t hvt
adding unit argument to 'start ()' (to delay execution)
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f tutorial/lwt/echo_server/config.ml -t hvt
adding unit argument to 'start ()' (to delay execution)
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f tutorial/lwt/heads1/config.ml -t hvt
adding unit argument to 'start ()' (to delay execution)
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f tutorial/lwt/heads2/config.ml -t hvt
adding unit argument to 'start ()' (to delay execution)
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f tutorial/lwt/timeout1/config.ml -t hvt
adding unit argument to 'start ()' (to delay execution)
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f tutorial/lwt/timeout2/config.ml -t hvt
adding unit argument to 'start ()' (to delay execution)
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f tutorial/app_info/config.ml -t hvt
adding unit argument to 'start ()' (to delay execution)
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f device-usage/clock/config.ml -t hvt
adding unit argument to 'start ()' (to delay execution)
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f device-usage/conduit_server/config.ml -t hvt
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f device-usage/http-fetch/config.ml -t hvt
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f device-usage/kv_ro/config.ml -t hvt
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f device-usage/littlefs/config.ml -t hvt
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f device-usage/network/config.ml -t hvt
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f device-usage/ping6/config.ml -t hvt
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f device-usage/disk-lottery/config.ml -t hvt
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f applications/dhcp/config.ml -t hvt
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f applications/http/config.ml -t hvt
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f applications/dns/config.ml -t hvt
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f applications/crypto/config.ml -t hvt
adding unit argument to 'start ()' (to delay execution)
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
mirage configure -f applications/static_website_tls/config.ml -t hvt
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
dd if=/dev/zero of=disk.img count=100000
100000+0 records in
100000+0 records out
51200000 bytes (51 MB, 49 MiB) copied, 0.240909 s, 213 MB/s
mirage configure -f device-usage/block/config.ml -t hvt
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
2026-05-02 17:42.36 ---> saved as "abce2a5fac1b022ae28c0b42b03acf0a00fa582045d7b360f5566f5220f5d3b8"
/src/: (env MIRAGE_EXTRA_REPOS opam-overlays:https://github.com/dune-universe/opam-overlays.git#12731a6f86d7c452a94c72106fa9d3327988582d,mirage-opam-overlays:https://github.com/dune-universe/mirage-opam-overlays.git#eddcd1bc7e035392596b603d23dde67a88e6f6bc)
/src/: (run (network host)
(shell "opam exec -- make lock"))
[opam-overlays] Initialised
[NOTE] Repository opam-overlays has been added to the selections of switch 5.4 only.
Run `opam repository add opam-overlays --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.
[mirage-opam-overlays] Initialised
[NOTE] Repository mirage-opam-overlays has been added to the selections of switch 5.4 only.
Run `opam repository add mirage-opam-overlays --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.
env OPAMVAR_monorepo="opam-monorepo" opam monorepo lock --recurse-opam noop-hvt hello-hvt hello-key-hvt local-library-hvt echo_server-hvt heads1-hvt heads2-hvt timeout1-hvt timeout2-hvt echo_server-hvt app-info-hvt speaking_clock-hvt conduit_server-hvt http-fetch-hvt kv_ro-hvt elittlefs-hvt network-hvt ping-hvt lottery-hvt dhcp-hvt minipaf-hvt resolve-hvt crypto-test-hvt https-hvt block_test-hvt --build-only --ocaml-version 5.4.1 -l ./mirage.opam.locked
==> Using 24 locally scanned packages as the targets.
==> Found 164 opam dependencies for the target packages.
==> Querying opam database for their metadata and Dune compatibility.
==> Calculating exact pins for each of them.
==> Wrote lockfile with 103 entries to mirage.opam.locked. You can now run opam monorepo pull to fetch their sources.
Repositories removed from the selections of switch 5.4. Use '--all' to forget about them altogether.
Repositories removed from the selections of switch 5.4. Use '--all' to forget about them altogether.
2026-05-02 17:42.50 ---> saved as "4b0874d3cfd934956b96a31e045e660479d481d6e5af1f65125c17fbab66a58a"
/src/: (run (cache (download-cache (target /home/opam/.opam/download-cache)))
(network host)
(shell "sudo apt-get update && opam exec -- make depends"))
Hit:1 http://deb.debian.org/debian trixie InRelease
Hit:2 http://deb.debian.org/debian trixie-updates InRelease
Hit:3 http://deb.debian.org/debian-security trixie-security InRelease
Reading package lists...
opam install tutorial/noop/mirage/*.opam tutorial/hello/mirage/*.opam tutorial/hello-key/mirage/*.opam tutorial/local-library/mirage/*.opam tutorial/lwt/echo_server/mirage/*.opam tutorial/lwt/heads1/mirage/*.opam tutorial/lwt/heads2/mirage/*.opam tutorial/lwt/timeout1/mirage/*.opam tutorial/lwt/timeout2/mirage/*.opam tutorial/lwt/echo_server/mirage/*.opam tutorial/app_info/mirage/*.opam device-usage/clock/mirage/*.opam device-usage/conduit_server/mirage/*.opam device-usage/http-fetch/mirage/*.opam device-usage/kv_ro/mirage/*.opam device-usage/littlefs/mirage/*.opam device-usage/network/mirage/*.opam device-usage/ping6/mirage/*.opam device-usage/disk-lottery/mirage/*.opam applications/dhcp/mirage/*.opam applications/http/mirage/*.opam applications/dns/mirage/*.opam applications/crypto/mirage/*.opam applications/static_website_tls/mirage/*.opam device-usage/block/mirage/*.opam --deps-only --yes
[WARNING] Failed checks on noop-hvt package definition from source at file:///src/tutorial/noop/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on hello-hvt package definition from source at file:///src/tutorial/hello/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on hello-key-hvt package definition from source at file:///src/tutorial/hello-key/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on local-library-hvt package definition from source at file:///src/tutorial/local-library/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on echo_server-hvt package definition from source at file:///src/tutorial/lwt/echo_server/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on heads1-hvt package definition from source at file:///src/tutorial/lwt/heads1/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on heads2-hvt package definition from source at file:///src/tutorial/lwt/heads2/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on timeout1-hvt package definition from source at file:///src/tutorial/lwt/timeout1/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on timeout2-hvt package definition from source at file:///src/tutorial/lwt/timeout2/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on echo_server-hvt package definition from source at file:///src/tutorial/lwt/echo_server/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on app-info-hvt package definition from source at file:///src/tutorial/app_info/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on speaking_clock-hvt package definition from source at file:///src/device-usage/clock/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on conduit_server-hvt package definition from source at file:///src/device-usage/conduit_server/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on http-fetch-hvt package definition from source at file:///src/device-usage/http-fetch/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on kv_ro-hvt package definition from source at file:///src/device-usage/kv_ro/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on elittlefs-hvt package definition from source at file:///src/device-usage/littlefs/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on network-hvt package definition from source at file:///src/device-usage/network/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on ping-hvt package definition from source at file:///src/device-usage/ping6/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on lottery-hvt package definition from source at file:///src/device-usage/disk-lottery/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on dhcp-hvt package definition from source at file:///src/applications/dhcp/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on minipaf-hvt package definition from source at file:///src/applications/http/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on resolve-hvt package definition from source at file:///src/applications/dns/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on crypto-test-hvt package definition from source at file:///src/applications/crypto/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on https-hvt package definition from source at file:///src/applications/static_website_tls/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on block_test-hvt package definition from source at file:///src/device-usage/block/mirage:
warning 68: Missing field 'license'
The following actions will be performed:
=== install 6 packages
- install conf-libseccomp 1 [required by solo5]
- install ocaml-solo5 1.2.2 [required by timeout1-hvt, resolve-hvt, noop-hvt, etc.]
- install ocaml-src 5.4.1 [required by ocaml-solo5]
- install opatch 3.1.0 [required by ocaml-solo5]
- install patch 3.1.0 [required by opatch]
- install solo5 0.10.1 [required by timeout1-hvt, resolve-hvt, noop-hvt, etc.]
The following system packages will first need to be installed:
libseccomp-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libseccomp-dev"
- Selecting previously unselected package libseccomp-dev:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20691 files and directories currently installed.)
- Preparing to unpack .../libseccomp-dev_2.6.0-2_amd64.deb ...
- Unpacking libseccomp-dev:amd64 (2.6.0-2) ...
- Setting up libseccomp-dev:amd64 (2.6.0-2) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed conf-libseccomp.1
-> retrieved ocaml-solo5.1.2.2 (https://opam.ocaml.org/cache)
-> retrieved opatch.3.1.0, patch.3.1.0 (https://opam.ocaml.org/cache)
-> retrieved ocaml-src.5.4.1 (https://opam.ocaml.org/cache)
-> installed patch.3.1.0
-> retrieved solo5.0.10.1 (https://opam.ocaml.org/cache)
-> installed ocaml-src.5.4.1
-> installed opatch.3.1.0
-> installed solo5.0.10.1
-> installed ocaml-solo5.1.2.2
Done.
env OPAMVAR_monorepo="opam-monorepo" opam monorepo depext -y -l ./mirage.opam.locked
==> Using lockfile mirage.opam.locked
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "m4"
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20735 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../archives/m4_1.4.19-8_amd64.deb ...
- Unpacking m4 (1.4.19-8) ...
- Setting up m4 (1.4.19-8) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Processing triggers for libc-bin (2.41-12+deb13u2) ...
2026-05-02 17:44.25 ---> saved as "17d49d386f76b73c9425d03a0362ea4625cff80d5da2a8e125cffadf7e39fb73"
/src/: (run (shell "opam monorepo list -l mirage.opam.locked"))
==> Using lockfile mirage.opam.locked
==> The vendor directory is /src/duniverse/
angstrom 0.16.1 Parser combinators built for speed and memory-efficiency
arp 4.1.0 Address Resolution Protocol purely in OCaml
asn1-combinators 0.3.2 Embed typed ASN.1 grammars in OCaml
astring 0.8.5+dune pinned at https://github.com/dune-universe/astring/archive/v0.8.5+dune.tar.gz
base v0.17.3 Full standard library replacement for OCaml
base-bytes base+dune pinned at https://github.com/kit-ty-kate/bytes/archive/v0.1.0.tar.gz
base64 3.5.2 Base64 encoding for OCaml
bheap 2.0.0 Priority queues
bigstringaf 0.10.0 Bigstring intrinsics and fast blits based on memcpy/memmove
bos 0.2.1+dune pinned at https://github.com/dune-universe/bos/releases/download/v0.2.1%2Bdune/bos-0.2.1.dune.tbz
bstr 0.0.4 A simple library for bigstrings
ca-certs-nss 3.121 X.509 trust anchors extracted from Mozilla's NSS
chamelon 0.2.1 Subset of littlefs filesystem fulfilling MirageOS KV
charrua 3.1.1 DHCP wire frame encoder and decoder
charrua-client 3.1.1 DHCP client implementation
charrua-server 3.1.1 DHCP server
checkseum 0.5.3 Adler-32, CRC32 and CRC32-C implementation in C and OCaml
cmdliner 2.1.0+dune pinned at https://github.com/dune-universe/cmdliner/releases/download/v2.1.0%2Bdune/cmdliner-2.1.0.dune.tbz
cmdliner-stdlib 1.0.1 A collection of cmdliner terms to control OCaml runtime parameters
cohttp 6.2.1 An OCaml library for HTTP clients and servers
cohttp-lwt 6.2.1 CoHTTP implementation using the Lwt concurrency library
cohttp-mirage 6.2.1 CoHTTP implementation for the MirageOS unikernel
conduit 8.0.0 A network connection establishment library
conduit-lwt 8.0.0 A portable network connection establishment library using Lwt
conduit-mirage 8.0.0 A network connection establishment library for MirageOS
cppo 1.8.0 Code preprocessor like cpp for OCaml
crunch 4.0.0 Convert a filesystem into a static OCaml module
csexp 1.5.2 Parsing and printing of S-expressions in Canonical form
cstruct 6.2.0 Access C-like structures directly from OCaml
cstruct-lwt 6.2.0 Access C-like structures directly from OCaml
digestif 1.3.0 Hashes implementations (SHA*, RIPEMD160, BLAKE2* and MD5)
dns 10.2.5 An opinionated Domain Name System (DNS) library
dns-client 10.2.5 DNS client API
dns-client-mirage 10.2.5 DNS client API for MirageOS
domain-name 0.5.0 RFC 1035 Internet domain names
dune-build-info 3.22.2 Embed build information inside executable
dune-configurator 3.22.2 Helper library for gathering system configuration
duration 0.3.1 Conversions to various time units
eqaf 0.10 Constant-time equal function on string
ethernet 3.2.0 OCaml Ethernet (IEEE 802.3) layer, used in MirageOS
faraday 0.8.2 A library for writing fast and memory-efficient serializers
findlib 1.9.5+dune pinned at https://github.com/dune-universe/lib-findlib/releases/download/1.9.5%2Bdune/findlib-1.9.5.dune.tbz
fmt 0.11.0+dune pinned at https://github.com/dune-universe/fmt/releases/download/v0.11.0%2Bdune/fmt-0.11.0.dune.tbz
fpath 0.7.3+dune pinned at https://github.com/dune-universe/fpath/archive/v0.7.3+dune.tar.gz
gmap 0.3.0 Heterogenous maps over a GADT
gmp 6.3.0 The GNU Multiple Precision Arithmetic Library
h1 1.1.0 A high-performance, memory-efficient, and scalable web server for OCaml
h2 0.13.0 A high-performance, memory-efficient, and scalable HTTP/2 library for OCaml
happy-eyeballs 2.0.1 Connecting to a remote host via IP version 4 or 6
happy-eyeballs-mirage 2.0.1 Connecting to a remote host via IP version 4 or 6 using Mirage
hpack 0.13.0 An HPACK (Header Compression for HTTP/2) implementation in OCaml
http 6.2.1 Type definitions of HTTP essentials
httpun-types 0.2.0 Common HTTP/1.x types
hxd 0.4.0 Hexdump in OCaml
io-page 3.0.0 Support for efficient handling of I/O memory pages
ipaddr 5.6.2 A library for manipulation of IP (and MAC) address representations
ipaddr-cstruct 5.6.2 A library for manipulation of IP address representations using Cstructs
ipaddr-sexp 5.6.2 A library for manipulation of IP address representations using sexp
kdf 1.0.0 Key Derivation Functions: HKDF RFC 5869, PBKDF RFC 2898, SCRYPT RFC 7914
ke 0.6 Queue implementation
logs 0.10.0+dune pinned at https://github.com/dune-universe/logs/releases/download/v0.10.0%2Bdune/logs-0.10.0.dune.tbz
lru 0.3.1 Scalable LRU caches
lwt 6.1.2 Promises and event-driven I/O
lwt-dllist 1.1.0 Mutable doubly-linked list with Lwt iterators
macaddr 5.6.2 A library for manipulation of MAC address representations
macaddr-cstruct 5.6.2 A library for manipulation of MAC address representations using Cstructs
magic-mime 1.3.1 Map filenames to common MIME types
menhir 20260209 An LR(1) parser generator
menhirCST 20260209 Runtime support library for unparsers generated by Menhir
menhirGLR 20260209 Runtime support library for GLR parsers generated by Menhir
menhirLib 20260209 Runtime support library for parsers generated by Menhir
menhirSdk 20260209 Compile-time library for auxiliary tools related to Menhir
metrics 0.5.0 Metrics infrastructure for OCaml
metrics-lwt 0.5.0 Lwt backend for the Metrics library
mimic 0.0.9 A simple protocol dispatcher
mimic-happy-eyeballs 0.0.9 A happy-eyeballs integration into mimic
mirage-block 3.0.2 Block signatures and implementations for MirageOS
mirage-block-solo5 0.8.1 Solo5 implementation of MirageOS block interface
mirage-bootvar 1.0.1 Boot time arguments for MirageOS
mirage-channel 5.0.0 Buffered channels for MirageOS FLOW types
mirage-crypto 2.1.0 Simple symmetric cryptography for the modern age
mirage-crypto-ec 2.1.0 Elliptic Curve Cryptography with primitives taken from Fiat
mirage-crypto-pk 2.1.0 Simple public-key cryptography for the modern age
mirage-crypto-rng 2.1.0 A cryptographically secure PRNG
mirage-crypto-rng-mirage 2.1.0 Entropy collection for a cryptographically secure PRNG
mirage-flow 5.0.0 Flow implementations and combinators for MirageOS
mirage-flow-combinators 5.0.0 Flow implementations and combinators for MirageOS specialized to lwt
mirage-kv 6.1.1 MirageOS signatures for key/value devices
mirage-kv-mem 4.0.1 In-memory key value store for MirageOS
mirage-logs 3.0.0 A reporter for the Logs library that writes log messages to stderr, using a Mirage `CLOCK` to add timestamps
mirage-mtime 5.2.0 Libraries and module types for a monotonic clock
mirage-net 4.0.0 Network signatures for MirageOS
mirage-net-solo5 0.8.0 Solo5 implementation of MirageOS network interface
mirage-ptime 5.2.0 Libraries and module types for portable clocks
mirage-runtime 4.10.6 The base MirageOS runtime library, part of every MirageOS unikernel
mirage-sleep 4.1.0 Sleep operation for MirageOS
mirage-solo5 0.10.0 Solo5 core platform libraries for MirageOS
mtime 2.1.0+dune pinned at https://github.com/dune-universe/mtime/releases/download/v2.1.0%2Bdune/mtime-2.1.0.dune.tbz
num 1.4+dune2 pinned at https://github.com/dune-universe/num/releases/download/v1.4%2Bdune2/num-v1.4.dune2.tbz
ocaml-compiler-libs v0.17.0 OCaml compiler libraries repackaged
ocaml-syntax-shims 1.0.0 Backport new syntax to older OCaml versions
ocaml_intrinsics_kernel v0.17.1 Intrinsics
ocamlfind 1.9.5+dune pinned at https://github.com/dune-universe/lib-findlib/releases/download/1.9.5%2Bdune/findlib-1.9.5.dune.tbz
ocplib-endian 1.2 Optimised functions to read and write int16/32/64 from strings and bigarrays
ohex 0.2.0 Hexadecimal encoding and decoding
optint 0.3.0 Efficient integer types on 64-bit architectures
ounit2 2.2.7 OUnit testing framework
paf 0.8.0 HTTP/AF and MirageOS
parsexp v0.17.0 S-expression parsing library
ppx_cstruct 6.2.0 Access C-like structures directly from OCaml
ppx_derivers 1.2.1 Shared [@@deriving] plugin registry
ppx_sexp_conv v0.17.1 [@@deriving] plugin to generate S-expression conversion functions
ppxlib 0.38.0 Standard infrastructure for ppx rewriters
ppxlib_jane v0.17.4 Utilities for working with Jane Street AST constructs
psq 0.2.1 Functional Priority Search Queues
ptime 1.2.0+dune pinned at https://github.com/dune-universe/ptime/releases/download/v1.2.0%2Bdune/ptime-1.2.0.dune.tbz
randomconv 0.2.0 Convert from random byte vectors (int -> string) to random native numbers
re 1.14.0 RE is a regular expression library for OCaml
result 1.5 Compatibility Result module
rresult 0.7.0+dune pinned at https://github.com/dune-universe/rresult/releases/download/v0.7.0%2Bdune/rresult-0.7.0.dune.tbz
seq base+dune pinned at https://github.com/c-cube/seq/archive/0.2.2.tar.gz
sexplib v0.17.0 Library for serializing OCaml values to and from S-expressions
sexplib0 v0.17.0 Library containing the definition of S-expressions and some base converters
stdlib-shims 0.3.0 Backport some of the new stdlib features to older compiler
stringext 1.6.0 Extra string functions for OCaml
tcpip 9.0.1 OCaml TCP/IP networking stack, used in MirageOS
tls 2.0.4 Transport Layer Security purely in OCaml
tls-mirage 2.0.4 Transport Layer Security purely in OCaml, MirageOS layer
uri 4.4.0 An RFC3986 URI/URL parsing library
uri-sexp 4.4.0 An RFC3986 URI/URL parsing library
vchan 6.0.2 Xen Vchan implementation
x509 1.0.6 Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml
xenstore 2.4.0 Xenstore protocol in pure OCam
xenstore_transport 1.5.0 Low-level libraries for connecting to a xenstore service on a xen host
zarith 1.14+dune+mirage pinned at https://github.com/mirage/Zarith/releases/download/1.14%2Bdune%2Bmirage/zarith-1.14.dune.mirage.tbz
2026-05-02 17:44.34 ---> saved as "4cca55e5d33eee5a475953cf061c2d32e82927643041fb7845ff2eb085026f1b"
/src/: (run (cache (download-cache (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam exec -- make pull"))
env OPAMVAR_monorepo="opam-monorepo" opam monorepo pull
==> Using lockfile /src/mirage.opam.locked
Successfully pulled 103/103 repositories
2026-05-02 17:44.36 ---> saved as "24670145801ced51bf262aedece48f4fea9a7c32eadd8d5fe6b653e3bffd17e8"
/src/: (env DUNE_CACHE enabled)
/src/: (env DUNE_CACHE_TRANSPORT direct)
/src/: (run (cache (dune-build-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam exec -- make build"))
dune build
gmake[1]: Entering directory '/src/_build/solo5/duniverse/mirage-solo5/lib/bindings'
ocamlfind -toolchain solo5 ocamlopt -c -o clock_stubs.o clock_stubs.c
ocamlfind -toolchain solo5 ocamlopt -c -o mm_stubs.o mm_stubs.c
ocamlfind -toolchain solo5 ocamlopt -c -o main.o main.c
ar r libmirage-solo5_bindings.a clock_stubs.o mm_stubs.o main.o
gmake[1]: Leaving directory '/src/_build/solo5/duniverse/mirage-solo5/lib/bindings'
ar: creating libmirage-solo5_bindings.a
Creating menhirLib.ml...
Creating menhirLib.mli...
Read 103 sample input sentences and 103 error messages.
Read 103 sample input sentences and 50 error messages.
Read 103 sample input sentences and 50 error messages.
Grammar has 57 nonterminal symbols, among which 1 start symbols.
Grammar has 38 terminal symbols.
Grammar has 132 productions.
Built an LR(0) automaton with 205 states.
The grammar is not SLR(1) -- 7 states have a conflict.
The construction mode is no-pager.
Built an LR(1) automaton with 314 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 50 states.
Priority played a role in 0 of these states.
158 out of 314 states have a default reduction.
110 out of 314 states are represented.
45 out of 98 symbols keep track of their start position.
40 out of 98 symbols keep track of their end position.
The StackLang code contains 4186 instructions in 282 blocks.
The StackLang code comprises 5 mutually recursive groups.
Generating Static_tls.ml
Generating Static_tls.mli
Generating Static_keys.ml
Generating Static_keys.mli
Generating Static_htdocs.ml
Generating Static_htdocs.mli
Generating Static_t.ml
Generating Static_t.mli
Generating Static_certificates.ml
Generating Static_certificates.mli
Generating Static_certificates.ml
Generating Static_certificates.mli
Generating Static_keys.ml
Generating Static_keys.mli
Generating Static_htdocs.ml
Generating Static_htdocs.mli
Generating Static_t.ml
Generating Static_t.mli
Generating Static_tls.ml
Generating Static_tls.mli
./configure: line 14385: /usr/bin/file: No such file or directory
binary ocaml: found in /home/opam/.opam/5.4/bin
binary ocamlc: found in /home/opam/.opam/5.4/bin
binary ocamldep: found in /home/opam/.opam/5.4/bin
binary ocamlmklib: found in /home/opam/.opam/5.4/bin
binary ocamldoc: found in /home/opam/.opam/5.4/bin
binary gcc: found in /usr/bin
binary ocamlopt: found in /home/opam/.opam/5.4/bin
checking compilation with -I/src/_build/default/duniverse/Zarith/../../../install/default/lib/gmp/: working
include caml/mlvalues.h: found
library dynlink.cmxa: found
binary ocamlfind: found in /home/opam/.opam/5.4/bin
OCaml's word size is 64
package gmp: found
OCaml supports -bin-annot to produce documentation
detected configuration:
native-code: yes
dynamic linking: yes
defines: -DHAS_GMP
includes: -I/home/opam/.opam/5.4/lib/ocaml -I/src/_build/default/duniverse/Zarith/../../../install/default/lib/gmp/
libraries: -lgmp
linker options: -L/src/_build/default/duniverse/Zarith/../../../install/default/lib/gmp/
C options: -I/src/_build/default/duniverse/Zarith/../../../install/default/lib/gmp/
installation path: /home/opam/.opam/5.4/lib
installation method findlib
configuration successful!
now type "make" to build
then type "make install" or "sudo make install" to install
configure: WARNING: using cross tools not prefixed with host triplet
configure: WARNING: cannot check for properly working vsnprintf when cross compiling, will assume it's ok
binary ocaml: found in /home/opam/.opam/5.4/bin
binary ocamlc: found in /home/opam/.opam/5.4/bin
binary ocamldep: found in /home/opam/.opam/5.4/bin
binary ocamlmklib: found in /home/opam/.opam/5.4/bin
binary ocamldoc: found in /home/opam/.opam/5.4/bin
binary x86_64-solo5-ocaml-gcc: found in /home/opam/.opam/5.4/bin
binary ocamlopt: found in /home/opam/.opam/5.4/bin
checking compilation with -I/src/_build/solo5/duniverse/Zarith/../../../install/solo5/lib/gmp/: working
include caml/mlvalues.h: found
library dynlink.cmxa: found
binary ocamlfind: found in /home/opam/.opam/5.4/bin
OCaml's word size is 64
package gmp: found
OCaml supports -bin-annot to produce documentation
detected configuration:
native-code: yes
dynamic linking: yes
defines: -DHAS_GMP
includes: -I/home/opam/.opam/5.4/lib/ocaml-solo5/lib/ocaml -I/src/_build/solo5/duniverse/Zarith/../../../install/solo5/lib/gmp/
libraries: -lgmp
linker options: -L/src/_build/solo5/duniverse/Zarith/../../../install/solo5/lib/gmp/
C options: -I/src/_build/solo5/duniverse/Zarith/../../../install/solo5/lib/gmp/
installation path: /home/opam/.opam/5.4/lib
installation method findlib
configuration successful!
now type "make" to build
then type "make install" or "sudo make install" to install
extract-from-certdata: [WARNING] Untrusted certificate "Go Daddy Class 2 CA" (serial 020100)
extract-from-certdata: [WARNING] Untrusted certificate "Starfield Class 2 CA" (serial 020100)
2026-05-02 17:45.18 ---> saved as "754c70a32eea7c780f4b85479502670e8bd299c719de62ae22c286e806b33be8"
Job succeeded
2026-05-02 17:45.18: Job succeeded