2026-06-16 11:55.22: New job: build qbf.0.3 (fb430211a763)
2026-06-16 11:55.22: Waiting for resource in pool day11-builds
2026-06-16 12:26.26: Got resource from pool day11-builds
2026-06-16 12:26.26: [profile full] build qbf.0.3
2026-06-16 12:26.26: build qbf.0.3 (fb430211a763)
=== DEPENDENCIES (7 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  dune.3.23.1                                        d50060dd2cab
  ocaml.5.4.1                                        708fed352b2a
  ocaml-base-compiler.5.4.1                          89b85703f841
  ocaml-compiler.5.4.1                               a719b8419b8e
  ocaml-config.3                                     aa27f63940d8
=== STDOUT ===
Processing: [default: loading data]
[qbf.0.3: dl]
[qbf.0.3: extract]
-> retrieved qbf.0.3  (https://opam.ocaml.org/cache)
[qbf: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "qbf" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/qbf.0.3)
- (cd _build/default/libs && /usr/bin/make picosat-960/libpicosat.a quantor-3.2/libquantor.a)
- cd picosat-960/; ./configure
- version ... 960
- debug ... no
- log ... no
- stats ... no
- trace ... no
- static ... no
- shared ... no
- targets ... picosat picomcs picomus picogcnf libpicosat.a
- cc ... gcc
- ar ... ar
- ranlib ... ranlib
- cflags ...  -Wall -Wextra -DNDEBUG -O3
- makefile ... done
- cd picosat-960/;\
- make CFLAGS="-fPIC $(grep CFLAGS= makefile | cut -d= -f2)" libpicosat.a;\
- ranlib libpicosat.a
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/qbf.0.3/_build/default/libs/picosat-960'
- gcc -fPIC  -Wall -Wextra -DNDEBUG -O3 -c picosat.c
- rm -f config.h; ./mkconfig > config.h
- gcc -fPIC  -Wall -Wextra -DNDEBUG -O3 -c version.c
- ar rc libpicosat.a picosat.o version.o
- ranlib libpicosat.a
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/qbf.0.3/_build/default/libs/picosat-960'
- cd quantor-3.2/; ./configure --picosat=../picosat-960
- version ... 3.2
- debug ... no
- log ... yes (level 2)
- stats ... yes (level 1)
- check ... no
- fast allocation ... yes
- CC ... gcc
- CC type ... gcc
- ar ... ar
- ranlib ... ranlib
- CC version ... 12
- static ... no
- CFLAGS ... -Wall -W -O3 -DNDEBUG -fno-strict-aliasing
- RAWCFLAGS ... 
- funex ... no (no funex directory found)
- limmat ... no (no limmat directory found)
- nanosat ... no (no nanosat directory found)
- compsat ... no (no compsat directory found)
- booleforce ... no (no booleforce directory found)
- picosat ... yes (in '../picosat-960')
- INC ... -I../picosat-960
- LIB ... -L../picosat-960 -lpicosat
- Word ... unsigned long
- Signature ... unsigned
- signature bits ... 32
- double precision int ... long
- Lit alignment ... 32
- qbfeval usage ... no
- Makefile ... done
- config.h ... done
- cleaning up ... done
- cd quantor-3.2/;\
- make CFLAGS="-fPIC $(grep CFLAGS= Makefile | cut -d= -f2)" libquantor.a
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/qbf.0.3/_build/default/libs/quantor-3.2'
- rm -f options.c; ./genopts < options.sh > options.c
- gcc -fPIC -Wall -W -O3 -DNDEBUG -fno-strict-aliasing -I../picosat-960 -c quantor.c
- ar rc libquantor.a quantor.o
- ranlib libquantor.a
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/qbf.0.3/_build/default/libs/quantor-3.2'
-> compiled  qbf.0.3
-> installed qbf.0.3

=== STDERR ===

2026-06-16 12:26.44: OK: build qbf.0.3 (runc: 9.7s, disk: 7KB)
2026-06-16 12:26.44: Job succeeded