Building on x86-bm-c8.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
25fab027ffef: Pulling fs layer
25fab027ffef: Verifying Checksum
25fab027ffef: Download complete
25fab027ffef: Pull complete
Digest: sha256:00c8fa21003c73535c54d476b1a5da8f00157ae8e69ed0802828b81c31dcd75f
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-05-11 08:42.54 ---> 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-05-11 08:42.54 ---> 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 0d013e603b5ebf0e9b404e10d5a6839f226e1739"))
2025-05-11 08:42.54 ---> using "ba691fcd1e6a6933d86676a5956798a33485251a7773cdc85bbcb8bc10de7787" 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-05-11 08:42.54 ---> using "37994383d0922ffe4fc14a481504ca4a090a36b7b12fca5453c37cee0fe783d2" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam switch create --repositories=default '5.3-opam' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"} | "ocaml-system" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-compiler.5.3.0 (cached)
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.3-opam)
2025-05-11 08:42.54 ---> using "308116583b513fdc7b023cc41f667a0497ea0794a5aadd1cd6c494a4d826c83f" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [205 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-05-11-0205.36-F-2025-05-04-0821.28.pdiff [434 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-05-11-0205.36-F-2025-05-04-0821.28.pdiff [434 kB]
- Fetched 703 kB in 2s (292 kB/s)
- Reading package lists...
-
2025-05-11 08:42.54 ---> using "6e3f30bdb18d3f001f5fde54736f8683e0c9941ffe5410c2638f3a07bfcd6abd" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam pin add -k version dune $(opam show -f version dune)"))
dune is now pinned to version 3.18.2
The following actions will be performed:
=== install 1 package
- install dune 3.18.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.18.2 (cached)
-> installed dune.3.18.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-05-11 08:42.54 ---> using "62db504db63ad18d511c2725cb4b92b5285d4549694da84c6e4c39c1766a5f95" from cache
/: (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 "opam remove -y gbddml.2.71.15\
\nopam install -vy gbddml.2.71.15\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: gbddml.2.71.15 | 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] gbddml.2.71.15 is not installed.
Nothing to do.
The following actions will be performed:
=== install 2 packages
- install camlidl 1.12 [required by gbddml]
- install gbddml 2.71.15
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/6: [camlidl.1.12: extract]
Processing 2/6: [camlidl.1.12: extract] [gbddml.2.71.15: extract]
-> retrieved camlidl.1.12 (cached)
Processing 2/6: [gbddml.2.71.15: extract]
Processing 3/6: [gbddml.2.71.15: extract] [camlidl: mv]
-> retrieved gbddml.2.71.15 (cached)
Processing 3/6: [camlidl: mv]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "mv" "config/Makefile.unix" "config/Makefile" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.12)
Processing 3/6: [camlidl: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.12)
- cd compiler; make all
- make[1]: Entering directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.12/compiler'
- rm -f config.ml
- sed -e 's|%%CPP%%|cpp|' \
- config.mlp > config.ml
- chmod -w config.ml
- ocamlc -g -c config.mli
- ocamlc -g -c config.ml
- ocamlc -g -c utils.mli
- ocamlc -g -c utils.ml
- ocamlc -g -c clflags.ml
- ocamlc -g -c idltypes.mli
- ocamlc -g -c prefix.mli
- ocamlc -g -c prefix.ml
- ocamlc -g -c lexpr.mli
- ocamlc -g -c lexpr.ml
- ocamlc -g -c cvttyp.mli
- ocamlc -g -c cvttyp.ml
- ocamlc -g -c variables.mli
- ocamlc -g -c variables.ml
- ocamlc -g -c idlarray.mli
- ocamlc -g -c idlarray.ml
- ocamlc -g -c struct.mli
- ocamlc -g -c struct.ml
- ocamlc -g -c enum.mli
- ocamlc -g -c enum.ml
- ocamlc -g -c union.mli
- ocamlc -g -c union.ml
- ocamlc -g -c cvtval.mli
- ocamlc -g -c cvtval.ml
- ocamlc -g -c structdecl.mli
- ocamlc -g -c structdecl.ml
- ocamlc -g -c enumdecl.mli
- ocamlc -g -c enumdecl.ml
- ocamlc -g -c uniondecl.mli
- ocamlc -g -c uniondecl.ml
- ocamlc -g -c typedef.mli
- ocamlc -g -c typedef.ml
- ocamlc -g -c funct.mli
- ocamlc -g -c funct.ml
- ocamlc -g -c constdecl.mli
- ocamlc -g -c constdecl.ml
- ocamlc -g -c intf.mli
- ocamlc -g -c intf.ml
- ocamlc -g -c file.mli
- ocamlc -g -c file.ml
- ocamlc -g -c predef.mli
- ocamlc -g -c predef.ml
- ocamllex linenum.mll
- 16 states, 331 transitions, table size 1420 bytes
- ocamlc -g -c linenum.mli
- ocamlc -g -c linenum.ml
- ocamlc -g -c parse_aux.mli
- ocamlc -g -c parse_aux.ml
- ocamlyacc -v parser_midl.mly
- 12 shift/reduce conflicts, 4 reduce/reduce conflicts.
- ocamlc -g -c parser_midl.mli
- ocamlc -g -c parser_midl.ml
- ocamllex lexer_midl.mll
- 129 states, 1747 transitions, table size 7762 bytes
- ocamlc -g -c lexer_midl.mli
- ocamlc -g -c lexer_midl.ml
- ocamlc -g -c parse.mli
- ocamlc -g -c parse.ml
- ocamlc -g -c fixlabels.mli
- ocamlc -g -c fixlabels.ml
- ocamlc -g -c normalize.mli
- ocamlc -g -c normalize.ml
- ocamlc -g -c main.ml
- ocamlc -g -o camlidl config.cmo utils.cmo clflags.cmo prefix.cmo lexpr.cmo cvttyp.cmo variables.cmo idlarray.cmo struct.cmo enum.cmo union.cmo cvtval.cmo structdecl.cmo enumdecl.cmo uniondecl.cmo typedef.cmo funct.cmo constdecl.cmo intf.cmo file.cmo predef.cmo linenum.cmo parse_aux.cmo parser_midl.cmo lexer_midl.cmo parse.cmo fixlabels.cmo normalize.cmo main.cmo
- make[1]: Leaving directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.12/compiler'
- cd runtime; make all
- make[1]: Entering directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.12/runtime'
- ocamlc -g -ccopt "-Wall -g" idlalloc.c
- ocamlc -g -ccopt "-Wall -g" comintf.c
- ocamlc -g -ccopt "-Wall -g" comerror.c
- rm -f dllcamlidl.so
- ocamlmklib -o camlidl idlalloc.o comintf.o comerror.o
- make[1]: Leaving directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.12/runtime'
- cd lib; make all
- make[1]: Entering directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.12/lib'
- ocamlc -g -c com.mli
- ocamlc -g -c com.ml
- ocamlc -g -a -o com.cma -dllib -lcamlidl -cclib -lcamlidl com.cmo
- ocamlopt -c com.ml
- ocamlopt -a -o com.cmxa -cclib -lcamlidl com.cmx
- make[1]: Leaving directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.12/lib'
- cd tools; make all
- make[1]: Entering directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.12/tools'
- make[1]: Nothing to be done for 'all'.
- make[1]: Leaving directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.12/tools'
-> compiled camlidl.1.12
-> installed camlidl.1.12
Processing 5/6: [gbddml: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "gbddml" "-j" "31" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/gbddml.2.71.15)
- (cd _build/default/lib/gbddml && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -D_FILE_OFFSET_BITS=64 -x c++ -g -O2 -fno-operator-names -fPIC -g -I /home/opam/.opam/5.3-opam/lib/ocaml -I /home/opam/.opam/5.3-opam/lib/camlidl -o gbdd.o -c gbdd.c)
- gbdd.c: In member function 'int GBddMemory::alloc_page()':
- gbdd.c:1143:36: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister]
- 1143 | register GBddNode* ptr = &(page[1].node);
- | ^~~
- gbdd.c:1144:36: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister]
- 1144 | register GBddNode* nxt = &(page[2].node);
- | ^~~
- gbdd.c:1145:30: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister]
- 1145 | register int k = size;
- | ^
-> compiled gbddml.2.71.15
-> installed gbddml.2.71.15
Done.
<><> gbddml.2.71.15 installed successfully ><><><><><><><><><><><><><><><><><><>
=> The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/
# To update the current shell environment, run: eval $(opam env)
2025-05-11 08:43.18 ---> saved as "4e2ada9edef21ac895e80e36780110298b657ba1316ddf9dd652011d4d9b65f2"
Job succeeded
Home|Differences with the last checks|Previous runs