Build:
- 0
2024-11-15 07:56.11: New job: Build using linux-x86_64 in
[https://github.com/mirage/mirage-skeleton.git#refs/heads/dev (fe66d947540de987f74bfe64307dcc74d4672b0e)]
OBuilder spec:
((from ocaml/opam:debian-10-ocaml-4.13)
(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.1 /usr/bin/opam && opam update"))
(run (network host)
(shell "opam repo add opam https://github.com/ocaml/opam-repository.git#c31c18de15e89738fc8f0a9a43ea240e9af44337"))
(run (network host)
(shell "opam repo add mirage-dev https://github.com/mirage/mirage-dev.git#eb114ccf0dd4eeca6b4f06c5c7361c238eeca4fd"))
(run (network host)
(shell "opam pin -ny https://github.com/mirage/mirage.git#c98a45939f798237e31044777cc2a045aa35fa3e"))
(run (cache (download-cache (target /home/opam/.opam/download-cache)))
(network host)
(shell "sudo apt-get update && opam install -y \"mirage>=4\""))
(copy (src .) (dst /src/))
(env MODE hvt)
(workdir /src/)
(run (shell "opam exec -- make configure"))
(env MIRAGE_EXTRA_REPOS opam-overlays:https://github.com/dune-universe/opam-overlays.git#f2bec38beca4aea9e481f2fd3ee319c519124649,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"))
)
2024-11-15 07:56.11: Using cache hint "mirage-ci-skeleton-debian-10-ocaml-4.13"
2024-11-15 07:56.11: Waiting for resource in pool OCluster
2024-11-15 07:56.11: Waiting for worker…
2024-11-15 07:56.12: Got resource from pool OCluster
Building on x86-bm-c17.sw.ocaml.org
All commits already cached
HEAD is now at fe66d94 move runtime arguments out of config.ml (#405)
(from ocaml/opam:debian-10-ocaml-4.13)
Unable to find image 'ocaml/opam:debian-10-ocaml-4.13' locally
debian-10-ocaml-4.13: Pulling from ocaml/opam
001f4bc5648b: Pulling fs layer
001f4bc5648b: Verifying Checksum
001f4bc5648b: Download complete
001f4bc5648b: Pull complete
Digest: sha256:cabcf74cf3e535c4d7a95594050f189e8d2cd6bad3941f843a6783746fcc8bb1
Status: Downloaded newer image for ocaml/opam:debian-10-ocaml-4.13
2024-11-15 07:58.02 ---> saved as "cbba9511e46ef57631453d5b88aeed1ed6de6fa87b6f0dcb3da9328657d73fa4"
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2024-11-15 07:58.02 ---> saved as "54342da51d0603a14f6ba9989f4252ffa31f1ca13e80c1d45d63e53fc9e80646"
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.1 /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.1, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
Format upgrade done.
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-11-15 07:59.34 ---> saved as "3ddb42a6e856d7c2c5e614451b958647e474c5a4c98a94c3cc6a5e11dd914645"
/home/opam: (run (network host)
(shell "opam repo add opam https://github.com/ocaml/opam-repository.git#c31c18de15e89738fc8f0a9a43ea240e9af44337"))
[opam] Initialised
[NOTE] Repository opam has been added to the selections of switch 4.13 only.
Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.
2024-11-15 08:00.59 ---> saved as "3f081f6b9d76f750d0d532d1daacdda7a2e7c0024d55a960c69ad20c27e312eb"
/home/opam: (run (network host)
(shell "opam repo add mirage-dev https://github.com/mirage/mirage-dev.git#eb114ccf0dd4eeca6b4f06c5c7361c238eeca4fd"))
[mirage-dev] Initialised
[NOTE] Repository mirage-dev has been added to the selections of switch 4.13 only.
Run `opam repository add mirage-dev --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.
2024-11-15 08:01.03 ---> saved as "cd192c7e526f9117652d315318de6540512e375db697848dc70728a54b2b6145"
/home/opam: (run (network host)
(shell "opam pin -ny https://github.com/mirage/mirage.git#c98a45939f798237e31044777cc2a045aa35fa3e"))
This will pin the following packages: mirage-runtime, mirage. Continue? [Y/n] y
mirage-runtime is now pinned to git+https://github.com/mirage/mirage.git#c98a45939f798237e31044777cc2a045aa35fa3e (version 4.8.1)
mirage is now pinned to git+https://github.com/mirage/mirage.git#c98a45939f798237e31044777cc2a045aa35fa3e (version 4.8.1)
2024-11-15 08:01.13 ---> saved as "5ba19bac2034db0c6210a1df638c18ba1ea1d0de85edf41d7a036b4600397e2c"
/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 buster InRelease
Get:2 http://deb.debian.org/debian-security buster/updates InRelease [34.8 kB]
Hit:3 http://deb.debian.org/debian buster-updates InRelease
Get:4 http://deb.debian.org/debian-security buster/updates/main amd64 Packages [610 kB]
Fetched 645 kB in 0s (1570 kB/s)
Reading package lists...
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[mirage.4.8.1] synchronised (no changes)
The following actions will be performed:
- install conf-pkg-config 3 [required by opam-monorepo]
- install ocamlbuild 0.15.0 [required by astring, bos]
- install ocamlfind 1.9.6 [required by astring, bos]
- install cmdliner 1.3.0 [required by mirage]
- install dune 3.16.1 [required by mirage]
- install topkg 1.0.7 [required by astring, bos]
- install stringext 1.6.0 [required by uri]
- install pecu 0.7 [required by emile]
- install opam-monorepo 0.4.0 [required by mirage]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install macaddr 5.6.0 [required by ipaddr]
- install domain-name 0.4.0 [required by ipaddr]
- install csexp 1.5.2 [required by dune-configurator]
- install base64 3.5.1 [required by emile]
- install uutf 1.0.3 [required by emile]
- install rresult 0.7.0 [required by mirage]
- install fmt 0.9.0 [required by mirage]
- install astring 0.8.5 [required by mirage]
- install ipaddr 5.6.0 [required by mirage]
- install dune-configurator 3.16.1 [required by bigstringaf]
- install logs 0.7.0 [required by mirage]
- install fpath 0.7.3 [required by mirage]
- install bigstringaf 0.10.0 [required by emile]
- install bos 0.2.1 [required by mirage]
- install angstrom 0.16.1 [required by emile, uri]
- install uri 4.4.0 [required by mirage]
- install emile 1.1 [required by mirage]
- install mirage 4.8.1*
===== 28 to install =====
The following system packages will first need to be installed:
pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libicu63: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 ... 17361 files and directories currently installed.)
- Preparing to unpack .../0-libicu63_63.1-6+deb10u3_amd64.deb ...
- Unpacking libicu63:amd64 (63.1-6+deb10u3) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../1-libxml2_2.9.4+dfsg1-7+deb10u6_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.4+dfsg1-7+deb10u6) ...
- Selecting previously unselected package libglib2.0-0:amd64.
- Preparing to unpack .../2-libglib2.0-0_2.58.3-2+deb10u6_amd64.deb ...
- Unpacking libglib2.0-0:amd64 (2.58.3-2+deb10u6) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../3-libglib2.0-data_2.58.3-2+deb10u6_all.deb ...
- Unpacking libglib2.0-data (2.58.3-2+deb10u6) ...
- Selecting previously unselected package pkg-config.
- Preparing to unpack .../4-pkg-config_0.29-6_amd64.deb ...
- Unpacking pkg-config (0.29-6) ...
- Selecting previously unselected package shared-mime-info.
- Preparing to unpack .../5-shared-mime-info_1.10-1_amd64.deb ...
- Unpacking shared-mime-info (1.10-1) ...
- Selecting previously unselected package xdg-user-dirs.
- Preparing to unpack .../6-xdg-user-dirs_0.17-2_amd64.deb ...
- Unpacking xdg-user-dirs (0.17-2) ...
- Setting up xdg-user-dirs (0.17-2) ...
- Setting up libglib2.0-0:amd64 (2.58.3-2+deb10u6) ...
- No schema files found: doing nothing.
- Setting up libicu63:amd64 (63.1-6+deb10u3) ...
- Setting up libglib2.0-data (2.58.3-2+deb10u6) ...
- Setting up pkg-config (0.29-6) ...
- Setting up libxml2:amd64 (2.9.4+dfsg1-7+deb10u6) ...
- Setting up shared-mime-info (1.10-1) ...
- Processing triggers for libc-bin (2.28-10+deb10u3) ...
<><> 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)
-> retrieved bos.0.2.1 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> installed conf-pkg-config.3
-> retrieved domain-name.0.4.0 (cached)
-> retrieved emile.1.1 (cached)
-> retrieved fmt.0.9.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved ipaddr.5.6.0 (cached)
-> retrieved logs.0.7.0 (cached)
-> retrieved macaddr.5.6.0 (cached)
-> retrieved mirage.4.8.1 (no changes)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved dune-configurator.3.16.1 (cached)
-> retrieved dune.3.16.1 (cached)
-> retrieved ocamlbuild.0.15.0 (cached)
-> retrieved ocamlfind.1.9.6 (cached)
-> retrieved pecu.0.7 (cached)
-> retrieved rresult.0.7.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved topkg.1.0.7 (cached)
-> retrieved uri.4.4.0 (cached)
-> retrieved uutf.1.0.3 (cached)
-> retrieved opam-monorepo.0.4.0 (cached)
-> installed cmdliner.1.3.0
-> installed ocamlfind.1.9.6
-> installed ocamlbuild.0.15.0
-> installed topkg.1.0.7
-> installed rresult.0.7.0
-> installed uutf.1.0.3
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed fpath.0.7.3
-> installed logs.0.7.0
-> installed bos.0.2.1
-> installed dune.3.16.1
-> installed base64.3.5.1
-> installed csexp.1.5.2
-> installed domain-name.0.4.0
-> installed macaddr.5.6.0
-> installed pecu.0.7
-> installed stringext.1.6.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ipaddr.5.6.0
-> installed dune-configurator.3.16.1
-> installed bigstringaf.0.10.0
-> installed angstrom.0.16.1
-> installed emile.1.1
-> installed uri.4.4.0
-> installed opam-monorepo.0.4.0
-> installed mirage.4.8.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-11-15 08:03.21 ---> saved as "d3603be1c352eb1bed82427e0318ad414dc915fb33b848a9e279d1fa4e58634e"
/home/opam: (copy (src .) (dst /src/))
2024-11-15 08:03.22 ---> saved as "278edffdd75ca741e86b3454bbb9b4a0da1dc38955737ada1e06fa2054227688"
/home/opam: (env MODE hvt)
/home/opam: (workdir /src/)
/src/: (run (shell "opam exec -- make configure"))
mirage configure -f tutorial/noop/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f tutorial/hello/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f tutorial/hello-key/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f tutorial/lwt/echo_server/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f tutorial/lwt/heads1/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f tutorial/lwt/heads2/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f tutorial/lwt/timeout1/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f tutorial/lwt/timeout2/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f tutorial/app_info/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f device-usage/clock/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f device-usage/conduit_server/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f device-usage/http-fetch/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f device-usage/kv_ro/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f device-usage/network/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f device-usage/ping6/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f device-usage/disk-lottery/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f applications/dhcp/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f applications/http/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f applications/git/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f applications/dns/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f applications/crypto/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
mirage configure -f applications/static_website_tls/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
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.194193 s, 264 MB/s
mirage configure -f device-usage/block/config.ml -t hvt
mirage: [WARNING] Skipping version check, since our_version ("4.8.1-8-gc98a459") fails to parse: only digits and . allowed in version
2024-11-15 08:03.35 ---> saved as "090929a8915875bb2d303dea54d3c84cb0bde29a54e8e86cd6e9822bf66de961"
/src/: (env MIRAGE_EXTRA_REPOS opam-overlays:https://github.com/dune-universe/opam-overlays.git#f2bec38beca4aea9e481f2fd3ee319c519124649,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.13 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.13 only.
Run `opam repository add mirage-opam-overlays --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.
env OPAMVAR_monorepo="opam-monorepo" opam monorepo lock --recurse-opam noop-hvt hello-hvt hello-key-hvt echo_server-hvt heads1-hvt heads2-hvt timeout1-hvt timeout2-hvt echo_server-hvt app-info-hvt speaking_clock-hvt conduit_server-hvt http-fetch-hvt kv_ro-hvt network-hvt ping-hvt lottery-hvt dhcp-hvt minipaf-hvt minigit-hvt resolve-hvt crypto-test-hvt https-hvt block_test-hvt --build-only --ocaml-version 4.13.1 -l ./mirage.opam.locked
==> Using 23 locally scanned packages as the targets.
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-cc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-cc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-libc"
[WARNING] Unknown variable "sys-ocaml-cc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-libc"
[WARNING] Unknown variable "sys-ocaml-cc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-libc"
[WARNING] Unknown variable "sys-ocaml-cc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-libc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-cc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-libc"
[WARNING] Unknown variable "sys-ocaml-cc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-cc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-cc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-libc"
[WARNING] Unknown variable "sys-ocaml-cc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-libc"
[WARNING] Unknown variable "sys-ocaml-cc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-libc"
[WARNING] Unknown variable "sys-ocaml-cc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-libc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-cc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-libc"
[WARNING] Unknown variable "sys-ocaml-cc"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "sys-ocaml-arch"
[WARNING] Unknown variable "with-dev-setup"
==> Found 166 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 107 entries to mirage.opam.locked. You can now run opam monorepo pull to fetch their sources.
Repositories removed from the selections of switch 4.13. Use '--all' to forget about them altogether.
Repositories removed from the selections of switch 4.13. Use '--all' to forget about them altogether.
2024-11-15 08:04.34 ---> saved as "0a25dc2530322634a3d678ec967532fbe756a2c16e4419e164cd1ec77066e8cc"
/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 buster InRelease
Hit:2 http://deb.debian.org/debian-security buster/updates InRelease
Hit:3 http://deb.debian.org/debian buster-updates InRelease
Reading package lists...
opam install tutorial/noop/mirage/*.opam tutorial/hello/mirage/*.opam tutorial/hello-key/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/git/mirage/*.opam applications/dns/mirage/*.opam applications/crypto/mirage/*.opam applications/static_website_tls/mirage/*.opam device-usage/block/mirage/*.opam --deps-only --yes
The following actions will be performed:
- install conf-libseccomp 1
- install ocaml-src 4.13.1
- install conf-which 1
- install solo5 0.9.0
- install ocaml-solo5 0.8.4
===== 5 to install =====
The following system packages will first need to be installed:
libseccomp-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libseccomp-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- 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 ... 17752 files and directories currently installed.)
- Preparing to unpack .../libseccomp-dev_2.3.3-4_amd64.deb ...
- Unpacking libseccomp-dev:amd64 (2.3.3-4) ...
- Setting up libseccomp-dev:amd64 (2.3.3-4) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-solo5.0.8.4 (cached)
-> retrieved ocaml-src.4.13.1 (cached)
-> retrieved solo5.0.9.0 (cached)
-> installed ocaml-src.4.13.1
-> installed conf-libseccomp.1
-> installed conf-which.1
-> installed solo5.0.9.0
-> installed ocaml-solo5.0.8.4
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"
- debconf: delaying package configuration, since apt-utils is not installed
- 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 ... 17785 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.1.2+dfsg-4+deb10u1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.1.2+dfsg-4+deb10u1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.1.2+dfsg-4+deb10u1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.1.2+dfsg-4+deb10u1) ...
- Selecting previously unselected package libsigsegv2:amd64.
- Preparing to unpack .../libsigsegv2_2.12-2_amd64.deb ...
- Unpacking libsigsegv2:amd64 (2.12-2) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../archives/m4_1.4.18-2_amd64.deb ...
- Unpacking m4 (1.4.18-2) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.1.2+dfsg-4+deb10u1) ...
- Setting up libsigsegv2:amd64 (2.12-2) ...
- Setting up libgmp-dev:amd64 (2:6.1.2+dfsg-4+deb10u1) ...
- Setting up m4 (1.4.18-2) ...
- Processing triggers for libc-bin (2.28-10+deb10u3) ...
2024-11-15 08:07.24 ---> saved as "41b76874e7ec0f3bf6d0237618aac062a2b32aa26c457f4feaba10023409b2cb"
/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 3.1.1 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
awa 0.4.0 SSH implementation in OCaml
awa-mirage 0.4.0 SSH implementation in OCaml
base v0.15.1 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
ca-certs-nss 3.104 X.509 trust anchors extracted from Mozilla's NSS
carton 0.7.2 Implementation of PACKv2 file in OCaml
carton-git 0.7.2 Implementation of PACK file in OCaml
carton-lwt 0.7.2 Implementation of PACK file in OCaml
charrua 1.5.0 DHCP wire frame encoder and decoder
charrua-server 1.5.0 DHCP server
checkseum 0.5.2 Adler-32, CRC32 and CRC32-C implementation in C and OCaml
cmdliner 1.2.0+dune pinned at https://github.com/dune-universe/cmdliner/releases/download/v1.2.0%2Bdune/cmdliner-1.2.0.dune.tbz
cmdliner-stdlib 1.0.1 A collection of cmdliner terms to control OCaml runtime parameters
cohttp 5.3.0 An OCaml library for HTTP clients and servers
cohttp-lwt 5.3.0 CoHTTP implementation using the Lwt concurrency library
cohttp-mirage 5.3.0 CoHTTP implementation for the MirageOS unikernel
conduit 7.1.0 A network connection establishment library
conduit-lwt 7.1.0 A portable network connection establishment library using Lwt
conduit-mirage 7.1.0 A network connection establishment library for MirageOS
cppo 1.7.0 Code preprocessor like cpp for OCaml
crunch 3.3.1 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
cstruct-unix 6.2.0 Access C-like structures directly from OCaml
decompress 1.5.3 Implementation of Zlib and GZip in OCaml
digestif 1.2.0 Hashes implementations (SHA*, RIPEMD160, BLAKE2* and MD5)
dns 9.1.0 An opinionated Domain Name System (DNS) library
dns-client 9.1.0 DNS client API
dns-client-mirage 9.1.0 DNS client API for MirageOS
domain-name 0.4.0 RFC 1035 Internet domain names
duff 0.5 Rabin's fingerprint and diff algorithm in OCaml
dune-build-info 3.16.1 Embed build information inside executable
dune-configurator 3.16.1 Helper library for gathering system configuration
duration 0.2.1 Conversions to various time units
emile 1.1 Parser of email address according RFC822
encore 0.8 Library to generate encoder/decoder which ensure isomorphism
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
fmt 0.9.0+dune pinned at https://github.com/dune-universe/fmt/releases/download/v0.9.0%2Bdune/fmt-0.9.0.dune.tbz
fpath 0.7.3+dune pinned at https://github.com/dune-universe/fpath/archive/v0.7.3+dune.tar.gz
git 3.17.0 Git format and protocol in pure OCaml
git-mirage 3.17.0 A package to use ocaml-git with MirageOS backend
git-paf 3.17.0 A package to use HTTP-based ocaml-git with MirageOS backend
gmap 0.3.0 Heterogenous maps over a GADT
gmp 6.2.1-5 The GNU Multiple Precision Arithmetic Library
h2 0.13.0 A high-performance, memory-efficient, and scalable HTTP/2 library for OCaml
happy-eyeballs 1.2.2 Connecting to a remote host via IP version 4 or 6
happy-eyeballs-mirage 1.2.2 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
httpaf 0.7.1 A high-performance, memory-efficient, and scalable web server for OCaml
httpun-types 0.2.0 Common HTTP/1.x types
hxd 0.3.2 Hexdump in OCaml
io-page 3.0.0 Support for efficient handling of I/O memory pages
ipaddr 5.6.0 A library for manipulation of IP (and MAC) address representations
ipaddr-cstruct 5.6.0 A library for manipulation of IP address representations using Cstructs
ipaddr-sexp 5.6.0 A library for manipulation of IP address representations using sexp
jsonm 1.0.1+dune pinned at https://github.com/dune-universe/jsonm/archive/v1.0.1+dune.tar.gz
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.8.0 Promises and event-driven I/O
lwt-dllist 1.0.1 Mutable doubly-linked list with Lwt iterators
macaddr 5.6.0 A library for manipulation of MAC address representations
macaddr-cstruct 5.6.0 A library for manipulation of MAC address representations using Cstructs
macaddr-sexp 5.6.0 A library for manipulation of MAC address representations using sexp
magic-mime 1.3.1 Map filenames to common MIME types
menhir 20240715 An LR(1) parser generator
menhirCST 20240715 Runtime support library for parsers generated by Menhir
menhirLib 20240715 Runtime support library for parsers generated by Menhir
menhirSdk 20240715 Compile-time library for auxiliary tools related to Menhir
metrics 0.4.1 Metrics infrastructure for OCaml
metrics-lwt 0.4.1 Lwt backend for the Metrics library
mimic 0.0.9 A simple protocol dispatcher
mimic-happy-eyeballs 0.0.9 A happy-eyeballs integration into mimic
mirage-block 3.0.2 Block signatures and implementations for MirageOS
mirage-block-solo5 0.8.1 Solo5 implementation of MirageOS block interface
mirage-bootvar 1.0.1 Boot time arguments for MirageOS
mirage-channel 4.1.0 Buffered channels for MirageOS FLOW types
mirage-clock 4.2.0 Libraries and module types for portable clocks
mirage-clock-solo5 4.2.0 Paravirtual implementation of the MirageOS Clock interface
mirage-clock-unix 4.2.0 Unix-based implementation for the MirageOS Clock interface
mirage-crypto 1.1.0 Simple symmetric cryptography for the modern age
mirage-crypto-ec 1.1.0 Elliptic Curve Cryptography with primitives taken from Fiat
mirage-crypto-pk 1.1.0 Simple public-key cryptography for the modern age
mirage-crypto-rng 1.1.0 A cryptographically secure PRNG
mirage-crypto-rng-mirage 1.1.0 Entropy collection for a cryptographically secure PRNG
mirage-flow 4.0.2 Flow implementations and combinators for MirageOS
mirage-flow-combinators 4.0.2 Flow implementations and combinators for MirageOS specialized to lwt
mirage-kv 6.1.1 MirageOS signatures for key/value devices
mirage-kv-mem 3.2.1 In-memory key value store for MirageOS
mirage-logs 2.1.0 A reporter for the Logs library that writes log messages to stderr, using a Mirage `CLOCK` to add timestamps
mirage-net 4.0.0 Network signatures for MirageOS
mirage-net-solo5 0.8.0 Solo5 implementation of MirageOS network interface
mirage-runtime 4.8.1 pinned at git+https://github.com/mirage/mirage.git#c98a45939f798237e31044777cc2a045aa35fa3e
mirage-solo5 0.9.4 Solo5 core platform libraries for MirageOS
mirage-time 3.0.0 Time operations 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
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
ocamlgraph 2.1.0 A generic graph library for OCaml
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
paf 0.7.0 HTTP/AF and MirageOS
parsexp v0.15.0 S-expression parsing library
pecu 0.7 Encoder/Decoder of Quoted-Printable (RFC2045 & RFC2047)
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.15.1 [@@deriving] plugin to generate S-expression conversion functions
ppxlib 0.33.0 Standard infrastructure for ppx rewriters
psq 0.2.1 Functional Priority Search Queues
ptime 1.1.0+dune pinned at https://github.com/dune-universe/ptime/releases/download/v1.1.0%2Bdune/ptime-1.1.0.dune.tbz
randomconv 0.2.0 Convert from random byte vectors (int -> string) to random native numbers
re 1.12.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.15.1 Library for serializing OCaml values to and from S-expressions
sexplib0 v0.15.1 Library containing the definition of S-expressions and some base converters
stdlib-shims 0.3.0 Backport some of the new stdlib features to older compiler
stringext 1.6.0 Extra string functions for OCaml
tcpip 8.2.0 OCaml TCP/IP networking stack, used in MirageOS
tls 1.0.4 Transport Layer Security purely in OCaml
tls-mirage 1.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
uutf 1.0.3+dune pinned at https://github.com/dune-universe/uutf/releases/download/v1.0.3%2Bdune/uutf-1.0.3.dune.tbz
vchan 6.0.2 Xen Vchan implementation
x509 1.0.5 Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml
xenstore 2.3.0 Xenstore protocol in pure OCaml
xenstore_transport 1.3.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
2024-11-15 08:08.22 ---> saved as "f0622d58409f226bc1c4eee60d1264ae9dee71c16a1d02af2f433a2f921af120"
/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 107/107 repositories
2024-11-15 08:09.09 ---> saved as "2bfb928f89253500f572b77fa95bb92abdd5784126f99e25800fd93b69308863"
/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
make[1]: Entering directory '/src/_build/solo5/duniverse/mirage-solo5/lib/bindings'
ocamlfind -toolchain solo5 ocamlopt -c -o clock_stubs.o clock_stubs.c
ocamlfind -toolchain solo5 ocamlopt -c -o mm_stubs.o mm_stubs.c
ocamlfind -toolchain solo5 ocamlopt -c -o main.o main.c
ar r libmirage-solo5_bindings.a clock_stubs.o mm_stubs.o main.o
make[1]: Leaving directory '/src/_build/solo5/duniverse/mirage-solo5/lib/bindings'
ar: creating libmirage-solo5_bindings.a
Creating menhirLib.ml...
Creating menhirLib.mli...
Generating Static_htdocs.ml
Generating Static_htdocs.mli
Generating Static_keys.ml
Generating Static_keys.mli
Generating Static_tls.ml
Generating Static_tls.mli
Generating Static_htdocs.ml
Generating Static_htdocs.mli
Generating Static_tls.ml
Generating Static_tls.mli
Generating Static_t.ml
Generating Static_t.mli
Generating Static_t.ml
Generating Static_t.mli
Generating Static_certificates.ml
Generating Static_certificates.mli
Generating Static_certificates.ml
Generating Static_certificates.mli
Generating Static_keys.ml
Generating Static_keys.mli
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: 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
./configure: line 14291: /usr/bin/file: No such file or directory
binary ocaml: found in /home/opam/.opam/4.13/bin
binary ocamlc: found in /home/opam/.opam/4.13/bin
binary ocamldep: found in /home/opam/.opam/4.13/bin
binary ocamlmklib: found in /home/opam/.opam/4.13/bin
binary ocamldoc: found in /home/opam/.opam/4.13/bin
binary x86_64-solo5-none-static-cc: found in /home/opam/.opam/4.13/bin
binary ocamlopt: found in /home/opam/.opam/4.13/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.13/bin
OCaml's word size is 64
include gmp.h: found
library 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.13/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.13/lib
installation method findlib
configuration successful!
now type "make" to build
then type "make install" or "sudo make install" to install
binary ocaml: found in /home/opam/.opam/4.13/bin
binary ocamlc: found in /home/opam/.opam/4.13/bin
binary ocamldep: found in /home/opam/.opam/4.13/bin
binary ocamlmklib: found in /home/opam/.opam/4.13/bin
binary ocamldoc: found in /home/opam/.opam/4.13/bin
binary gcc: found in /usr/bin
binary ocamlopt: found in /home/opam/.opam/4.13/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.13/bin
OCaml's word size is 64
include gmp.h: found
library 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.13/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.13/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 "Explicitly Distrust DigiNotar Root CA" (serial 02100fffffffffffffffffffffffffffffff)
2024-11-15 08:11.59 ---> saved as "0a501f5803bc2eaea43e3443b9b220948decf92bab647ec1931b54af8359d3bf"
Job succeeded
2024-11-15 08:11.59: Job succeeded