Build:
- 0
2026-06-23 16:53.53: New job: build goblint-cil.1.8.2 (561d49f9168a) 2026-06-23 16:53.53: Waiting for resource in pool day11-builds 2026-06-23 18:41.50: Got resource from pool day11-builds 2026-06-23 18:41.50: [profile full] build goblint-cil.1.8.2 2026-06-23 18:41.50: build goblint-cil.1.8.2 (561d49f9168a) === DEPENDENCIES (23 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d batteries.3.10.0 8ce9dee731cf camlp-streams.5.0.1 76b76cc9fe05 conf-gmp.5 61e3c79e0ddf conf-perl.2 9ee1ae5f2bf1 conf-pkg-config.5 4b60827fc174 cppo.1.8.0 ea583d2d3bbb dune.3.23.1 5402470d931c num.1.6 480227ca99db ocaml.4.14.4 cb826ea44eb2 ocaml-base-compiler.4.14.4 d2f775f983d7 ocaml-compiler-libs.v0.12.4 d1dd1437b449 ocaml-config.2 669e0fcf9e4d ocamlfind.1.9.8 6025f4a8e98e ppx_derivers.1.2.1 441538dbecd1 ppx_deriving.6.1.1 4c7646da994d ppx_deriving_yojson.3.10.0 c12ce7d2c11a ppxlib.0.38.0 a3e9cb715835 sexplib0.v0.17.0 7af37899b3a0 stdlib-shims.0.3.0 e2dd0beb9112 yojson.3.0.0 7c8ad8b6539f zarith.1.14 da8b932acb94 === STDOUT === Processing: [default: loading data] [goblint-cil.1.8.2: dl] [goblint-cil.1.8.2: extract] -> retrieved goblint-cil.1.8.2 (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.2) - (cd _build/.sandbox/19f457cc700cc634c635c272c090561a/default && /home/opam/.opam/default/bin/ocamlyacc src/frontc/cparser.mly) - 1 shift/reduce conflict. - (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 && /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 && ./configure) - checking build system type... x86_64-pc-linux-gnu - checking host system type... x86_64-pc-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 the compiler supports GNU C... yes - checking whether gcc accepts -g... yes - checking for gcc option to enable C11 features... none needed - checking for a BSD-compatible install... /usr/bin/install -c - checking target system type... x86_64-pc-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 for stdio.h... yes - checking for stdlib.h... yes - checking for string.h... yes - checking for inttypes.h... yes - checking for stdint.h... yes - checking for strings.h... yes - checking for sys/stat.h... yes - checking for sys/types.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 stdlib.h... (cached) yes - checking for strings.h... (cached) yes - checking for sys/time.h... yes - checking for unistd.h... (cached) yes - checking for wchar.h... yes - checking for stdbool.h... yes - checking for an ANSI C-conforming const... yes - checking for inline... inline - 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.2 - 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 1777, characters 32-44: - 1777 | 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 4829, characters 15-27: - 4829 | (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 1777, characters 32-44: - 1777 | 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 4829, characters 15-27: - 4829 | (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.2 -> installed goblint-cil.1.8.2 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config === STDERR === 2026-06-23 18:46.12: OK: build goblint-cil.1.8.2 (runc: 27.2s, disk: 18KB) 2026-06-23 18:46.12: Job succeeded