Build:
- 0
2024-01-29 15:19.04: New job: Voodoo prep kind2.1.3.0; cf196898ce19273f8f239126700579f2 2024-01-29 15:19.04: Waiting for resource in pool OCluster 2024-01-29 18:59.27: Waiting for worker… 2024-01-29 18:59.40: Got resource from pool OCluster 2024-01-29 18:59.40: Using cache hint "docs-universe-prep-4.14.1" To reproduce locally: cat > prep.spec <<'END-OF-SPEC' ((build tools ((from ocaml/opam:debian-12-ocaml-4.14@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef) (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-4.14@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef) (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.3.0 zmq.5.1.3 yojson.2.1.2 stdint.0.7.2 seq.base num.1.5 menhirSdk.20211128 menhirLib.20211128 menhir.20211128 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:cf196898ce19273f8f239126700579f2")) (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.757717') && (for DATA in prep/universes/cf196898ce19273f8f239126700579f2/kind2/1.3.0,kind2.1.3.0-cf196898ce19273f8f239126700579f2,kind2.1.3.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/cf196898ce19273f8f239126700579f2/kind2/1.3.0,kind2.1.3.0-cf196898ce19273f8f239126700579f2,kind2.1.3.0; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/cf196898ce19273f8f239126700579f2/kind2/1.3.0,kind2.1.3.0-cf196898ce19273f8f239126700579f2,kind2.1.3.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-4.14.1 \ --secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config 2024-01-29 18:59.40: RETRYING: 2024-01-29/151904-voodoo-prep-659ff9 Number of retries: 0 (retriable error condition) Building on asteria.caelum.ci.dev All commits already cached HEAD is now at 9fc3fa05d7 [new release] dune (15 packages) (3.13.0) (build "tools" …) (from ocaml/opam:debian-12-ocaml-4.14@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef) Unable to find image 'ocaml/opam:debian-12-ocaml-4.14@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef' locally docker.io/ocaml/opam@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef: Pulling from ocaml/opam 82e8c0c7d92b: Pulling fs layer 82e8c0c7d92b: Verifying Checksum 82e8c0c7d92b: Download complete 82e8c0c7d92b: Pull complete Digest: sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef Status: Downloaded newer image for ocaml/opam@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef 2024-01-29 19:03.36 ---> using "1f16aa8fbc1a229ca02cdf7d8b4234eb4608a9074cec5292a9e72517b48fb577" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-01-29 19:03.36 ---> using "258ae3900365106d3b475f7327e1977f1a9ae54d4b6cd6e024f1ed5ef4f3381c" 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 (655 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 (1497 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 ... 18743 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 19:03.36 ---> using "d64ddc7053307a6e5bac376e2af0af138c2728532db1941a0e2c7ed3dcb6923f" 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 19:03.36 ---> using "d95d2426ec6638d4946232810cc7377b78e0b12578cf93755f6aecdc254fcd78" from cache /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-01-29 19:03.36 ---> using "200b9dc9bbc6b05727626f4e73227cdcfa87e5df3b69dfe480b404d6323d60f8" from cache 2024-01-29 19:03.36 --> finished "tools" (from ocaml/opam:debian-12-ocaml-4.14@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef) Unable to find image 'ocaml/opam:debian-12-ocaml-4.14@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef' locally docker.io/ocaml/opam@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef: Pulling from ocaml/opam 82e8c0c7d92b: Pulling fs layer 82e8c0c7d92b: Verifying Checksum 82e8c0c7d92b: Download complete 82e8c0c7d92b: Pull complete Digest: sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef Status: Downloaded newer image for ocaml/opam@sha256:8e390dbf29f7a115e5c8098ffb1a3c7234a873cf738a5ae22f3a4846122db9ef 2024-01-29 19:03.36 ---> using "1f16aa8fbc1a229ca02cdf7d8b4234eb4608a9074cec5292a9e72517b48fb577" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-01-29 19:03.36 ---> using "258ae3900365106d3b475f7327e1977f1a9ae54d4b6cd6e024f1ed5ef4f3381c" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-01-29 19:03.36 ---> using "50a061015e57b489daec5893a083c81b93ec0b29b89dbcf9b55da6d4003431c6" from cache /home/opam: (copy (src packages) (dst /src/packages)) 2024-01-29 19:03.37 ---> using "01aa3de5fbb7da6355a5a3f9fa1564dc626ae86abf688775884c1ab94bb65d0b" from cache /home/opam: (copy (src repo) (dst /src/repo)) 2024-01-29 19:03.37 ---> using "2f80ca12a98e6c8d13b2d4313d2e1042fd6f790370cc08f16159385ad3fc5996" 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 19:03.37 ---> using "5080f4d462ceb6f0e8f61edcf012437834ade0821fc592cdddca031349d9cf72" from cache /home/opam: (run (shell "opam repo remove default && opam repo add opam /src")) Repositories removed from the selections of switch 4.14. Use '--all' to forget about them altogether. [opam] Initialised [NOTE] Repository opam has been added to the selections of switch 4.14 only. Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively. 2024-01-29 19:03.37 ---> using "52bf3f5f6e7a46ac8833cf5cd91e39754db742f33dddb3831406ffa0cde994a1" from cache /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-01-29 19:03.37 ---> using "e11031127d8519055a60a4dd91b72f34724cc3bc999b18218ffd0ca30feb91a0" 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 19:03.37 ---> using "650ba0493118dda305685901aae29c16985278bdb959c560215f9280518b9304" 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.3.0 zmq.5.1.3 yojson.2.1.2 stdint.0.7.2 seq.base num.1.5 menhirSdk.20211128 menhirLib.20211128 menhir.20211128 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 (894 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.3.0 zmq.5.1.3 yojson.2.1.2 stdint.0.7.2 seq.base num.1.5 menhirSdk.20211128 menhirLib.20211128 menhir.20211128 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 seq base - install stdint 0.7.2 - install csexp 1.5.2 - install menhirLib 20211128 - install conf-pkg-config 3 - install num 1.5 - install menhirSdk 20211128 - install yojson 2.1.2 - install dune-configurator 3.13.0 - install conf-zmq 0.1 - install menhir 20211128 - install zmq 5.1.3 - install kind2 1.3.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 ... 18743 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.3.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.20211128 (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 menhirLib.20211128 (cached) Processing 22/45: [dune-build-info: rm] [dune-configurator: rm] Processing 23/45: [dune-build-info: rm] [dune-configurator: rm] Processing 24/45: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] Processing 25/45: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] -> installed seq.base Processing 26/45: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] -> retrieved menhirSdk.20211128 (cached) Processing 27/45: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] Processing 28/45: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] -> retrieved num.1.5 (cached) Processing 29/45: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] Processing 30/45: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [num: make opam-legacy] Processing 30/45: [dune-build-info: dune build] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [num: make opam-legacy] -> retrieved stdint.0.7.2 (cached) Processing 31/45: [dune-build-info: dune build] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [num: make opam-legacy] [stdint: dune build] -> retrieved yojson.2.1.2 (cached) Processing 32/45: [dune-build-info: dune build] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [num: make opam-legacy] [stdint: dune build] [yojson: dune build] Processing 32/45: [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [num: make opam-legacy] [stdint: dune build] [yojson: dune build] -> retrieved zmq.5.1.3 (cached) -> compiled menhirSdk.20211128 Processing 32/45: [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [num: make opam-legacy] [stdint: dune build] [yojson: dune build] -> installed menhirSdk.20211128 Processing 33/45: [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [num: make opam-legacy] [stdint: dune build] [yojson: dune build] - (cd _build/default/lib/pack && ./pack.exe) - Creating menhirLib.ml... - Creating menhirLib.mli... -> compiled menhirLib.20211128 Processing 33/45: [dune-build-info: dune build] [dune-configurator: dune build] [num: make opam-legacy] [stdint: dune build] [yojson: dune build] -> installed menhirLib.20211128 Processing 34/45: [dune-build-info: dune build] [dune-configurator: dune build] [num: make opam-legacy] [stdint: dune build] [yojson: dune build] Processing 35/45: [dune-build-info: dune build] [dune-configurator: dune build] [menhir: dune build] [num: make opam-legacy] [stdint: dune build] [yojson: dune build] -> compiled dune-build-info.3.13.0 Processing 35/45: [dune-configurator: dune build] [menhir: dune build] [num: make opam-legacy] [stdint: dune build] [yojson: dune build] -> installed dune-build-info.3.13.0 Processing 36/45: [dune-configurator: dune build] [menhir: dune build] [num: make opam-legacy] [stdint: dune build] [yojson: dune build] -> compiled stdint.0.7.2 Processing 36/45: [dune-configurator: dune build] [menhir: dune build] [num: make opam-legacy] [yojson: dune build] -> installed stdint.0.7.2 Processing 37/45: [dune-configurator: dune build] [menhir: dune build] [num: make opam-legacy] [yojson: dune build] -> compiled yojson.2.1.2 Processing 37/45: [dune-configurator: dune build] [menhir: dune build] [num: make opam-legacy] -> installed yojson.2.1.2 Processing 38/45: [dune-configurator: dune build] [menhir: dune build] [num: make opam-legacy] - /usr/bin/make -C src all - make[1]: Entering directory '/home/opam/.opam/4.14/.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/4.14/.opam-switch/build/num.1.5/src' - cp src/num-legacy.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] - (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I zmq-deferred/src/.zmq_deferred.objs/byte -I /home/opam/.opam/4.14/lib/stdint -I zmq/src/.zmq.objs/byte -intf-suffix .ml -no-alias-deps -open Zmq_deferred -o zmq-deferred/src/.zmq_deferred.objs/byte/zmq_deferred__Socket.cmo -c -impl zmq-deferred/src/socket.ml) - File "zmq-deferred/src/socket.ml", line 58, characters 12-27: - 58 | Queue.pop queue |> ignore - ^^^^^^^^^^^^^^^ - Warning 5 [ignored-partial-application]: this function application is partial, - maybe some arguments are missing. - (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I zmq-deferred/src/.zmq_deferred.objs/byte -I zmq-deferred/src/.zmq_deferred.objs/native -I /home/opam/.opam/4.14/lib/stdint -I zmq/src/.zmq.objs/byte -I zmq/src/.zmq.objs/native -intf-suffix .ml -no-alias-deps -open Zmq_deferred -o zmq-deferred/src/.zmq_deferred.objs/native/zmq_deferred__Socket.cmx -c -impl zmq-deferred/src/socket.ml) - File "zmq-deferred/src/socket.ml", line 58, characters 12-27: - 58 | Queue.pop queue |> ignore - ^^^^^^^^^^^^^^^ - Warning 5 [ignored-partial-application]: this function application is partial, - maybe some arguments are missing. - (cd _build/default/zmq/src && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 -isystem /usr/include/mit-krb5 -I/usr/include/pgm-5.3 -I/usr/include/libxml2 -Wall -Wextra -O2 -g -I /home/opam/.opam/4.14/lib/ocaml -I /home/opam/.opam/4.14/lib/stdint -o caml_zmq_stubs.o -c caml_zmq_stubs.c) - In file included from caml_zmq_stubs.c:12: - caml_zmq_stubs.c: In function 'caml_zmq_set_string_option': - /home/opam/.opam/4.14/lib/ocaml/caml/mlvalues.h:290:23: warning: initialization discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers] - 290 | #define String_val(x) ((const char *) Bp_val(x)) - | ^ - caml_zmq_stubs.c:222:26: note: in expansion of macro 'String_val' - 222 | char *option_value = String_val(socket_option); - | ^~~~~~~~~~ - caml_zmq_stubs.c: In function 'caml_zmq_recv': - /home/opam/.opam/4.14/lib/ocaml/caml/mlvalues.h:290:24: warning: passing argument 1 of 'memcpy' discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers] - 290 | #define String_val(x) ((const char *) Bp_val(x)) - | ~^~~~~~~~~~~~~~~~~~~~~~~~~ - caml_zmq_stubs.c:476:13: note: in expansion of macro 'String_val' - 476 | memcpy (String_val(message), zmq_msg_data (&msg), size); - | ^~~~~~~~~~ - In file included from caml_zmq_stubs.c:7: - /usr/include/string.h:43:39: note: expected 'void * restrict' but argument is of type 'const char *' - 43 | extern void *memcpy (void *__restrict __dest, const void *__restrict __src, - | ~~~~~~~~~~~~~~~~~^~~~~~ - caml_zmq_stubs.c: In function 'caml_z85_encode': - /home/opam/.opam/4.14/lib/ocaml/caml/mlvalues.h:290:24: warning: passing argument 1 of 'zmq_z85_encode' discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers] - 290 | #define String_val(x) ((const char *) Bp_val(x)) - | ~^~~~~~~~~~~~~~~~~~~~~~~~~ - caml_zmq_stubs.c:800:24: note: in expansion of macro 'String_val' - 800 | if (zmq_z85_encode(String_val(result), (uint8_t*) String_val(source), length) == NULL) - | ^~~~~~~~~~ - In file included from caml_zmq_stubs.c:32: - /usr/include/zmq.h:570:23: note: expected 'char *' but argument is of type 'const char *' - 570 | zmq_z85_encode (char *dest_, const uint8_t *data_, size_t size_); - | ~~~~~~^~~~~ - caml_zmq_stubs.c: In function 'caml_curve_keypair': - /home/opam/.opam/4.14/lib/ocaml/caml/mlvalues.h:290:24: warning: passing argument 1 of 'zmq_curve_keypair' discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers] - 290 | #define String_val(x) ((const char *) Bp_val(x)) - | ~^~~~~~~~~~~~~~~~~~~~~~~~~ - caml_zmq_stubs.c:828:36: note: in expansion of macro 'String_val' - 828 | int result = zmq_curve_keypair(String_val(public), String_val(secret)); - | ^~~~~~~~~~ - /usr/include/zmq.h:577:41: note: expected 'char *' but argument is of type 'const char *' - 577 | ZMQ_EXPORT int zmq_curve_keypair (char *z85_public_key_, char *z85_secret_key_); - | ~~~~~~^~~~~~~~~~~~~~~ - /home/opam/.opam/4.14/lib/ocaml/caml/mlvalues.h:290:24: warning: passing argument 2 of 'zmq_curve_keypair' discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers] - 290 | #define String_val(x) ((const char *) Bp_val(x)) - | ~^~~~~~~~~~~~~~~~~~~~~~~~~ - caml_zmq_stubs.c:828:56: note: in expansion of macro 'String_val' - 828 | int result = zmq_curve_keypair(String_val(public), String_val(secret)); - | ^~~~~~~~~~ - /usr/include/zmq.h:577:64: note: expected 'char *' but argument is of type 'const char *' - 577 | ZMQ_EXPORT int zmq_curve_keypair (char *z85_public_key_, char *z85_secret_key_); - | ~~~~~~^~~~~~~~~~~~~~~ -> compiled zmq.5.1.3 Processing 41/45: [menhir: dune build] -> installed zmq.5.1.3 Processing 42/45: [menhir: dune build] + /home/opam/.opam/4.14/bin/dune "build" "-p" "menhir" "-j" "255" (CWD=/home/opam/.opam/4.14/.opam-switch/build/menhir.20211128) - (cd _build/default/src/stage2 && .bin/menhir --no-pager --table --fixed-exception --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check - Read 101 sample input sentences and 101 error messages. - Read 101 sample input sentences and 48 error messages. - (cd _build/default && src/stage2/.bin/menhir --no-pager --table --fixed-exception --require-aliases --strict --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 194 states. - The grammar is not SLR(1) -- 5 states have a conflict. - The construction mode is no-pager. - Built an LR(1) automaton with 298 states. - One shift/reduce conflict was silently solved. - Extra reductions on error were added in 40 states. - Priority played a role in 0 of these states. - 152 out of 298 states have a default reduction. - The action table is 11324 entries; 1610 non-zero; 1359 compressed. - The action table occupies roughly 2816 bytes. - The goto table is 16986 entries; 329 non-zero; 636 compressed. - The goto table occupies roughly 1368 bytes. - The error table occupies roughly 1448 bytes. - The default_reduction table occupies roughly 336 bytes. - The lhs table occupies roughly 168 bytes. - The trace table occupies roughly 8 bytes. - (cd _build/default/src/stage2 && .bin/menhir --no-pager --table --fixed-exception --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml - Read 101 sample input sentences and 48 error messages. -> compiled menhir.20211128 -> installed menhir.20211128 Processing 44/45: [kind2: dune build] + /home/opam/.opam/4.14/bin/dune "build" "-p" "kind2" "-j" "255" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/kind2.1.3.0) - (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/.kind2dev.objs/byte -I src/.kind2dev.objs/native -I /home/opam/.opam/4.14/lib/dune-build-info -I /home/opam/.opam/4.14/lib/menhirLib -I /home/opam/.opam/4.14/lib/num -I /home/opam/.opam/4.14/lib/ocaml/threads -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdint -I /home/opam/.opam/4.14/lib/yojson -I /home/opam/.opam/4.14/lib/zmq -intf-suffix .ml -no-alias-deps -o src/.kind2dev.objs/native/pretty.cmx -c -impl src/utils/pretty.ml) - File "src/utils/pretty.ml", line 240, characters 15-52: - 240 | let old_fs = Format.pp_get_formatter_tag_functions formatter () in - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions - Use Format.pp_get_formatter_stag_functions. - File "src/utils/pretty.ml", line 241, characters 2-39: - 241 | Format.pp_set_formatter_tag_functions formatter - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions - This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions. - (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/.kind2dev.objs/byte -I src/.kind2dev.objs/native -I /home/opam/.opam/4.14/lib/dune-build-info -I /home/opam/.opam/4.14/lib/menhirLib -I /home/opam/.opam/4.14/lib/num -I /home/opam/.opam/4.14/lib/ocaml/threads -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdint -I /home/opam/.opam/4.14/lib/yojson -I /home/opam/.opam/4.14/lib/zmq -intf-suffix .ml -no-alias-deps -o src/.kind2dev.objs/native/lustreTransSys.cmx -c -impl src/lustre/lustreTransSys.ml) - File "src/lustre/lustreTransSys.ml", line 2327, characters 10-49: - 2327 | TransSys.add_invariant trans_sys t cert - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 5 [ignored-partial-application]: this function application is partial, - maybe some arguments are missing. - (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/.kind2dev.objs/byte -I src/.kind2dev.objs/native -I /home/opam/.opam/4.14/lib/dune-build-info -I /home/opam/.opam/4.14/lib/menhirLib -I /home/opam/.opam/4.14/lib/num -I /home/opam/.opam/4.14/lib/ocaml/threads -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdint -I /home/opam/.opam/4.14/lib/yojson -I /home/opam/.opam/4.14/lib/zmq -intf-suffix .ml -no-alias-deps -o src/.kind2dev.objs/native/iC3.cmx -c -impl src/ic3/IC3.ml) - File "src/ic3/IC3.ml", line 2021, characters 20-59: - 2021 | TransSys.add_invariant trans_sys i cert |> ignore - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 5 [ignored-partial-application]: this function application is partial, - maybe some arguments are missing. -> compiled kind2.1.3.0 -> installed kind2.1.3.0 Done. # Run eval $(opam env) to update the current shell environment 2024-01-29 19:04.57 ---> saved as "7e8c95f34efec986350cd4d2b8e63f0f2efe403d57a81b412e4b72005dc3c316" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u kind2:cf196898ce19273f8f239126700579f2")) 2024-01-29 19:04.58 ---> saved as "a916ee9926d225b77299bbc746bef07699cc40eff2445310d17c7359654e8c4d" /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.757717') && (for DATA in prep/universes/cf196898ce19273f8f239126700579f2/kind2/1.3.0,kind2.1.3.0-cf196898ce19273f8f239126700579f2,kind2.1.3.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/cf196898ce19273f8f239126700579f2/kind2/1.3.0,kind2.1.3.0-cf196898ce19273f8f239126700579f2,kind2.1.3.0; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/cf196898ce19273f8f239126700579f2/kind2/1.3.0,kind2.1.3.0-cf196898ce19273f8f239126700579f2,kind2.1.3.0; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) 0.757717 prep/universes/cf196898ce19273f8f239126700579f2/kind2/1.3.0/doc/ prep/universes/cf196898ce19273f8f239126700579f2/kind2/1.3.0/doc/kind2/ prep/universes/cf196898ce19273f8f239126700579f2/kind2/1.3.0/doc/kind2/CHANGES.md prep/universes/cf196898ce19273f8f239126700579f2/kind2/1.3.0/doc/kind2/LICENSE.rst prep/universes/cf196898ce19273f8f239126700579f2/kind2/1.3.0/doc/kind2/README.rst prep/universes/cf196898ce19273f8f239126700579f2/kind2/1.3.0/lib/ prep/universes/cf196898ce19273f8f239126700579f2/kind2/1.3.0/lib/kind2/ prep/universes/cf196898ce19273f8f239126700579f2/kind2/1.3.0/lib/kind2/META prep/universes/cf196898ce19273f8f239126700579f2/kind2/1.3.0/lib/kind2/dune-package prep/universes/cf196898ce19273f8f239126700579f2/kind2/1.3.0/opam Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. HASHES:kind2.1.3.0-cf196898ce19273f8f239126700579f2:a2462b53434b9215f9b638cb740699842a5086e2407bc3e51cc34cb4ffe43e92 2024-01-29 19:04.59 ---> saved as "071d6c21430a46190c48adba78b678d261ac1a64c9e3700adc325bafe2b41590" Job succeeded 2024-01-29 19:10.17: kind2.1.3.0-cf196898ce19273f8f239126700579f2 -> a2462b53434b9215f9b638cb740699842a5086e2407bc3e51cc34cb4ffe43e92 2024-01-29 19:10.17: Job succeeded