Build:
- 0
2024-01-29 15:17.02: New job: Voodoo prep kind2.1.7.0; e3d8192a7789df465247499d7f94920c 2024-01-29 15:17.02: Connecting to build cluster… 2024-01-29 15:17.02: Waiting for resource in pool OCluster 2024-01-29 15:46.46: Waiting for worker… 2024-01-29 15:48.11: Got resource from pool OCluster 2024-01-29 15:48.11: Using cache hint "docs-universe-prep-5.1.0" To reproduce locally: cat > prep.spec <<'END-OF-SPEC' ((build tools ((from ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")))) (from ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (shell "sudo mkdir /src")) (copy (src packages) (dst /src/packages)) (copy (src repo) (dst /src/repo)) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) (run (shell "opam repo remove default && opam repo add opam /src")) (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.13.0")) (env DUNE_CACHE enabled) (env DUNE_CACHE_TRANSPORT direct) (env DUNE_CACHE_DUPLICATION copy) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy kind2.1.7.0 zmq.5.2.2 yojson.2.1.2 seq.base num.1.5 menhirSdk.20231231 menhirLib.20231231 menhirCST.20231231 menhir.20231231 dune-configurator.3.13.0 dune-build-info.3.13.0 dune.3.13.0 csexp.1.5.2 cppo.1.6.9 conf-zmq.0.1 conf-pkg-config.3 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u kind2:e3d8192a7789df465247499d7f94920c")) (run (network host) (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config))) (shell "(echo '0.618870') && (for DATA in prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0,kind2.1.7.0-e3d8192a7789df465247499d7f94920c,kind2.1.7.0; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/* && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0,kind2.1.7.0-e3d8192a7789df465247499d7f94920c,kind2.1.7.0; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0,kind2.1.7.0-e3d8192a7789df465247499d7f94920c,kind2.1.7.0; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) ) END-OF-SPEC ocluster-client submit-obuilder https://github.com/ocaml/opam-repository.git 9fc3fa05d7b0bd182f65b5988f8caf2647c8f3fe --local-file prep.spec \ --pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-prep-5.1.0 \ --secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config 2024-01-29 15:48.11: RETRYING: 2024-01-29/151702-voodoo-prep-1d6ff8 Number of retries: 0 (retriable error condition) Building on toxis.caelum.ci.dev All commits already cached Updating files: 65% (21485/32633) Updating files: 66% (21538/32633) Updating files: 67% (21865/32633) Updating files: 68% (22191/32633) Updating files: 69% (22517/32633) Updating files: 70% (22844/32633) Updating files: 71% (23170/32633) Updating files: 72% (23496/32633) Updating files: 73% (23823/32633) Updating files: 74% (24149/32633) Updating files: 75% (24475/32633) Updating files: 76% (24802/32633) Updating files: 77% (25128/32633) Updating files: 78% (25454/32633) Updating files: 79% (25781/32633) Updating files: 80% (26107/32633) Updating files: 81% (26433/32633) Updating files: 82% (26760/32633) Updating files: 83% (27086/32633) Updating files: 84% (27412/32633) Updating files: 85% (27739/32633) Updating files: 86% (28065/32633) Updating files: 87% (28391/32633) Updating files: 88% (28718/32633) Updating files: 89% (29044/32633) Updating files: 90% (29370/32633) Updating files: 91% (29697/32633) Updating files: 92% (30023/32633) Updating files: 93% (30349/32633) Updating files: 94% (30676/32633) Updating files: 95% (31002/32633) Updating files: 96% (31328/32633) Updating files: 97% (31655/32633) Updating files: 98% (31981/32633) Updating files: 99% (32307/32633) Updating files: 100% (32633/32633) Updating files: 100% (32633/32633), done. HEAD is now at 9fc3fa05d7 [new release] dune (15 packages) (3.13.0) (build "tools" …) (from ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98) Unable to find image 'ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98' locally docker.io/ocaml/opam@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98: Pulling from ocaml/opam 8988d439b0e2: Pulling fs layer 8988d439b0e2: Verifying Checksum 8988d439b0e2: Download complete 8988d439b0e2: Pull complete Digest: sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98 Status: Downloaded newer image for ocaml/opam@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98 2024-01-29 15:43.04 ---> using "b27d2334d2f7f26e7b6d0a8979baf30909ac8f375ae435953404a8caec0ee19a" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-01-29 15:43.04 ---> using "f43f6c03136a95a67111980651f86e2c359d3c05cc3d6d901ec0e1d8bd257eab" from cache /home/opam: (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [52.1 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [134 kB] Fetched 234 kB in 0s (769 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libpkgconf3 pkgconf pkgconf-bin Suggested packages: m4-doc The following NEW packages will be installed: libpkgconf3 m4 pkg-config pkgconf pkgconf-bin 0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded. Need to get 392 kB of archives. After this operation, 969 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian bookworm/main amd64 libpkgconf3 amd64 1.8.1-1 [36.1 kB] Get:2 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get:3 http://deb.debian.org/debian bookworm/main amd64 pkgconf-bin amd64 1.8.1-1 [29.5 kB] Get:4 http://deb.debian.org/debian bookworm/main amd64 pkgconf amd64 1.8.1-1 [25.9 kB] Get:5 http://deb.debian.org/debian bookworm/main amd64 pkg-config amd64 1.8.1-1 [13.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 392 kB in 0s (7294 kB/s) 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 ... 18774 files and directories currently installed.) Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ... Unpacking libpkgconf3:amd64 (1.8.1-1) ... Selecting previously unselected package m4. Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package pkgconf-bin. Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ... Unpacking pkgconf-bin (1.8.1-1) ... Selecting previously unselected package pkgconf:amd64. Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ... Unpacking pkgconf:amd64 (1.8.1-1) ... Selecting previously unselected package pkg-config:amd64. Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ... Unpacking pkg-config:amd64 (1.8.1-1) ... Setting up m4 (1.4.19-3) ... Setting up libpkgconf3:amd64 (1.8.1-1) ... Setting up pkgconf-bin (1.8.1-1) ... Setting up pkgconf:amd64 (1.8.1-1) ... Setting up pkg-config:amd64 (1.8.1-1) ... Processing triggers for libc-bin (2.36-9+deb12u3) ... 2024-01-29 15:43.04 ---> using "7ddcb640c38cfbc1e37c67af4fc903b97d27a9281eec29c6dab72128dc188154" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 This will pin the following packages: voodoo-prep, voodoo-lib, voodoo-gen, voodoo-do. Continue? [Y/n] y Package voodoo-prep does not exist, create as a NEW package? [Y/n] y [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-prep is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-lib does not exist, create as a NEW package? [Y/n] y [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-lib is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-gen does not exist, create as a NEW package? [Y/n] y [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-gen is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-do does not exist, create as a NEW package? [Y/n] y [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-do is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [voodoo-prep.~dev] no changes from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 The following actions will be performed: - install ocamlbuild 0.14.3 [required by bos] - install cmdliner 1.2.0 [required by voodoo-prep] - install dune 3.13.0 [required by voodoo-prep] - install ocamlfind 1.9.6 [required by bos] - install seq base [required by re] - install stdlib-shims 0.3.0 [required by ocamlgraph] - install opam-file-format 2.1.6 [required by opam-format] - install cppo 1.6.9 [required by opam-core] - install topkg 1.0.7 [required by bos] - install re 1.11.0 [required by opam-format] - install ocamlgraph 2.1.0 [required by opam-core] - install rresult 0.7.0 [required by bos] - install fmt 0.9.0 [required by bos] - install astring 0.8.5 [required by bos] - install opam-core 2.1.5 [required by opam-format] - install logs 0.7.0 [required by bos] - install fpath 0.7.3 [required by voodoo-prep] - install opam-format 2.1.5 [required by voodoo-prep] - install bos 0.2.1 [required by voodoo-prep] - install voodoo-prep ~dev* ===== 20 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [bos.0.2.1] found in cache [cmdliner.1.2.0] found in cache [cppo.1.6.9] found in cache [dune.3.13.0] found in cache [fmt.0.9.0] found in cache [fpath.0.7.3] found in cache [logs.0.7.0] found in cache [ocamlbuild.0.14.3] found in cache [ocamlfind.1.9.6] found in cache [ocamlgraph.2.1.0] found in cache [opam-core.2.1.5] found in cache [opam-file-format.2.1.6] found in cache [opam-format.2.1.5] found in cache [re.1.11.0] found in cache [rresult.0.7.0] found in cache [stdlib-shims.0.3.0] found in cache [topkg.1.0.7] found in cache [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed cmdliner.1.2.0 -> installed ocamlfind.1.9.6 -> installed ocamlbuild.0.14.3 -> installed topkg.1.0.7 -> installed rresult.0.7.0 -> installed fmt.0.9.0 -> installed astring.0.8.5 -> installed fpath.0.7.3 -> installed logs.0.7.0 -> installed dune.3.13.0 -> installed bos.0.2.1 -> installed stdlib-shims.0.3.0 -> installed opam-file-format.2.1.6 -> installed re.1.11.0 -> installed cppo.1.6.9 -> installed ocamlgraph.2.1.0 -> installed opam-core.2.1.5 -> installed opam-format.2.1.5 -> installed voodoo-prep.~dev Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 15:43.04 ---> using "8bf85a2e14befffb455249f80f79ced81ee6f25f73d7d1afa334e830fff7f7c9" from cache /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-01-29 15:43.04 ---> using "c2623afe5b7018242824d3c5839aed49285ce388a16e4a5db95145b8b3b27a8b" from cache 2024-01-29 15:43.04 --> finished "tools" (from ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98) Unable to find image 'ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98' locally docker.io/ocaml/opam@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98: Pulling from ocaml/opam 8988d439b0e2: Pulling fs layer 8988d439b0e2: Verifying Checksum 8988d439b0e2: Download complete 8988d439b0e2: Pull complete Digest: sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98 Status: Downloaded newer image for ocaml/opam@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98 2024-01-29 15:43.04 ---> using "b27d2334d2f7f26e7b6d0a8979baf30909ac8f375ae435953404a8caec0ee19a" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-01-29 15:43.04 ---> using "f43f6c03136a95a67111980651f86e2c359d3c05cc3d6d901ec0e1d8bd257eab" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-01-29 15:43.04 ---> using "83b634d60d015b5a14f94e478741eac47a8ab8180316937577ef8602f960fc56" from cache /home/opam: (copy (src packages) (dst /src/packages)) 2024-01-29 15:43.06 ---> using "62476d40981baaebca2aaf47019180bade3a7c9313840362cb509863b6a12f38" from cache /home/opam: (copy (src repo) (dst /src/repo)) 2024-01-29 15:43.06 ---> using "2a97bc5fa81c43d50e8a92d041f51b739a8636059d9d13e7a41e92f4b10d9edb" from cache /home/opam: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. 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 repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2024-01-29 15:43.06 ---> using "060218188312357d6e5001ca54c653f69f49c55cc32b830cba5cb435d530fbda" from cache /home/opam: (run (shell "opam repo remove default && opam repo add opam /src")) Repositories removed from the selections of switch 5.1. Use '--all' to forget about them altogether. [opam] Initialised [NOTE] Repository opam has been added to the selections of switch 5.1 only. Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively. 2024-01-29 15:43.06 ---> using "635f4693d875c6b2ec000c443cdf34ab21f9804155d2730ddf4884448228ab95" from cache /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-01-29 15:43.06 ---> using "c1359b1d4985bd681bc9005ffeaa84f91ad848219095b2ac1e2d7ac412392daa" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.13.0")) The following actions will be performed: - install dune 3.13.0 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved dune.3.13.0 (cached) -> installed dune.3.13.0 Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 15:43.06 ---> using "4b3339e023407e98a0816b49e4405312ff4040228123de7489a2bf93bdd0f2d0" from cache /home/opam: (env DUNE_CACHE enabled) /home/opam: (env DUNE_CACHE_TRANSPORT direct) /home/opam: (env DUNE_CACHE_DUPLICATION copy) /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy kind2.1.7.0 zmq.5.2.2 yojson.2.1.2 seq.base num.1.5 menhirSdk.20231231 menhirLib.20231231 menhirCST.20231231 menhir.20231231 dune-configurator.3.13.0 dune-build-info.3.13.0 dune.3.13.0 csexp.1.5.2 cppo.1.6.9 conf-zmq.0.1 conf-pkg-config.3 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) WARNING: apt does not have a stable CLI interface. Use with caution in scripts. Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [52.1 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [134 kB] Fetched 234 kB in 0s (723 kB/s) Reading package lists... Building dependency tree... Reading state information... All packages are up to date. Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y The following actions will be performed: - recompile opam-depext 1.2.1-1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved opam-depext.1.2.1-1 (cached) -> removed opam-depext.1.2.1-1 -> installed opam-depext.1.2.1-1 Done. <><> opam-depext.1.2.1-1 installed successfully <><><><><><><><><><><><><><><><> => opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead # Run eval $(opam env) to update the current shell environment <><> Carrying on to "opam depext -viy kind2.1.7.0 zmq.5.2.2 yojson.2.1.2 seq.base num.1.5 menhirSdk.20231231 menhirLib.20231231 menhirCST.20231231 menhir.20231231 dune-configurator.3.13.0 dune-build-info.3.13.0 dune.3.13.0 csexp.1.5.2 cppo.1.6.9 conf-zmq.0.1 conf-pkg-config.3" You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # The following system packages are needed: libzmq3-dev pkg-config [NOTE] Package dune is already installed (current version is 3.13.0). The following actions will be performed: - install dune-build-info 3.13.0 - install cppo 1.6.9 - install menhirLib 20231231 - install seq base - install csexp 1.5.2 - install menhirCST 20231231 - install conf-pkg-config 3 - install num 1.5 - install menhirSdk 20231231 - install yojson 2.1.2 - install dune-configurator 3.13.0 - install conf-zmq 0.1 - install menhir 20231231 - install zmq 5.2.2 - install kind2 1.7.0 ===== 15 to install ===== The following system packages will first need to be installed: libzmq3-dev 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" "libzmq3-dev" "pkg-config" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package comerr-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 ... 18774 files and directories currently installed.) - Preparing to unpack .../00-comerr-dev_2.1-1.47.0-2_amd64.deb ... - Unpacking comerr-dev:amd64 (2.1-1.47.0-2) ... - Selecting previously unselected package libnorm1:amd64. - Preparing to unpack .../01-libnorm1_1.5.9+dfsg-2_amd64.deb ... - Unpacking libnorm1:amd64 (1.5.9+dfsg-2) ... - Selecting previously unselected package libpgm-5.3-0:amd64. - Preparing to unpack .../02-libpgm-5.3-0_5.3.128~dfsg-2_amd64.deb ... - Unpacking libpgm-5.3-0:amd64 (5.3.128~dfsg-2) ... - Selecting previously unselected package libsodium23:amd64. - Preparing to unpack .../03-libsodium23_1.0.18-1_amd64.deb ... - Unpacking libsodium23:amd64 (1.0.18-1) ... - Selecting previously unselected package libzmq5:amd64. - Preparing to unpack .../04-libzmq5_4.3.4-6_amd64.deb ... - Unpacking libzmq5:amd64 (4.3.4-6) ... - Selecting previously unselected package libpgm-dev:amd64. - Preparing to unpack .../05-libpgm-dev_5.3.128~dfsg-2_amd64.deb ... - Unpacking libpgm-dev:amd64 (5.3.128~dfsg-2) ... - Selecting previously unselected package libsodium-dev:amd64. - Preparing to unpack .../06-libsodium-dev_1.0.18-1_amd64.deb ... - Unpacking libsodium-dev:amd64 (1.0.18-1) ... - Selecting previously unselected package libicu72:amd64. - Preparing to unpack .../07-libicu72_72.1-3_amd64.deb ... - Unpacking libicu72:amd64 (72.1-3) ... - Selecting previously unselected package icu-devtools. - Preparing to unpack .../08-icu-devtools_72.1-3_amd64.deb ... - Unpacking icu-devtools (72.1-3) ... - Selecting previously unselected package libicu-dev:amd64. - Preparing to unpack .../09-libicu-dev_72.1-3_amd64.deb ... - Unpacking libicu-dev:amd64 (72.1-3) ... - Selecting previously unselected package libxml2:amd64. - Preparing to unpack .../10-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ... - Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... - Selecting previously unselected package libxml2-dev:amd64. - Preparing to unpack .../11-libxml2-dev_2.9.14+dfsg-1.3~deb12u1_amd64.deb ... - Unpacking libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u1) ... - Selecting previously unselected package libnorm-dev:amd64. - Preparing to unpack .../12-libnorm-dev_1.5.9+dfsg-2_amd64.deb ... - Unpacking libnorm-dev:amd64 (1.5.9+dfsg-2) ... - Selecting previously unselected package libgssrpc4:amd64. - Preparing to unpack .../13-libgssrpc4_1.20.1-2+deb12u1_amd64.deb ... - Unpacking libgssrpc4:amd64 (1.20.1-2+deb12u1) ... - Selecting previously unselected package libkdb5-10:amd64. - Preparing to unpack .../14-libkdb5-10_1.20.1-2+deb12u1_amd64.deb ... - Unpacking libkdb5-10:amd64 (1.20.1-2+deb12u1) ... - Selecting previously unselected package libkadm5srv-mit12:amd64. - Preparing to unpack .../15-libkadm5srv-mit12_1.20.1-2+deb12u1_amd64.deb ... - Unpacking libkadm5srv-mit12:amd64 (1.20.1-2+deb12u1) ... - Selecting previously unselected package libkadm5clnt-mit12:amd64. - Preparing to unpack .../16-libkadm5clnt-mit12_1.20.1-2+deb12u1_amd64.deb ... - Unpacking libkadm5clnt-mit12:amd64 (1.20.1-2+deb12u1) ... - Selecting previously unselected package krb5-multidev:amd64. - Preparing to unpack .../17-krb5-multidev_1.20.1-2+deb12u1_amd64.deb ... - Unpacking krb5-multidev:amd64 (1.20.1-2+deb12u1) ... - Selecting previously unselected package libkrb5-dev:amd64. - Preparing to unpack .../18-libkrb5-dev_1.20.1-2+deb12u1_amd64.deb ... - Unpacking libkrb5-dev:amd64 (1.20.1-2+deb12u1) ... - Selecting previously unselected package libmd-dev:amd64. - Preparing to unpack .../19-libmd-dev_1.0.4-2_amd64.deb ... - Unpacking libmd-dev:amd64 (1.0.4-2) ... - Selecting previously unselected package libbsd-dev:amd64. - Preparing to unpack .../20-libbsd-dev_0.11.7-2_amd64.deb ... - Unpacking libbsd-dev:amd64 (0.11.7-2) ... - Selecting previously unselected package libzmq3-dev:amd64. - Preparing to unpack .../21-libzmq3-dev_4.3.4-6_amd64.deb ... - Unpacking libzmq3-dev:amd64 (4.3.4-6) ... - Selecting previously unselected package cppzmq-dev:amd64. - Preparing to unpack .../22-cppzmq-dev_4.9.0-1_amd64.deb ... - Unpacking cppzmq-dev:amd64 (4.9.0-1) ... - Selecting previously unselected package libpkgconf3:amd64. - Preparing to unpack .../23-libpkgconf3_1.8.1-1_amd64.deb ... - Unpacking libpkgconf3:amd64 (1.8.1-1) ... - Selecting previously unselected package pkgconf-bin. - Preparing to unpack .../24-pkgconf-bin_1.8.1-1_amd64.deb ... - Unpacking pkgconf-bin (1.8.1-1) ... - Selecting previously unselected package pkgconf:amd64. - Preparing to unpack .../25-pkgconf_1.8.1-1_amd64.deb ... - Unpacking pkgconf:amd64 (1.8.1-1) ... - Selecting previously unselected package pkg-config:amd64. - Preparing to unpack .../26-pkg-config_1.8.1-1_amd64.deb ... - Unpacking pkg-config:amd64 (1.8.1-1) ... - Setting up libsodium23:amd64 (1.0.18-1) ... - Setting up libicu72:amd64 (72.1-3) ... - Setting up libpgm-5.3-0:amd64 (5.3.128~dfsg-2) ... - Setting up libnorm1:amd64 (1.5.9+dfsg-2) ... - Setting up libgssrpc4:amd64 (1.20.1-2+deb12u1) ... - Setting up libpkgconf3:amd64 (1.8.1-1) ... - Setting up libpgm-dev:amd64 (5.3.128~dfsg-2) ... - Setting up comerr-dev:amd64 (2.1-1.47.0-2) ... - Setting up icu-devtools (72.1-3) ... - Setting up pkgconf-bin (1.8.1-1) ... - Setting up libsodium-dev:amd64 (1.0.18-1) ... - Setting up libmd-dev:amd64 (1.0.4-2) ... - Setting up libicu-dev:amd64 (72.1-3) ... - Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... - Setting up libbsd-dev:amd64 (0.11.7-2) ... - Setting up libkadm5clnt-mit12:amd64 (1.20.1-2+deb12u1) ... - Setting up libkdb5-10:amd64 (1.20.1-2+deb12u1) ... - Setting up libzmq5:amd64 (4.3.4-6) ... - Setting up pkgconf:amd64 (1.8.1-1) ... - Setting up libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u1) ... - Setting up pkg-config:amd64 (1.8.1-1) ... - Setting up libkadm5srv-mit12:amd64 (1.20.1-2+deb12u1) ... - Setting up krb5-multidev:amd64 (1.20.1-2+deb12u1) ... - Setting up libnorm-dev:amd64 (1.5.9+dfsg-2) ... - Setting up libkrb5-dev:amd64 (1.20.1-2+deb12u1) ... - Setting up libzmq3-dev:amd64 (4.3.4-6) ... - Setting up cppzmq-dev:amd64 (4.9.0-1) ... - Processing triggers for libc-bin (2.36-9+deb12u3) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 3/45: Processing 4/45: Processing 5/45: Processing 6/45: [conf-pkg-config: pkg-config] -> retrieved cppo.1.6.9 (cached) Processing 7/45: [conf-pkg-config: pkg-config] Processing 8/45: [conf-pkg-config: pkg-config] [cppo: dune build] -> retrieved csexp.1.5.2 (cached) Processing 9/45: [conf-pkg-config: pkg-config] [cppo: dune build] Processing 10/45: [conf-pkg-config: pkg-config] [cppo: dune build] [csexp: dune build] -> retrieved dune-build-info.3.13.0 (cached) Processing 11/45: [conf-pkg-config: pkg-config] [cppo: dune build] [csexp: dune build] Processing 12/45: [conf-pkg-config: pkg-config] [cppo: dune build] [csexp: dune build] [dune-build-info: rm] - usage: pkgconf [OPTIONS] [LIBRARIES] - - basic options: - - --help this message - --about print pkgconf version and license to stdout - --version print supported pkg-config version to stdout - --atleast-pkgconfig-version check whether or not pkgconf is compatible - with a specified pkg-config version - --errors-to-stdout print all errors on stdout instead of stderr - --print-errors ensure all errors are printed - --short-errors be less verbose about some errors - --silence-errors explicitly be silent about errors - --list-all list all known packages - --list-package-names list all known package names - --simulate simulate walking the calculated dependency graph - --no-cache do not cache already seen packages when - walking the dependency graph - --log-file=filename write an audit log to a specified file - --with-path=path adds a directory to the search path - --define-prefix override the prefix variable with one that is guessed based on - the location of the .pc file - --dont-define-prefix do not override the prefix variable under any circumstances - --prefix-variable=varname sets the name of the variable that pkgconf considers - to be the package prefix - --relocate=path relocates a path and exits (mostly for testsuite) - --dont-relocate-paths disables path relocation support - - cross-compilation personality support: - - --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename' - --dump-personality dumps details concerning selected personality - - checking specific pkg-config database entries: - - --atleast-version require a specific version of a module - --exact-version require an exact version of a module - --max-version require a maximum version of a module - --exists check whether or not a module exists - --uninstalled check whether or not an uninstalled module will be used - --no-uninstalled never use uninstalled modules when satisfying dependencies - --no-provides do not use 'provides' rules to resolve dependencies - --maximum-traverse-depth maximum allowed depth for dependency graph - --static be more aggressive when computing dependency graph - (for static linking) - --shared use a simplified dependency graph (usually default) - --pure optimize a static dependency graph as if it were a normal - dependency graph - --env-only look only for package entries in PKG_CONFIG_PATH - --ignore-conflicts ignore 'conflicts' rules in modules - --validate validate specific .pc files for correctness - - querying specific pkg-config database fields: - - --define-variable=varname=value define variable 'varname' as 'value' - --variable=varname print specified variable entry to stdout - --cflags print required CFLAGS to stdout - --cflags-only-I print required include-dir CFLAGS to stdout - --cflags-only-other print required non-include-dir CFLAGS to stdout - --libs print required linker flags to stdout - --libs-only-L print required LDPATH linker flags to stdout - --libs-only-l print required LIBNAME linker flags to stdout - --libs-only-other print required other linker flags to stdout - --print-requires print required dependency frameworks to stdout - --print-requires-private print required dependency frameworks for static - linking to stdout - --print-provides print provided dependencies to stdout - --print-variables print all known variables in module to stdout - --digraph print entire dependency graph in graphviz 'dot' format - --keep-system-cflags keep -I/usr/include entries in cflags output - --keep-system-libs keep -L/lib:/lib/i386-linux-gnu:/lib/x86_64-linux-gnu:/lib/x86_64-linux-gnux32:/lib32:/libx32:/usr/lib:/usr/lib/i386-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnux32:/usr/lib32:/usr/libx32 entries in libs output - --path show the exact filenames for any matching .pc files - --modversion print the specified module's version to stdout - --internal-cflags do not filter 'internal' cflags from output - - filtering output: - - --msvc-syntax print translatable fragments in MSVC syntax - --fragment-filter=types filter output fragments to the specified types - - report bugs to <https://github.com/pkgconf/pkgconf/issues/new>. -> compiled conf-pkg-config.3 Processing 12/45: [cppo: dune build] [csexp: dune build] [dune-build-info: rm] -> installed conf-pkg-config.3 Processing 13/45: [cppo: dune build] [csexp: dune build] [dune-build-info: rm] Processing 14/45: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [cppo: dune build] [csexp: dune build] [dune-build-info: rm] -> retrieved dune-configurator.3.13.0 (cached) Processing 15/45: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [cppo: dune build] [csexp: dune build] [dune-build-info: rm] -> compiled cppo.1.6.9 Processing 15/45: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [csexp: dune build] [dune-build-info: rm] -> installed cppo.1.6.9 Processing 16/45: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [csexp: dune build] [dune-build-info: rm] -> retrieved kind2.1.7.0 (cached) Processing 17/45: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [csexp: dune build] [dune-build-info: rm] -> compiled csexp.1.5.2 Processing 17/45: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [dune-build-info: rm] -> installed csexp.1.5.2 Processing 18/45: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [dune-build-info: rm] Processing 19/45: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [dune-build-info: rm] [dune-configurator: rm] -> retrieved menhir.20231231 (cached) Processing 20/45: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [dune-build-info: rm] [dune-configurator: rm] -> compiled conf-zmq.0.1 Processing 20/45: [dune-build-info: rm] [dune-configurator: rm] -> installed conf-zmq.0.1 Processing 21/45: [dune-build-info: rm] [dune-configurator: rm] -> retrieved menhirCST.20231231 (cached) Processing 22/45: [dune-build-info: rm] [dune-configurator: rm] Processing 23/45: [dune-build-info: rm] [dune-configurator: rm] [menhirCST: dune build] -> retrieved menhirLib.20231231 (cached) Processing 24/45: [dune-build-info: rm] [dune-configurator: rm] [menhirCST: dune build] Processing 25/45: [dune-build-info: rm] [dune-configurator: rm] [menhirCST: dune build] Processing 26/45: [dune-build-info: rm] [dune-configurator: rm] [menhirCST: dune build] [menhirLib: dune build] Processing 27/45: [dune-build-info: rm] [dune-configurator: rm] [menhirCST: dune build] [menhirLib: dune build] -> installed seq.base Processing 28/45: [dune-build-info: rm] [dune-configurator: rm] [menhirCST: dune build] [menhirLib: dune build] -> retrieved menhirSdk.20231231 (cached) Processing 29/45: [dune-build-info: rm] [dune-configurator: rm] [menhirCST: dune build] [menhirLib: dune build] Processing 30/45: [dune-build-info: rm] [dune-configurator: rm] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] Processing 30/45: [dune-build-info: dune build] [dune-configurator: rm] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] -> retrieved num.1.5 (cached) Processing 31/45: [dune-build-info: dune build] [dune-configurator: rm] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [num: make opam-modern] -> retrieved yojson.2.1.2 (cached) Processing 32/45: [dune-build-info: dune build] [dune-configurator: rm] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [num: make opam-modern] [yojson: dune build] Processing 32/45: [dune-build-info: dune build] [dune-configurator: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [num: make opam-modern] [yojson: dune build] -> retrieved zmq.5.2.2 (cached) -> compiled menhirCST.20231231 Processing 32/45: [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [num: make opam-modern] [yojson: dune build] -> installed menhirCST.20231231 Processing 33/45: [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [num: make opam-modern] [yojson: dune build] -> compiled menhirSdk.20231231 Processing 33/45: [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [num: make opam-modern] [yojson: dune build] -> installed menhirSdk.20231231 Processing 34/45: [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [num: make opam-modern] [yojson: dune build] - (cd _build/default/lib/pack && ./pack.exe) - Creating menhirLib.ml... - Creating menhirLib.mli... -> compiled menhirLib.20231231 Processing 34/45: [dune-build-info: dune build] [dune-configurator: dune build] [num: make opam-modern] [yojson: dune build] -> installed menhirLib.20231231 Processing 35/45: [dune-build-info: dune build] [dune-configurator: dune build] [num: make opam-modern] [yojson: dune build] Processing 36/45: [dune-build-info: dune build] [dune-configurator: dune build] [menhir: dune build] [num: make opam-modern] [yojson: dune build] -> compiled dune-build-info.3.13.0 Processing 36/45: [dune-configurator: dune build] [menhir: dune build] [num: make opam-modern] [yojson: dune build] -> installed dune-build-info.3.13.0 Processing 37/45: [dune-configurator: dune build] [menhir: dune build] [num: make opam-modern] [yojson: dune build] -> compiled yojson.2.1.2 Processing 37/45: [dune-configurator: dune build] [menhir: dune build] [num: make opam-modern] -> installed yojson.2.1.2 Processing 38/45: [dune-configurator: dune build] [menhir: dune build] [num: make opam-modern] - /usr/bin/make -C src all - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/num.1.5/src' - ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c - ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c - ocamlmklib -oc nums bng.o nat_stubs.o - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml - ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo - cp ../toplevel/num_top_printers.mli ../toplevel/num_top.mli ../toplevel/num_top_printers.ml ../toplevel/num_top.ml . - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo - echo 'version = "1.6~dev"' > META.top - cat META.num-top.in >> META.top - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml - ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -I . -shared -o nums.cmxs nums.cmxa - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/num.1.5/src' - cp src/num-modern.install num.install -> compiled num.1.5 Processing 38/45: [dune-configurator: dune build] [menhir: dune build] -> installed num.1.5 Processing 39/45: [dune-configurator: dune build] [menhir: dune build] -> compiled dune-configurator.3.13.0 Processing 39/45: [menhir: dune build] -> installed dune-configurator.3.13.0 Processing 40/45: [menhir: dune build] Processing 41/45: [menhir: dune build] [zmq: dune build] -> compiled zmq.5.2.2 Processing 41/45: [menhir: dune build] -> installed zmq.5.2.2 Processing 42/45: [menhir: dune build] + /home/opam/.opam/5.1/bin/dune "build" "-p" "menhir" "-j" "255" (CWD=/home/opam/.opam/5.1/.opam-switch/build/menhir.20231231) - (cd _build/default/lib/pack && ./pack.exe) - Creating menhirLib.ml... - Creating menhirLib.mli... - (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check - Read 99 sample input sentences and 99 error messages. - Read 99 sample input sentences and 47 error messages. - (cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred) - 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. - (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml - Read 99 sample input sentences and 47 error messages. -> compiled menhir.20231231 -> installed menhir.20231231 Processing 44/45: [kind2: dune build] + /home/opam/.opam/5.1/bin/dune "build" "-p" "kind2" "-j" "255" "@install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/kind2.1.7.0) - (cd _build/default && /home/opam/.opam/5.1/bin/ocamlopt.opt -w -40 -g -I src/.kind2dev.objs/byte -I src/.kind2dev.objs/native -I /home/opam/.opam/5.1/lib/dune-build-info -I /home/opam/.opam/5.1/lib/menhirLib -I /home/opam/.opam/5.1/lib/num -I /home/opam/.opam/5.1/lib/ocaml/str -I /home/opam/.opam/5.1/lib/ocaml/threads -I /home/opam/.opam/5.1/lib/ocaml/unix -I /home/opam/.opam/5.1/lib/seq -I /home/opam/.opam/5.1/lib/yojson -I /home/opam/.opam/5.1/lib/zmq -intf-suffix .ml -no-alias-deps -o src/.kind2dev.objs/native/messaging.cmx -c -impl src/messaging.ml) - File "src/messaging.ml", line 974, characters 14-25: - 974 | Thread.exit () - ^^^^^^^^^^^ - Alert deprecated: Thread.exit - Use 'raise Thread.Exit' instead. -> compiled kind2.1.7.0 -> installed kind2.1.7.0 Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 15:45.13 ---> saved as "233c9f661ff9f641a947e16b90fdbcb71dd4fd79a1c34e116b553b60028af3bc" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u kind2:e3d8192a7789df465247499d7f94920c")) 2024-01-29 15:45.16 ---> saved as "8b69cec6a424773da9ec8b04b4d414681986b30715a3b221fdaa22dadd403f92" /home/opam: (run (network host) (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config))) (shell "(echo '0.618870') && (for DATA in prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0,kind2.1.7.0-e3d8192a7789df465247499d7f94920c,kind2.1.7.0; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/* && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0,kind2.1.7.0-e3d8192a7789df465247499d7f94920c,kind2.1.7.0; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0,kind2.1.7.0-e3d8192a7789df465247499d7f94920c,kind2.1.7.0; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) 0.618870 prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0/doc/ prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0/doc/kind2/ prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0/doc/kind2/CHANGES.md prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0/doc/kind2/LICENSE.rst prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0/doc/kind2/README.rst prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0/lib/ prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0/lib/kind2/ prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0/lib/kind2/META prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0/lib/kind2/dune-package prep/universes/e3d8192a7789df465247499d7f94920c/kind2/1.7.0/opam Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. HASHES:kind2.1.7.0-e3d8192a7789df465247499d7f94920c:1f20509e75986dac180fec5dd3cd9078f29bc1aedb6090316f4aba8af876ae45 2024-01-29 15:45.17 ---> saved as "115ceab61aaa47886d1bb6c0be3bcab4744c9fed849fb21d9727c3fc02cf0c4a" Job succeeded 2024-01-29 15:52.16: kind2.1.7.0-e3d8192a7789df465247499d7f94920c -> 1f20509e75986dac180fec5dd3cd9078f29bc1aedb6090316f4aba8af876ae45 2024-01-29 15:52.16: Job succeeded