Build:
- 0
2025-09-13 11:59.57: New job: Build using linux-x86_64 in
[https://github.com/mirage/mirage-skeleton.git#refs/heads/main (395229ba90b6338e3e2b10bd70f8a6e5b402f63c)]
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#bcac5d17315c7dd28b93a43f52e43d98094b72ec"))
(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#3320932b74afc1d049ceeaf60dfe501d664bb143,mirage-opam-overlays:https://github.com/dune-universe/mirage-opam-overlays.git#797cb363df3ff763c43c8fbec5cd44de2878757e)
(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"))
)
2025-09-13 11:59.57: Using cache hint "mirage-ci-skeleton-debian-13-ocaml-4.14"
2025-09-13 11:59.57: Connecting to build cluster…
2025-09-13 11:59.57: Waiting for resource in pool OCluster
2025-09-13 11:59.57: Waiting for worker…
2025-09-13 11:59.58: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at 395229b Merge pull request #412 from hannesm/prep-410
(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
80b7316254b3: Pulling fs layer
18acc7c806c7: Pulling fs layer
011c829509ed: Pulling fs layer
612000e0c93c: Pulling fs layer
1b912b1a1578: Pulling fs layer
94fdcfbdce65: Pulling fs layer
0312dec21394: Pulling fs layer
f1efdf8d99a0: Pulling fs layer
f257cc83426a: Pulling fs layer
f7682e72556e: Pulling fs layer
99887c137b1d: Pulling fs layer
b02594e72f42: Pulling fs layer
3ff9727a447f: Pulling fs layer
00e4e4796389: Pulling fs layer
b9e0ec76e503: Pulling fs layer
b773135820ae: Pulling fs layer
7a38474fea59: Pulling fs layer
78f4afb4bda6: Pulling fs layer
b74a1d7581de: Pulling fs layer
8e0e72d49821: Pulling fs layer
af5f36239bf9: Pulling fs layer
0312dec21394: Waiting
4f4fb700ef54: Pulling fs layer
f1efdf8d99a0: Waiting
129e45669eb8: Pulling fs layer
f257cc83426a: Waiting
5b16855ffe61: Pulling fs layer
647d925a412f: Pulling fs layer
65199b3c7891: Pulling fs layer
def206af6885: Pulling fs layer
f67fa288c6b4: Pulling fs layer
f7682e72556e: Waiting
561160899db3: Pulling fs layer
99887c137b1d: Waiting
b02594e72f42: Waiting
d12f40b8de0d: Pulling fs layer
59712942e077: Pulling fs layer
3fd9b8c2eec7: Pulling fs layer
612000e0c93c: Waiting
b74a1d7581de: Waiting
9946631218b2: Pulling fs layer
78f4afb4bda6: Waiting
b4b6acc879cc: Pulling fs layer
7a38474fea59: Waiting
3ff9727a447f: Waiting
51021f312c90: Pulling fs layer
d1dc23bc5565: Pulling fs layer
00e4e4796389: Waiting
4f4fb700ef54: Waiting
129e45669eb8: Waiting
647d925a412f: Waiting
7ba3bfbd9873: Pulling fs layer
1b912b1a1578: Waiting
65199b3c7891: Waiting
6c7714606bd9: Pulling fs layer
94fdcfbdce65: Waiting
def206af6885: Waiting
59712942e077: Waiting
324c24144cd4: Pulling fs layer
11fefbebe790: Pulling fs layer
3fd9b8c2eec7: Waiting
29c091031b05: Pulling fs layer
b4b6acc879cc: Waiting
b973c8dd5719: Pulling fs layer
51021f312c90: Waiting
666244ce9816: Pulling fs layer
9946631218b2: Waiting
24d4b6150ff2: Pulling fs layer
d12f40b8de0d: Waiting
d1dc23bc5565: Waiting
af5f36239bf9: Waiting
b773135820ae: Waiting
324c24144cd4: Waiting
6c7714606bd9: Waiting
24d4b6150ff2: Waiting
b973c8dd5719: Waiting
5b16855ffe61: Waiting
29c091031b05: Waiting
666244ce9816: Waiting
011c829509ed: Verifying Checksum
011c829509ed: Download complete
18acc7c806c7: Verifying Checksum
18acc7c806c7: Download complete
1b912b1a1578: Verifying Checksum
1b912b1a1578: Download complete
612000e0c93c: Verifying Checksum
612000e0c93c: Download complete
0312dec21394: Verifying Checksum
0312dec21394: Download complete
f1efdf8d99a0: Verifying Checksum
f1efdf8d99a0: Download complete
f257cc83426a: Verifying Checksum
f257cc83426a: Download complete
f7682e72556e: Verifying Checksum
f7682e72556e: Download complete
99887c137b1d: Verifying Checksum
99887c137b1d: Download complete
b02594e72f42: Verifying Checksum
b02594e72f42: Download complete
3ff9727a447f: Verifying Checksum
3ff9727a447f: Download complete
94fdcfbdce65: Verifying Checksum
94fdcfbdce65: Download complete
00e4e4796389: Download complete
b9e0ec76e503: Download complete
b773135820ae: Verifying Checksum
b773135820ae: Download complete
7a38474fea59: Verifying Checksum
7a38474fea59: Download complete
80b7316254b3: Verifying Checksum
80b7316254b3: Download complete
78f4afb4bda6: Download complete
b74a1d7581de: Verifying Checksum
b74a1d7581de: Download complete
8e0e72d49821: Verifying Checksum
8e0e72d49821: Download complete
af5f36239bf9: Download complete
4f4fb700ef54: Download complete
5b16855ffe61: Download complete
129e45669eb8: Download complete
647d925a412f: Download complete
def206af6885: Download complete
65199b3c7891: Verifying Checksum
65199b3c7891: Download complete
f67fa288c6b4: Verifying Checksum
f67fa288c6b4: Download complete
561160899db3: Verifying Checksum
561160899db3: Download complete
d12f40b8de0d: Download complete
59712942e077: Verifying Checksum
59712942e077: Download complete
3fd9b8c2eec7: Verifying Checksum
3fd9b8c2eec7: Download complete
9946631218b2: Verifying Checksum
9946631218b2: Download complete
b4b6acc879cc: Download complete
d1dc23bc5565: Verifying Checksum
d1dc23bc5565: Download complete
6c7714606bd9: Download complete
324c24144cd4: Verifying Checksum
324c24144cd4: Download complete
80b7316254b3: Pull complete
18acc7c806c7: Pull complete
011c829509ed: Pull complete
11fefbebe790: Verifying Checksum
11fefbebe790: Download complete
612000e0c93c: Pull complete
1b912b1a1578: Pull complete
51021f312c90: Verifying Checksum
51021f312c90: Download complete
b973c8dd5719: Verifying Checksum
b973c8dd5719: Download complete
666244ce9816: Download complete
7ba3bfbd9873: Verifying Checksum
7ba3bfbd9873: Download complete
24d4b6150ff2: Download complete
29c091031b05: Verifying Checksum
29c091031b05: Download complete
94fdcfbdce65: Pull complete
0312dec21394: Pull complete
f1efdf8d99a0: Pull complete
f257cc83426a: Pull complete
f7682e72556e: Pull complete
99887c137b1d: Pull complete
b02594e72f42: Pull complete
3ff9727a447f: Pull complete
00e4e4796389: Pull complete
b9e0ec76e503: Pull complete
b773135820ae: Pull complete
7a38474fea59: Pull complete
78f4afb4bda6: Pull complete
b74a1d7581de: Pull complete
8e0e72d49821: Pull complete
af5f36239bf9: Pull complete
4f4fb700ef54: Pull complete
129e45669eb8: Pull complete
5b16855ffe61: Pull complete
647d925a412f: Pull complete
65199b3c7891: Pull complete
def206af6885: Pull complete
f67fa288c6b4: Pull complete
561160899db3: Pull complete
d12f40b8de0d: Pull complete
59712942e077: Pull complete
3fd9b8c2eec7: Pull complete
9946631218b2: Pull complete
b4b6acc879cc: Pull complete
51021f312c90: Pull complete
d1dc23bc5565: Pull complete
7ba3bfbd9873: Pull complete
6c7714606bd9: Pull complete
324c24144cd4: Pull complete
11fefbebe790: Pull complete
29c091031b05: Pull complete
b973c8dd5719: Pull complete
666244ce9816: Pull complete
24d4b6150ff2: Pull complete
Digest: sha256:7c2b2178dbcf4122610149df39c8b30360f2907e143f37ac3970eef6e36bcb58
Status: Downloaded newer image for ocaml/opam:debian-13-ocaml-4.14
2025-09-13 12:01.35 ---> saved as "2872d40d55f240e0a2da70ebf7596d35808f9b322f6ba106c5bc21f37bed29fd"
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2025-09-13 12:01.36 ---> saved as "5cb26c4c89f19cf8882a86430bc6e7246ec7d2b4dc9c4381e0b364e87efbcbf7"
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam && opam update"))
Continue? [Y/n] y
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.
[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
2025-09-13 12:01.57 ---> saved as "10de7b0709f46eb6ef5732e5c8e2c2938b4ac5c4831018ebe31c4c01b7a353ad"
/home/opam: (run (network host)
(shell "opam repo add opam https://github.com/ocaml/opam-repository.git#bcac5d17315c7dd28b93a43f52e43d98094b72ec"))
[opam] Initialised
[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.
2025-09-13 12:02.06 ---> saved as "358b3d82215c18278aefd831567f152a5838c9ee66ae30bee404e3270b7ef935"
/home/opam: (run (cache (download-cache (target /home/opam/.opam/download-cache)))
(network host)
(shell "sudo apt-get update && opam install -y \"mirage>=4\""))
Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
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 trixie/main amd64 Packages [9669 kB]
Get:5 http://deb.debian.org/debian trixie-updates/main amd64 Packages.diff/Index [2713 B]
Err:5 http://deb.debian.org/debian trixie-updates/main amd64 Packages.diff/Index
Need 5956 compressed bytes, but limit is 5412 and original is 5412
Get:6 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [40.0 kB]
Get:5 http://deb.debian.org/debian trixie-updates/main amd64 Packages.diff/Index [2713 B]
Ign:5 http://deb.debian.org/debian trixie-updates/main amd64 Packages.diff/Index
Get:7 http://deb.debian.org/debian trixie-updates/main amd64 Packages [5412 B]
Fetched 9948 kB in 1s (10.4 MB/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.1 [required by emile]
- install bigstringaf 0.10.0 [required by emile]
- install bos 0.2.1 [required by mirage]
- install cmdliner 1.3.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.4.1 [required by ipaddr]
- install dune 3.20.2 [required by mirage]
- install dune-configurator 3.20.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.1 [required by mirage]
- install logs 0.9.0 [required by mirage]
- install macaddr 5.6.1 [required by ipaddr]
- install mirage 4.10.1
- 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.0 [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 ... 20616 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) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved base64.3.5.1 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> installed conf-pkg-config.4
-> retrieved bos.0.2.1 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved domain-name.0.4.1 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved emile.1.1 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved ipaddr.5.6.1, macaddr.5.6.1 (cached)
-> retrieved logs.0.9.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved mirage.4.10.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.0 (cached)
-> retrieved uri.4.4.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved dune.3.20.2, dune-configurator.3.20.2 (cached)
-> retrieved opam-monorepo.0.4.3 (cached)
-> installed cmdliner.1.3.0
-> installed ocamlbuild.0.16.1
-> installed ocamlfind.1.9.8
-> installed topkg.1.1.0
-> 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.9.0
-> installed bos.0.2.1
-> installed dune.3.20.2
-> installed base64.3.5.1
-> installed csexp.1.5.2
-> installed domain-name.0.4.1
-> installed macaddr.5.6.1
-> installed ocaml-syntax-shims.1.0.0
-> installed pecu.0.7
-> installed stringext.1.6.0
-> installed ipaddr.5.6.1
-> installed dune-configurator.3.20.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.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-09-13 12:02.50 ---> saved as "c709b1696731f0ecc07843b05646f7fa1671b0d611fae7e52f86038e17005a09"
/home/opam: (copy (src .) (dst /src/))
2025-09-13 12:02.51 ---> saved as "3141dd2b146ae06c2d80c90c4391488a2fcd4896993025286e6a0afdb7699c42"
/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/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.232473 s, 220 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').
2025-09-13 12:03.03 ---> saved as "daa74dbfa28e94d510126f86f1965debf659117833badc14a3ad8c9b3f90971e"
/src/: (env MIRAGE_EXTRA_REPOS opam-overlays:https://github.com/dune-universe/opam-overlays.git#3320932b74afc1d049ceeaf60dfe501d664bb143,mirage-opam-overlays:https://github.com/dune-universe/mirage-opam-overlays.git#797cb363df3ff763c43c8fbec5cd44de2878757e)
/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 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.2 -l ./mirage.opam.locked
==> Using 23 locally scanned packages as the targets.
==> Found 152 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 98 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.
2025-09-13 12:03.19 ---> saved as "516bd1d920485c240bef7a77977f638d5328307dd94a7b2859dfa90fc6e5e8ad"
/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/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 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.2 [required by ocaml-solo5]
- install solo5 0.9.2 [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 ... 20653 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.2 (cached)
-> retrieved solo5.0.9.2 (cached)
-> installed conf-libseccomp.1
-> installed conf-which.1
-> installed ocaml-src.4.14.2
-> installed solo5.0.9.2
-> 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 ... 20697 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) ...
2025-09-13 12:04.33 ---> saved as "8dba19dfe88a9b79bb1aa50c2dd800369787fbe81e744a6366c856023bf28044"
/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.0.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.1 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.2 A simple library for bigstrings
ca-certs-nss 3.115 X.509 trust anchors extracted from Mozilla's NSS
charrua 2.1.0 DHCP wire frame encoder and decoder
charrua-server 2.1.0 DHCP server
checkseum 0.5.2 Adler-32, CRC32 and CRC32-C implementation in C and OCaml
cmdliner 1.3.0+dune pinned at https://github.com/dune-universe/cmdliner/releases/download/v1.3.0%2Bdune/cmdliner-1.3.0.dune.tbz
cmdliner-stdlib 1.0.1 A collection of cmdliner terms to control OCaml runtime parameters
cohttp 6.1.1 An OCaml library for HTTP clients and servers
cohttp-lwt 6.1.1 CoHTTP implementation using the Lwt concurrency library
cohttp-mirage 6.1.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.0 An opinionated Domain Name System (DNS) library
dns-client 10.2.0 DNS client API
dns-client-mirage 10.2.0 DNS client API for MirageOS
domain-name 0.4.1 RFC 1035 Internet domain names
dune-build-info 3.20.2 Embed build information inside executable
dune-configurator 3.20.2 Helper library for gathering system configuration
duration 0.2.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.1.1 Type definitions of HTTP essentials
httpun-types 0.2.0 Common HTTP/1.x types
hxd 0.3.4 Hexdump in OCaml
io-page 3.0.0 Support for efficient handling of I/O memory pages
ipaddr 5.6.1 A library for manipulation of IP (and MAC) address representations
ipaddr-cstruct 5.6.1 A library for manipulation of IP address representations using Cstructs
ipaddr-sexp 5.6.1 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.7.0+dune2 pinned at https://github.com/dune-universe/logs/releases/download/v0.7.0%2Bdune2/logs-0.7.0.dune2.tbz
lru 0.3.1 Scalable LRU caches
lwt 5.9.2 Promises and event-driven I/O
lwt-dllist 1.1.0 Mutable doubly-linked list with Lwt iterators
macaddr 5.6.1 A library for manipulation of MAC address representations
macaddr-cstruct 5.6.1 A library for manipulation of MAC address representations using Cstructs
magic-mime 1.3.1 Map filenames to common MIME types
menhir 20250903 An LR(1) parser generator
menhirCST 20250903 Runtime support library for parsers generated by Menhir
menhirLib 20250903 Runtime support library for parsers generated by Menhir
menhirSdk 20250903 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.0.2 Simple symmetric cryptography for the modern age
mirage-crypto-ec 2.0.2 Elliptic Curve Cryptography with primitives taken from Fiat
mirage-crypto-pk 2.0.2 Simple public-key cryptography for the modern age
mirage-crypto-rng 2.0.2 A cryptographically secure PRNG
mirage-crypto-rng-mirage 2.0.2 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.0 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.6 Network device for reading and writing Ethernet frames via then Xen netfront/netback protocol
mirage-ptime 5.1.0 Libraries and module types for portable clocks
mirage-runtime 4.10.1 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.0.0+dune pinned at https://github.com/dune-universe/mtime/releases/download/2.0.0%2Bdune/mtime-2.0.0.dune.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
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.13.2 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
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.2 Transport Layer Security purely in OCaml
tls-mirage 2.0.2 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.13+dune+mirage pinned at https://github.com/mirage/Zarith/releases/download/1.13%2Bdune%2Bmirage/zarith-1.13.dune.mirage.tbz
2025-09-13 12:04.44 ---> saved as "4a3abdc4a95d6b4305bde6287dffc3dd4556ac8c5ff55e823d6fdf5a3b4c7959"
/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 98/98 repositories
2025-09-13 12:04.47 ---> saved as "b65055412f7c4f6420a569f479baaa662d5bfb0ef9e8e7bd221d59bef2f2c3b1"
/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...
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_certificates.ml
Generating Static_certificates.mli
Generating Static_keys.ml
Generating Static_keys.mli
Generating Static_tls.ml
Generating Static_tls.mli
Generating Static_tls.ml
Generating Static_tls.mli
Read 99 sample input sentences and 99 error messages.
Read 99 sample input sentences and 47 error messages.
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 199 states.
The grammar is not SLR(1) -- 7 states have a conflict.
The construction mode is no-pager.
Built an LR(1) automaton with 308 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.
156 out of 308 states have a default reduction.
108 out of 308 states are represented.
44 out of 96 symbols keep track of their start position.
39 out of 96 symbols keep track of their end position.
The StackLang code contains 4113 instructions in 277 blocks.
The StackLang code comprises 5 mutually recursive groups.
Read 99 sample input sentences and 47 error messages.
./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)
2025-09-13 12:05.27 ---> saved as "fc0f9dc08e2e8743121328bd8756ad8515f5c33ef59c5babf3935d7bc3ef2058"
Job succeeded
2025-09-13 12:05.27: Job succeeded