Build:
- 0
2026-04-19 17:38.13: New job: Build using linux-x86_64 in
[https://github.com/mirage/mirage-skeleton.git#refs/pull/418/head (f9338d16f88fcd1767241f4d99779c280c235379)]
OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14)
(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#4e7f3a62e3e8654e6c3b146b76136959efbcb3f5"))
(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 xen)
(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-04-19 17:38.13: Using cache hint "mirage-ci-skeleton-debian-13-ocaml-4.14"
2026-04-19 17:38.13: Connecting to build cluster…
2026-04-19 17:38.13: Waiting for resource in pool OCluster
2026-04-19 17:38.15: Waiting for worker…
2026-04-19 17:38.15: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at f9338d1 Pass dhcp to resolver_dns
(from ocaml/opam:debian-13-ocaml-4.14)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.14' locally
debian-13-ocaml-4.14: Pulling from ocaml/opam
a7730063fcfe: Already exists
4ee4710ec793: Pulling fs layer
9bffbdd66231: Pulling fs layer
cbcc548423e6: Pulling fs layer
fe2acedc347c: Pulling fs layer
d316a4b5f6c7: Pulling fs layer
fe2acedc347c: Waiting
a7185b084615: Pulling fs layer
8f2e4b898a82: Pulling fs layer
d316a4b5f6c7: Waiting
c45b7ac3ea87: Pulling fs layer
8f2e4b898a82: Waiting
7e67b51417c7: Pulling fs layer
a7185b084615: Waiting
c45b7ac3ea87: Waiting
bd7b73c72643: Pulling fs layer
7e67b51417c7: Waiting
6c18a46bf2ad: Pulling fs layer
bd7b73c72643: Waiting
f9e34f2a66c9: Pulling fs layer
d9ef36e01586: Pulling fs layer
6c18a46bf2ad: Waiting
f9e34f2a66c9: Waiting
97b411d0e48e: Pulling fs layer
d9ef36e01586: Waiting
7a801e16329f: Pulling fs layer
97b411d0e48e: Waiting
19d23084d713: Pulling fs layer
7a801e16329f: Waiting
19d23084d713: Waiting
5a7e5c66431e: Pulling fs layer
70ef9a276312: Pulling fs layer
9ae2c497c2b0: Pulling fs layer
70ef9a276312: Waiting
e8976e43e08e: Pulling fs layer
9ae2c497c2b0: Waiting
4f4fb700ef54: Pulling fs layer
c604dd6b8c73: Pulling fs layer
4f4fb700ef54: Waiting
e8976e43e08e: Waiting
1eb18e837245: Pulling fs layer
c604dd6b8c73: Waiting
255f5a23564e: Pulling fs layer
3f89e8909570: Pulling fs layer
132eabb3a260: Pulling fs layer
255f5a23564e: Waiting
3f89e8909570: Waiting
493b36718743: Pulling fs layer
969b57e3419b: Pulling fs layer
132eabb3a260: Waiting
493b36718743: Waiting
149edab32f52: Pulling fs layer
bd180ee6bae9: Pulling fs layer
969b57e3419b: Waiting
149edab32f52: Waiting
cc8dae61ae77: Pulling fs layer
60d736b82f5f: Pulling fs layer
bd180ee6bae9: Waiting
cc8dae61ae77: Waiting
37e6ecf610fb: Pulling fs layer
f5a753da3473: Pulling fs layer
37e6ecf610fb: Waiting
60d736b82f5f: Waiting
36e535949899: Pulling fs layer
f5a753da3473: Waiting
95ef206c9a71: Pulling fs layer
a70d32c06711: Pulling fs layer
5ee0fcdd42b0: Pulling fs layer
95ef206c9a71: Waiting
5ee0fcdd42b0: Waiting
767e030306e7: Pulling fs layer
a70d32c06711: Waiting
244689e8fa7f: Pulling fs layer
960cd89e5a24: Pulling fs layer
244689e8fa7f: Waiting
e07686aa475e: Pulling fs layer
960cd89e5a24: Waiting
e87b8338aa37: Pulling fs layer
e07686aa475e: Waiting
e87b8338aa37: Waiting
9bffbdd66231: Verifying Checksum
9bffbdd66231: Download complete
4ee4710ec793: Verifying Checksum
4ee4710ec793: Download complete
4ee4710ec793: Pull complete
9bffbdd66231: Pull complete
cbcc548423e6: Verifying Checksum
cbcc548423e6: Download complete
fe2acedc347c: Verifying Checksum
fe2acedc347c: Download complete
a7185b084615: Verifying Checksum
a7185b084615: Download complete
cbcc548423e6: Pull complete
fe2acedc347c: Pull complete
d316a4b5f6c7: Verifying Checksum
d316a4b5f6c7: Download complete
c45b7ac3ea87: Verifying Checksum
c45b7ac3ea87: Download complete
7e67b51417c7: Verifying Checksum
7e67b51417c7: Download complete
bd7b73c72643: Verifying Checksum
bd7b73c72643: Download complete
6c18a46bf2ad: Verifying Checksum
6c18a46bf2ad: Download complete
f9e34f2a66c9: Verifying Checksum
f9e34f2a66c9: Download complete
8f2e4b898a82: Verifying Checksum
8f2e4b898a82: Download complete
d9ef36e01586: Verifying Checksum
d9ef36e01586: Download complete
97b411d0e48e: Verifying Checksum
97b411d0e48e: Download complete
7a801e16329f: Verifying Checksum
7a801e16329f: Download complete
19d23084d713: Download complete
5a7e5c66431e: Download complete
70ef9a276312: Verifying Checksum
70ef9a276312: Download complete
9ae2c497c2b0: Download complete
4f4fb700ef54: Download complete
c604dd6b8c73: Verifying Checksum
c604dd6b8c73: Download complete
1eb18e837245: Verifying Checksum
1eb18e837245: Download complete
255f5a23564e: Download complete
3f89e8909570: Verifying Checksum
3f89e8909570: Download complete
132eabb3a260: Download complete
493b36718743: Verifying Checksum
493b36718743: Download complete
969b57e3419b: Verifying Checksum
969b57e3419b: Download complete
149edab32f52: Verifying Checksum
149edab32f52: Download complete
bd180ee6bae9: Verifying Checksum
bd180ee6bae9: Download complete
cc8dae61ae77: Verifying Checksum
cc8dae61ae77: Download complete
60d736b82f5f: Download complete
37e6ecf610fb: Download complete
36e535949899: Download complete
a70d32c06711: Download complete
5ee0fcdd42b0: Download complete
767e030306e7: Download complete
f5a753da3473: Verifying Checksum
f5a753da3473: Download complete
95ef206c9a71: Verifying Checksum
95ef206c9a71: Download complete
960cd89e5a24: Download complete
e07686aa475e: Verifying Checksum
e07686aa475e: Download complete
e87b8338aa37: Verifying Checksum
e87b8338aa37: Download complete
d316a4b5f6c7: Pull complete
a7185b084615: Pull complete
244689e8fa7f: Verifying Checksum
244689e8fa7f: Download complete
8f2e4b898a82: Pull complete
c45b7ac3ea87: Pull complete
7e67b51417c7: Pull complete
bd7b73c72643: Pull complete
6c18a46bf2ad: Pull complete
f9e34f2a66c9: Pull complete
d9ef36e01586: Pull complete
97b411d0e48e: Pull complete
7a801e16329f: Pull complete
19d23084d713: Pull complete
5a7e5c66431e: Pull complete
70ef9a276312: Pull complete
9ae2c497c2b0: Pull complete
e8976e43e08e: Pull complete
4f4fb700ef54: Pull complete
c604dd6b8c73: Pull complete
1eb18e837245: Pull complete
255f5a23564e: Pull complete
3f89e8909570: Pull complete
132eabb3a260: Pull complete
493b36718743: Pull complete
969b57e3419b: Pull complete
149edab32f52: Pull complete
bd180ee6bae9: Pull complete
cc8dae61ae77: Pull complete
60d736b82f5f: Pull complete
37e6ecf610fb: Pull complete
f5a753da3473: Pull complete
36e535949899: Pull complete
95ef206c9a71: Pull complete
a70d32c06711: Pull complete
5ee0fcdd42b0: Pull complete
767e030306e7: Pull complete
244689e8fa7f: Pull complete
960cd89e5a24: Pull complete
e07686aa475e: Pull complete
e87b8338aa37: Pull complete
Digest: sha256:70d47505f355817e69730fa43cb254baa3348bc6282a13b8dc18f6577616077e
Status: Downloaded newer image for ocaml/opam:debian-13-ocaml-4.14
2026-04-19 17:40.39 ---> saved as "2872d40d55f240e0a2da70ebf7596d35808f9b322f6ba106c5bc21f37bed29fd"
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2026-04-19 17:40.39 ---> saved as "5cb26c4c89f19cf8882a86430bc6e7246ec7d2b4dc9c4381e0b364e87efbcbf7"
/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-04-19 17:41.01 ---> saved as "10de7b0709f46eb6ef5732e5c8e2c2938b4ac5c4831018ebe31c4c01b7a353ad"
/home/opam: (run (network host)
(shell "opam repo add opam https://github.com/ocaml/opam-repository.git#4e7f3a62e3e8654e6c3b146b76136959efbcb3f5"))
[opam] Initialised
opam (at git+https://github.com/ocaml/opam-repository.git#4e7f3a62e3e8654e6c3b146b76136959efbcb3f5):
[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 4.14 only.
Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.
2026-04-19 17:41.11 ---> saved as "627f6b1f4e0ef63e34551721837ca6e2980d0b6df9d0d94bc261e0c8e417e990"
/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 [124 kB]
Fetched 215 kB in 0s (1614 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.2.1 [required by mirage]
- install cmdliner 2.1.0 [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.5
- 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 ... 20623 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 angstrom.0.16.1 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved base64.3.5.2 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> installed conf-pkg-config.4
-> retrieved bos.0.2.1 (cached)
-> retrieved cmdliner.2.1.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved domain-name.0.5.0 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved emile.1.1 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved ipaddr.5.6.2, macaddr.5.6.2 (cached)
-> retrieved logs.0.10.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved mirage.4.10.5 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved pecu.0.7 (cached)
-> retrieved rresult.0.7.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved topkg.1.1.1 (cached)
-> retrieved uri.4.4.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved dune.3.22.2, dune-configurator.3.22.2 (cached)
-> retrieved opam-monorepo.0.4.3 (cached)
-> installed cmdliner.2.1.0
-> installed ocamlbuild.0.16.1
-> 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 fpath.0.7.3
-> installed logs.0.10.0
-> installed bos.0.2.1
-> 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.5
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-19 17:42.00 ---> saved as "5337701afb9cc731d6d0153edc57fca9a0b9a528e11cdd372aabdaabf4f92ae4"
/home/opam: (copy (src .) (dst /src/))
2026-04-19 17:42.01 ---> saved as "a9d1f26d7373e5005810be355bbce17dd0285d55bd40f9795d2ab0323bf6b179"
/home/opam: (env MODE xen)
/home/opam: (workdir /src/)
/src/: (run (shell "opam exec -- make configure"))
mirage configure -f tutorial/noop/config.ml -t xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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 xen
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.240886 s, 213 MB/s
mirage configure -f device-usage/block/config.ml -t xen
Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
2026-04-19 17:42.14 ---> saved as "08e882949e24825e9fbc33750fffa8129fcfc7176a850a71137ffcc70d99b010"
/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 4.14 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 4.14 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-xen hello-xen hello-key-xen local-library-xen echo_server-xen heads1-xen heads2-xen timeout1-xen timeout2-xen echo_server-xen app-info-xen speaking_clock-xen conduit_server-xen http-fetch-xen kv_ro-xen elittlefs-xen network-xen ping-xen lottery-xen dhcp-xen minipaf-xen resolve-xen crypto-test-xen https-xen block_test-xen --build-only --ocaml-version 4.14.3 -l ./mirage.opam.locked
==> Using 24 locally scanned packages as the targets.
==> Found 159 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 102 entries to mirage.opam.locked. You can now run opam monorepo pull to fetch their sources.
Repositories removed from the selections of switch 4.14. Use '--all' to forget about them altogether.
Repositories removed from the selections of switch 4.14. Use '--all' to forget about them altogether.
2026-04-19 17:42.31 ---> saved as "16b3261806f9adff9c59bc24704db0309ab9d052e7d58c37ca721a2405bf59ca"
/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-xen package definition from source at file:///src/tutorial/noop/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on hello-xen package definition from source at file:///src/tutorial/hello/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on hello-key-xen package definition from source at file:///src/tutorial/hello-key/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on local-library-xen package definition from source at file:///src/tutorial/local-library/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on echo_server-xen package definition from source at file:///src/tutorial/lwt/echo_server/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on heads1-xen package definition from source at file:///src/tutorial/lwt/heads1/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on heads2-xen package definition from source at file:///src/tutorial/lwt/heads2/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on timeout1-xen package definition from source at file:///src/tutorial/lwt/timeout1/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on timeout2-xen package definition from source at file:///src/tutorial/lwt/timeout2/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on echo_server-xen package definition from source at file:///src/tutorial/lwt/echo_server/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on app-info-xen package definition from source at file:///src/tutorial/app_info/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on speaking_clock-xen package definition from source at file:///src/device-usage/clock/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on conduit_server-xen package definition from source at file:///src/device-usage/conduit_server/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on http-fetch-xen package definition from source at file:///src/device-usage/http-fetch/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on kv_ro-xen package definition from source at file:///src/device-usage/kv_ro/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on elittlefs-xen package definition from source at file:///src/device-usage/littlefs/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on network-xen package definition from source at file:///src/device-usage/network/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on ping-xen package definition from source at file:///src/device-usage/ping6/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on lottery-xen package definition from source at file:///src/device-usage/disk-lottery/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on dhcp-xen package definition from source at file:///src/applications/dhcp/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on minipaf-xen package definition from source at file:///src/applications/http/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on resolve-xen package definition from source at file:///src/applications/dns/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on crypto-test-xen package definition from source at file:///src/applications/crypto/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on https-xen package definition from source at file:///src/applications/static_website_tls/mirage:
warning 68: Missing field 'license'
[WARNING] Failed checks on block_test-xen package definition from source at file:///src/device-usage/block/mirage:
warning 68: Missing field 'license'
The following actions will be performed:
=== install 5 packages
- install conf-libseccomp 1 [required by solo5]
- install conf-which 1 [required by ocaml-solo5]
- install ocaml-solo5 0.8.5 [required by timeout1-xen, resolve-xen, noop-xen, etc.]
- install ocaml-src 4.14.3 [required by ocaml-solo5]
- install solo5 0.10.1 [required by timeout1-xen, resolve-xen, noop-xen, 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 ... 20660 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 <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-solo5.0.8.5 (cached)
-> retrieved ocaml-src.4.14.3 (cached)
-> retrieved solo5.0.10.1 (cached)
-> installed conf-libseccomp.1
-> installed conf-which.1
-> installed ocaml-src.4.14.3
-> installed solo5.0.10.1
-> installed ocaml-solo5.0.8.5
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 ... 20704 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-04-19 17:43.49 ---> saved as "0847b1f5b6d85d58ae884ceb9f457196cd36f8b479f994180ead489f8cb4339d"
/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.16.4 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.2 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.4 An opinionated Domain Name System (DNS) library
dns-client 10.2.4 DNS client API
dns-client-mirage 10.2.4 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.1 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-xen 2.1.3 MirageOS block driver for Xen that implements the blkfront/back protocol
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-xen 2.1.7 Network device for reading and writing Ethernet frames via then Xen netfront/netback protocol
mirage-ptime 5.2.0 Libraries and module types for portable clocks
mirage-runtime 4.10.5 The base MirageOS runtime library, part of every MirageOS unikernel
mirage-sleep 4.1.0 Sleep operation for MirageOS
mirage-xen 9.0.0 Xen 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.12.4 OCaml compiler libraries repackaged
ocaml-syntax-shims 1.0.0 Backport new syntax to older OCaml versions
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.16.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.16.0 [@@deriving] plugin to generate S-expression conversion functions
ppxlib 0.35.0 Standard infrastructure for ppx rewriters
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.16.0 Library for serializing OCaml values to and from S-expressions
sexplib0 v0.16.0 Library containing the definition of S-expressions and some base converters
shared-memory-ring 3.2.1 Shared memory rings for RPC and bytestream communications
shared-memory-ring-lwt 3.2.1 Shared memory rings for RPC and bytestream communications using Lwt
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-04-19 17:44.01 ---> saved as "d17e94ad8d14e85b16cc218a2cd1f7746da7adf7b4a14647643b00422a8a45d8"
/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 102/102 repositories
2026-04-19 17:44.04 ---> saved as "24bbb624c0b925965999efd822d3aab2289ec330ab7fad9efbf91bd90b3d3af1"
/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-xen/lib/bindings'
ocamlfind -toolchain solo5 ocamlopt -ccopt "-I ./include/ -O2 -std=c99 -Wall -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__" -c -o bmap.o bmap.c
ocamlfind -toolchain solo5 ocamlopt -ccopt "-I ./include/ -O2 -std=c99 -Wall -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__" -c -o clock_stubs.o clock_stubs.c
ocamlfind -toolchain solo5 ocamlopt -ccopt "-I ./include/ -O2 -std=c99 -Wall -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__" -c -o evtchn.o evtchn.c
ocamlfind -toolchain solo5 ocamlopt -ccopt "-I ./include/ -O2 -std=c99 -Wall -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__" -c -o gnttab.o gnttab.c
ocamlfind -toolchain solo5 ocamlopt -ccopt "-I ./include/ -O2 -std=c99 -Wall -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__" -c -o main.o main.c
ar r libmirage-xen_bindings.a bmap.o clock_stubs.o evtchn.o gnttab.o main.o
gmake[1]: Leaving directory '/src/_build/solo5/duniverse/mirage-xen/lib/bindings'
ar: creating libmirage-xen_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_certificates.ml
Generating Static_certificates.mli
Generating Static_htdocs.ml
Generating Static_htdocs.mli
Generating Static_t.ml
Generating Static_t.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
Generating Static_certificates.ml
Generating Static_certificates.mli
Generating Static_keys.ml
Generating Static_keys.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/4.14/bin
binary ocamlc: found in /home/opam/.opam/4.14/bin
binary ocamldep: found in /home/opam/.opam/4.14/bin
binary ocamlmklib: found in /home/opam/.opam/4.14/bin
binary ocamldoc: found in /home/opam/.opam/4.14/bin
binary gcc: found in /usr/bin
binary ocamlopt: found in /home/opam/.opam/4.14/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/4.14/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/4.14/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/4.14/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/4.14/bin
binary ocamlc: found in /home/opam/.opam/4.14/bin
binary ocamldep: found in /home/opam/.opam/4.14/bin
binary ocamlmklib: found in /home/opam/.opam/4.14/bin
binary ocamldoc: found in /home/opam/.opam/4.14/bin
binary x86_64-solo5-none-static-cc: found in /home/opam/.opam/4.14/bin
binary ocamlopt: found in /home/opam/.opam/4.14/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/4.14/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/4.14/solo5-sysroot/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/4.14/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-04-19 17:44.48 ---> saved as "593d0b6f96510f4a12c52b6f86b85acf4ce188ddcd036f1c9aa80c19a3c33bf3"
Job succeeded
2026-04-19 17:44.48: Job succeeded