2026-06-24 17:09.20: New job: build goblint-cil.1.8.2 (970113a51464)
2026-06-24 17:09.20: Waiting for resource in pool day11-builds
2026-06-24 17:59.43: Got resource from pool day11-builds
2026-06-24 17:59.43: [profile full] build goblint-cil.1.8.2
2026-06-24 17:59.43: build goblint-cil.1.8.2 (970113a51464)
=== DEPENDENCIES (25 transitive) ===
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  batteries.3.3.0                                    9d783c708b20
  conf-gmp.5                                         be11edf77089
  conf-perl.2                                        bdcd7b1dce5e
  conf-pkg-config.5                                  d5de2c6a88f9
  cppo.1.8.0                                         2e6d5a70492d
  dune.3.23.1                                        ec34fe9ebf2c
  num.1.6                                            0d0867ee79d1
  ocaml.4.12.1                                       dee35ad2ab01
  ocaml-base-compiler.4.12.1                         16a69ab1424d
  ocaml-compiler-libs.v0.12.4                        d8bb1449f899
  ocaml-config.2                                     e77f021f2144
  ocaml-secondary-compiler.4.14.2                    fb63d435ed9e
  ocamlbuild.0.16.1                                  2ce5a99932fe
  ocamlfind.1.9.6                                    8d8d9a490c0f
  ocamlfind-secondary.1.9.6                          e7e9f5a4b1a5
  ppx_derivers.1.2.1                                 e2df7d6ecda0
  ppx_deriving.6.0.3                                 896ec8b385ca
  ppx_deriving_yojson.3.9.1                          20252b744089
  ppxlib.0.35.0                                      c7a6ae2f7d8e
  sexplib0.v0.16.0                                   350e8583fe21
  stdlib-shims.0.3.0                                 1590dd69ad83
  yojson.3.0.0                                       9255a8519b65
  zarith.1.14                                        41a3771fe99d
=== 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/e0cadeda6c54405aaf9e41614855e395/default && /home/opam/.opam/default/bin/ocamlyacc src/frontc/cparser.mly)
- 1 shift/reduce conflict.
- (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.12.1
- 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... ocamlbuild
- 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
-> 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-24 18:00.24: OK: build goblint-cil.1.8.2 (runc: 24.7s, disk: 12KB)
2026-06-24 18:00.24: Job succeeded