Build:
- 0
2026-06-24 15:20.46: New job: build goblint-cil.1.8.0 (48675f9ed197) 2026-06-24 15:20.46: Waiting for resource in pool day11-builds 2026-06-24 16:47.18: Got resource from pool day11-builds 2026-06-24 16:47.18: [profile full] build goblint-cil.1.8.0 2026-06-24 16:47.18: build goblint-cil.1.8.0 (48675f9ed197) === DEPENDENCIES (23 transitive) === base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb batteries.3.10.0 3a8b7aeb2b17 camlp-streams.5.0.1 28f363162dde conf-gmp.5 be11edf77089 conf-perl.2 bdcd7b1dce5e conf-pkg-config.5 d5de2c6a88f9 cppo.1.8.0 5f3f70cae95b dune.3.23.1 848a72441e15 num.1.6 110cee7a7e2e ocaml.4.14.4 b047fb9251f4 ocaml-base-compiler.4.14.4 d3b7ccb2c6fb ocaml-compiler-libs.v0.12.4 2aecf989b0b2 ocaml-config.2 2d9c209f5590 ocamlfind.1.9.8 214dd418ac02 ppx_derivers.1.2.1 9245877bc46e ppx_deriving.6.1.1 3b885544a1c8 ppx_deriving_yojson.3.10.0 30f2f84088bf ppxlib.0.38.0 c54fe6e3bf29 sexplib0.v0.17.0 86d78ae8a795 stdlib-shims.0.3.0 de5202e23add yojson.3.0.0 99e7f342c6b3 zarith.1.14 a8971d2f668c === STDOUT === Processing: [default: loading data] [goblint-cil.1.8.0: dl] [goblint-cil.1.8.0: extract] -> retrieved goblint-cil.1.8.0 (https://opam.ocaml.org/cache) [goblint-cil: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "goblint-cil" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/goblint-cil.1.8.0) - (cd _build/.sandbox/ded5b15b2ea6e5c556cd5290c9affe95/default && /home/opam/.opam/default/bin/ocamlyacc src/frontc/cparser.mly) - 1 shift/reduce conflict. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.cil.objs/byte -I src/.cil.objs/native -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -o src/.cil.objs/native/pretty.cmx -c -impl src/ocamlutil/pretty.ml) - File "src/ocamlutil/pretty.ml", line 732, characters 26-38: - 732 | (Int64.format (Bytes.to_string format_spec) n)) - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Int64.format - Use Printf.sprintf with a [%L...] format instead. - File "src/ocamlutil/pretty.ml", line 742, characters 26-38: - 742 | (Int32.format (Bytes.to_string format_spec) n)) - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Int32.format - Use Printf.sprintf with a [%l...] format instead. - File "src/ocamlutil/pretty.ml", line 752, characters 26-42: - 752 | (Nativeint.format (Bytes.to_string format_spec) n)) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Nativeint.format - Use Printf.sprintf with a [%n...] format instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.cil.objs/byte -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -o src/.cil.objs/byte/pretty.cmo -c -impl src/ocamlutil/pretty.ml) - File "src/ocamlutil/pretty.ml", line 732, characters 26-38: - 732 | (Int64.format (Bytes.to_string format_spec) n)) - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Int64.format - Use Printf.sprintf with a [%L...] format instead. - File "src/ocamlutil/pretty.ml", line 742, characters 26-38: - 742 | (Int32.format (Bytes.to_string format_spec) n)) - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Int32.format - Use Printf.sprintf with a [%l...] format instead. - File "src/ocamlutil/pretty.ml", line 752, characters 26-42: - 752 | (Nativeint.format (Bytes.to_string format_spec) n)) - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Nativeint.format - Use Printf.sprintf with a [%n...] format instead. - (cd _build/default && ./configure) - checking build system type... x86_64-unknown-linux-gnu - checking host system type... x86_64-unknown-linux-gnu - checking for gcc... gcc - checking whether the C compiler works... yes - checking for C compiler default output file name... a.out - checking for suffix of executables... - checking whether we are cross compiling... no - checking for suffix of object files... o - checking whether we are using the GNU C compiler... yes - checking whether gcc accepts -g... yes - checking for gcc option to accept ISO C89... none needed - checking for a BSD-compatible install... /usr/bin/install -c - checking target system type... x86_64-unknown-linux-gnu - checking for msvc cl.exe (optional)... not found - checking for ocamlc... ocamlc - OCaml version is 4.14.4 - OCaml library path is /home/opam/.opam/default/lib/ocaml - checking for ocamlopt... ocamlopt - checking for ocamlc.opt... ocamlc.opt - checking for ocamlopt.opt... ocamlopt.opt - checking for dynlink.cmxa... yes - checking for ocaml... ocaml - checking for ocamldep... ocamldep - checking for ocamlmktop... ocamlmktop - checking for ocamlmklib... ocamlmklib - checking for ocamldoc... ocamldoc - checking for ocamlbuild... no - checking for ocamllex... ocamllex - checking for ocamllex.opt... ocamllex.opt - checking for ocamlyacc... ocamlyacc - checking for ocamlfind... ocamlfind - checking for perl... perl - checking for cygpath... no - checking for gcc version... checking how to run the C preprocessor... gcc -E - checking for grep that handles long lines and -e... /usr/bin/grep - checking for egrep... /usr/bin/grep -E - checking for ANSI C header files... yes - checking for sys/types.h... yes - checking for sys/stat.h... yes - checking for stdlib.h... yes - checking for string.h... yes - checking for memory.h... yes - checking for strings.h... yes - checking for inttypes.h... yes - checking for stdint.h... yes - checking for unistd.h... yes - checking for __builtin_va_list... yes - checking if __thread is a keyword... true - checking if gcc adds underscores to assembly labels.... false - checking for ANSI C header files... (cached) yes - checking for stdlib.h... (cached) yes - checking for strings.h... (cached) yes - checking sys/time.h usability... yes - checking sys/time.h presence... yes - checking for sys/time.h... yes - checking for unistd.h... (cached) yes - checking wchar.h usability... yes - checking wchar.h presence... yes - checking for wchar.h... yes - checking stdbool.h usability... yes - checking stdbool.h presence... yes - checking for stdbool.h... yes - checking for an ANSI C-conforming const... yes - checking for inline... inline - checking whether time.h and sys/time.h may both be included... yes - checking for intptr_t... yes - checking for working memcmp... yes - checking for mkdir... yes - checking for select... yes - checking for socket... yes - checking for __sysv_signal... yes - checking for real definition of size_t... unsigned long - checking for real definition of wchar_t... int - configure: creating ./config.status - config.status: creating stamp-h - config.status: creating Makefile - config.status: creating src/machdep-ml.c - config.status: creating src/cilversion.ml - config.status: creating config.h - - CIL configuration: - (optional) cl.exe found: HAS_MSVC no - gcc to use CC gcc - default compiler DEFAULT_COMPILER _GNUCC - CIL version CIL_VERSION 1.8.0 - Native OCaml CIL libs yes - (cd _build/default && /usr/bin/make machdep) - machdep-ml.exe created succesfully. - Generating machine dependency information for CIL - /bin/sh: 1: cl: not found - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.cil.objs/byte -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -o src/.cil.objs/byte/check.cmo -c -impl src/check.ml) - File "src/check.ml", line 661, characters 33-45: - 661 | (Int64.format "%d" i') (Int64.format "%d" i)); - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Int64.format - Use Printf.sprintf with a [%L...] format instead. - File "src/check.ml", line 661, characters 56-68: - 661 | (Int64.format "%d" i') (Int64.format "%d" i)); - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Int64.format - Use Printf.sprintf with a [%L...] format instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.cil.objs/byte -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -o src/.cil.objs/byte/cil.cmo -c -impl src/cil.ml) - File "src/cil.ml", line 1758, characters 32-44: - 1758 | text (prefix ^ "0x" ^ Int64.format "%x" i ^ suffix) - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Int64.format - Use Printf.sprintf with a [%L...] format instead. - File "src/cil.ml", line 4801, characters 15-27: - 4801 | (Int64.format fmt i) - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Int64.format - Use Printf.sprintf with a [%L...] format instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.cil.objs/byte -I src/.cil.objs/native -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -o src/.cil.objs/native/cil.cmx -c -impl src/cil.ml) - File "src/cil.ml", line 1758, characters 32-44: - 1758 | text (prefix ^ "0x" ^ Int64.format "%x" i ^ suffix) - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Int64.format - Use Printf.sprintf with a [%L...] format instead. - File "src/cil.ml", line 4801, characters 15-27: - 4801 | (Int64.format fmt i) - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Int64.format - Use Printf.sprintf with a [%L...] format instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.cil.objs/byte -I src/.cil.objs/native -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -o src/.cil.objs/native/check.cmx -c -impl src/check.ml) - File "src/check.ml", line 661, characters 33-45: - 661 | (Int64.format "%d" i') (Int64.format "%d" i)); - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Int64.format - Use Printf.sprintf with a [%L...] format instead. - File "src/check.ml", line 661, characters 56-68: - 661 | (Int64.format "%d" i') (Int64.format "%d" i)); - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Int64.format - Use Printf.sprintf with a [%L...] format instead. -> compiled goblint-cil.1.8.0 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config -> installed goblint-cil.1.8.0 === STDERR === 2026-06-24 16:48.27: OK: build goblint-cil.1.8.0 (runc: 27.1s, disk: 18KB) 2026-06-24 16:48.27: Job succeeded