Building on laodoke.caelum.ci.dev
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
Digest: sha256:867738023289fd26cdb69fad77687cf4ed3a8bf60dcddabdf3cc53c705746fd2
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-08-07 08:22.25 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-08-07 08:22.25 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 06a1064b82e87c7ef006235ec98f1c89487892c9"))
2025-08-07 08:22.25 ---> using "190c02cbe0dbf4a8b0af5361aa9e25640f87291c4fe861cc6cf855e0fda3a8c0" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally 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.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-08-07 08:22.25 ---> using "012c52728bded521bf1d53a4382a5dac829cfe1a6f3ed7b53cc733c53b2d91cb" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "sudo apt update && sudo apt install autoconf -y"))
WARNING: apt does not have a stable CLI interface. Use with caution in scripts.
Get:1 http://deb.debian.org/debian unstable InRelease [216 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-08-07-0205.44-F-2025-08-02-0804.37.pdiff [69.1 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-08-07-0205.44-F-2025-08-02-0804.37.pdiff [69.1 kB]
Fetched 348 kB in 2s (180 kB/s)
Reading package lists...
Building dependency tree...
Reading state information...
4 packages can be upgraded. Run 'apt list --upgradable' to see them.
WARNING: apt does not have a stable CLI interface. Use with caution in scripts.
Reading package lists...
Building dependency tree...
Reading state information...
Installing:
autoconf
Installing dependencies:
automake autotools-dev m4
Suggested packages:
autoconf-archive gnu-standards autoconf-doc libtool gettext m4-doc
Summary:
Upgrading: 0, Installing: 4, Removing: 0, Not Upgrading: 4
Download size: 1710 kB
Space needed: 5051 kB / 223 GB available
Get:1 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.19-8 [294 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3.1 [494 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20240727.1 [60.2 kB]
Get:4 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.17-4 [862 kB]
Fetched 1710 kB in 0s (27.5 MB/s)
Selecting previously unselected package m4.
(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 ... 20685 files and directories currently installed.)
Preparing to unpack .../archives/m4_1.4.19-8_amd64.deb ...
Unpacking m4 (1.4.19-8) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../autoconf_2.72-3.1_all.deb ...
Unpacking autoconf (2.72-3.1) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../autotools-dev_20240727.1_all.deb ...
Unpacking autotools-dev (20240727.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../automake_1%3a1.17-4_all.deb ...
Unpacking automake (1:1.17-4) ...
Setting up m4 (1.4.19-8) ...
Setting up autotools-dev (20240727.1) ...
Setting up autoconf (2.72-3.1) ...
Setting up automake (1:1.17-4) ...
update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode
2025-08-07 08:22.25 ---> using "159374d4dfbeb7f87b486ade5afe9a00b3d6b0bdba42573a1887cdb5e30fe45b" from cache
/: (run (network host)
(shell "git clone -q 'https://github.com/oxcaml/opam-repository' ~/'oxcaml' && git -C ~/'oxcaml' checkout -q 29656e8e76b4441b5b62db11d35d193e380298ca"))
2025-08-07 08:22.25 ---> using "b5848cf3bbbc0c4981e5d5e3d9bcec3b4c6b4225e188081cd30294eec97db7b4" from cache
/: (run (shell "opam repository add --dont-select 'oxcaml' ~/'oxcaml'"))
[oxcaml] Initialised
2025-08-07 08:22.25 ---> using "c846a1cc387dcbe1a71e6838f59ad7ff1920eabe18952f84a40fd0b2a4641443" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=oxcaml,default '5.2.0+flambda2' '5.2.0+ox'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-variants" {= "5.2.0+ox"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> installed conf-autoconf.0.2
-> installed conf-which.1
-> retrieved ocaml-variants.5.2.0+ox (https://github.com/oxcaml/oxcaml/archive/refs/tags/5.2.0minus-11-opam.tar.gz)
-> installed ocaml-variants.5.2.0+ox
-> installed ocaml-config.3
-> installed ocaml.5.2.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.2.0+flambda2)
2025-08-07 08:22.25 ---> using "059e4c8d9fde813aed5ba328af1b91f6cd5242b6bc0b704a2be07cd5d14bb4e8" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian unstable InRelease
- Reading package lists...
2025-08-07 08:22.25 ---> using "7b9500581933009c35fa6ed9ef22a28eda258d356f0b06a637af33ddf697e0af" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam remove -y operf-micro.1.1.3\
\nopam install -vy operf-micro.1.1.3\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: operf-micro.1.1.3 | grep -q 'debian-unstable'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi \
\n\
\n\
\nexit $res"))
[NOTE] operf-micro.1.1.3 is not installed.
Nothing to do.
The following actions will be performed:
=== install 1 package
- install operf-micro 1.1.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/3: [operf-micro.1.1.3: http]
Processing 1/3: [operf-micro.1.1.3: extract]
-> retrieved operf-micro.1.1.3 (https://github.com/OCamlPro/operf-micro/archive/refs/tags/operf-micro.1.1.3.tar.gz)
[operf-micro: subst] expanding opam variables in Makefile.conf.in, generating Makefile.conf
Processing 2/3: [operf-micro: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/operf-micro.1.1.3)
- make -C tools/operf-micro all
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/operf-micro.1.1.3/tools/operf-micro'
- echo "let name = \"operf-micro\"" > static_config.ml
- echo "let prefix = \"/home/opam/.opam/5.2.0+flambda2\"" >> static_config.ml
- ocamlc -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c static_config.mli
- ocamlopt -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c static_config.ml
- ocamlopt -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c utils.ml
- ocamlopt -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c files.ml
- ocamlyacc parser.mly
- ocamlc -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c files.ml
- ocamlc -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c parser.mli
- ocamlopt -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c parser.ml
- ocamllex lexer.mll
- 21 states, 475 transitions, table size 2026 bytes
- ocamlopt -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c lexer.ml
- ocamlc -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c loc.mli
- ocamlopt -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c loc.ml
- ocamlc -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c utils.ml
- ocamlc -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c command.mli
- ocamlopt -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c command.ml
- ocamlc -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c detect_config.mli
- ocamlopt -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c detect_config.ml
- ocamlc -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c benchmark.mli
- ocamlopt -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c benchmark.ml
- ocamlc -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c ransac.mli
- ocamlopt -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c ransac.ml
- ocamlc -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c measurements.mli
- ocamlopt -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c measurements.ml
- ocamlopt -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c builder.ml
- ocamlopt -w +1..45-4-44-42-40 -g -bin-annot -principal -I +unix -c main.ml
- ocamlopt -g -I +unix -o builder.opt unix.cmxa static_config.cmx utils.cmx files.cmx parser.cmx lexer.cmx loc.cmx command.cmx detect_config.cmx benchmark.cmx ransac.cmx measurements.cmx builder.cmx main.cmx
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/operf-micro.1.1.3/tools/operf-micro'
- make -C share/operf-micro all
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/operf-micro.1.1.3/share/operf-micro'
- ocamlc -c micro_bench_types.mli
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/operf-micro.1.1.3/share/operf-micro'
-> compiled operf-micro.1.1.3
Processing 3/3: [operf-micro: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/operf-micro.1.1.3)
- make -C tools/operf-micro all
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/operf-micro.1.1.3/tools/operf-micro'
- make[1]: Nothing to be done for 'all'.
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/operf-micro.1.1.3/tools/operf-micro'
- make -C share/operf-micro all
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/operf-micro.1.1.3/share/operf-micro'
- make[1]: Nothing to be done for 'all'.
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/operf-micro.1.1.3/share/operf-micro'
- make -C tools/operf-micro install
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/operf-micro.1.1.3/tools/operf-micro'
- mkdir -p /home/opam/.opam/5.2.0+flambda2/bin/
- cp -f builder.opt /home/opam/.opam/5.2.0+flambda2/bin//operf-micro
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/operf-micro.1.1.3/tools/operf-micro'
- make -C share/operf-micro install
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/operf-micro.1.1.3/share/operf-micro'
- mkdir -p /home/opam/.opam/5.2.0+flambda2/share//operf-micro/
- cp -a cycles.c micro_bench_run.ml micro_bench_types.ml micro_bench_types.mli time_stamp_counter.ml benchmarks /home/opam/.opam/5.2.0+flambda2/share//operf-micro/
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/operf-micro.1.1.3/share/operf-micro'
-> installed operf-micro.1.1.3
Done.
# To update the current shell environment, run: eval $(opam env)
2025-08-07 08:22.50 ---> saved as "e56ad7163d9e766f043711e0c3e4dcbf5a85c350272624e0a0116a163cee5ecd"
Job succeeded
Home|Differences with the last checks|Previous runs