Building on doris.caelum.ci.dev
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
0edddaa103ac: Pulling fs layer
0edddaa103ac: Verifying Checksum
0edddaa103ac: Download complete
0edddaa103ac: Pull complete
Digest: sha256:97e6d73dd518b0e2c0d4d9e4c6acfe110be57a8c0518b1067c0698bfc6ddc0d6
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-02-08 09:10.13 ---> 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-02-08 09:10.13 ---> 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 d87296a7b656d47b7042e7e608a5fa863b3a51f9"))
2025-02-08 09:10.13 ---> using "cc1ed69ecb833da04281a4f8a25977e86e869debb3dd684deaa27a7c3be1d0d2" 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-02-08 09:10.14 ---> using "f5e09d6e59ffa701af535e5d56b82c13bc5405c8613f86e4fe31b897c2a2fd97" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '5.2' '5.2.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.2.0"} | "ocaml-system" {= "5.2.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-base-compiler.5.2.0 (cached)
-> installed ocaml-base-compiler.5.2.0
-> 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)
2025-02-08 09:10.14 ---> using "4db4481ee0b8d125b1883947a85aa22b7993cec44a71de2e780001ff4c9f862f" 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-02-07-2039.17-F-2025-02-07-1431.11.pdiff [51.0 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-02-07-2039.17-F-2025-02-07-1431.11.pdiff [51.0 kB]
- Fetched 320 kB in 2s (211 kB/s)
- Reading package lists...
-
2025-02-08 09:10.14 ---> using "d377f25847e20ef38b921b14f17a0bbfa37d7a5999c5dae923d9d66a9477f322" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam 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\
\n"))
Nothing to do.
[NOTE] gbddml.2.71.15 is not installed.
The following actions will be performed:
=== install 3 packages
- install camlidl 1.12 [required by gbddml]
- install dune 3.17.2 [required by gbddml]
- install gbddml 2.71.15
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/9: [camlidl.1.12: extract]
Processing 2/9: [camlidl.1.12: extract] [dune.3.17.2: extract]
Processing 3/9: [camlidl.1.12: extract] [dune.3.17.2: extract] [gbddml.2.71.15: extract]
-> retrieved camlidl.1.12 (cached)
Processing 3/9: [dune.3.17.2: extract] [gbddml.2.71.15: extract]
Processing 4/9: [dune.3.17.2: extract] [gbddml.2.71.15: extract] [camlidl: mv]
-> retrieved dune.3.17.2 (cached)
Processing 4/9: [gbddml.2.71.15: extract] [camlidl: mv]
Processing 5/9: [gbddml.2.71.15: extract] [camlidl: mv] [dune: ocaml 255]
-> retrieved gbddml.2.71.15 (cached)
Processing 5/9: [camlidl: mv] [dune: ocaml 255]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "mv" "config/Makefile.unix" "config/Makefile" (CWD=/home/opam/.opam/5.2/.opam-switch/build/camlidl.1.12)
Processing 5/9: [camlidl: make all] [dune: ocaml 255]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/5.2/.opam-switch/build/camlidl.1.12)
- cd compiler; make all
- make[1]: Entering directory '/home/opam/.opam/5.2/.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.2/.opam-switch/build/camlidl.1.12/compiler'
- cd runtime; make all
- make[1]: Entering directory '/home/opam/.opam/5.2/.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.2/.opam-switch/build/camlidl.1.12/runtime'
- cd lib; make all
- make[1]: Entering directory '/home/opam/.opam/5.2/.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.2/.opam-switch/build/camlidl.1.12/lib'
- cd tools; make all
- make[1]: Entering directory '/home/opam/.opam/5.2/.opam-switch/build/camlidl.1.12/tools'
- make[1]: Nothing to be done for 'all'.
- make[1]: Leaving directory '/home/opam/.opam/5.2/.opam-switch/build/camlidl.1.12/tools'
-> compiled camlidl.1.12
Processing 5/9: [dune: ocaml 255]
-> installed camlidl.1.12
Processing 6/9: [dune: ocaml 255]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "255" (CWD=/home/opam/.opam/5.2/.opam-switch/build/dune.3.17.2)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot -I +unix unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 255
-
Processing 6/9: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "255" (CWD=/home/opam/.opam/5.2/.opam-switch/build/dune.3.17.2)
-> compiled dune.3.17.2
-> installed dune.3.17.2
Processing 8/9: [gbddml: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "gbddml" "-j" "255" (CWD=/home/opam/.opam/5.2/.opam-switch/build/gbddml.2.71.15)
- (cd _build/default/lib/gbddml && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 -x c++ -g -O2 -fno-operator-names -fPIC -g -I /home/opam/.opam/5.2/lib/ocaml -I /home/opam/.opam/5.2/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-02-08 09:10.44 ---> saved as "ef4eb936dba77dbcc3bb1be68d98d86ea67e4ffeabfb7dd1999312e93a9b1981"
Job succeeded
Home|Differences with the last checks|Previous runs