2026-06-24 11:10.44: New job: build qbf.0.3 (ab373e729a03)
2026-06-24 11:10.44: Waiting for resource in pool day11-builds
2026-06-24 11:38.43: Got resource from pool day11-builds
2026-06-24 11:38.43: [profile full] build qbf.0.3
2026-06-24 11:38.43: build qbf.0.3 (ab373e729a03)
=== DEPENDENCIES (7 transitive) ===
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  compiler-cloning.enabled                           439a1fc77aa6
  dune.3.23.1                                        a59dd9b14fe3
  ocaml.5.5.0                                        383268832c4b
  ocaml-base-compiler.5.5.0                          522c248944c8
  ocaml-compiler.5.5.0                               eb1a8babf54c
=== 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-24 11:39.04: OK: build qbf.0.3 (runc: 10.2s, disk: 8KB)
2026-06-24 11:39.04: Job succeeded