2026-09-03 22:58.43: New job: build goblint-cil.1.8.2 (f88fd810604a)
2026-09-03 22:58.43: Waiting for resource in pool day11-builds
2026-09-03 23:53.12: Got resource from pool day11-builds
2026-09-03 23:53.12: [profile full] build goblint-cil.1.8.2
2026-09-03 23:53.12: build goblint-cil.1.8.2 (f88fd810604a)
=== DEPENDENCIES (25 transitive) ===
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  batteries.3.3.0                                    08dc5e69f6d3
  conf-gmp.5                                         eac5259e412f
  conf-perl.2                                        f520f20c9658
  conf-pkg-config.5                                  74f50f3cfe72
  cppo.1.8.0                                         d985c37e6252
  dune.3.24.2                                        03fddf396e0b
  num.1.6                                            77382141c2d9
  ocaml.4.12.1                                       40bf037a0516
  ocaml-base-compiler.4.12.1                         e714dfd3f0fe
  ocaml-compiler-libs.v0.12.4                        02b0760118b6
  ocaml-config.2                                     75bd2fc1f23b
  ocaml-secondary-compiler.4.14.2                    d66c1c5ac958
  ocamlbuild.0.16.1                                  b436c8ee2909
  ocamlfind.1.9.6                                    b1980dc27cfd
  ocamlfind-secondary.1.9.6                          cd09f5be8757
  ppx_derivers.1.2.1                                 a5c1b1ed9e33
  ppx_deriving.6.0.3                                 09d892a5d48a
  ppx_deriving_yojson.3.9.1                          6be3cd490b19
  ppxlib.0.35.0                                      ea8160e6b152
  sexplib0.v0.16.0                                   8f0a4e97f83a
  stdlib-shims.0.3.0                                 d07c91089280
  yojson.3.0.0                                       5e3b9784c7aa
  zarith.1.14                                        58b54426ae3e
=== 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/d9dab027bfb25787c57c44ab24de9e5e/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-09-03 23:53.42: OK: build goblint-cil.1.8.2 (runc: 22.2s, disk: 12KB)
2026-09-03 23:53.42: Job succeeded