2026-06-20 15:52.59: New job: build ocamlyices.0.7.0 (427618dadf36)
2026-06-20 15:52.59: Waiting for resource in pool day11-builds
2026-06-20 16:00.09: Got resource from pool day11-builds
2026-06-20 16:00.09: [profile full] build ocamlyices.0.7.0
2026-06-20 16:00.09: build ocamlyices.0.7.0 (427618dadf36)
=== DEPENDENCIES (7 transitive) ===
  camlidl.1.13-1                                     3987f09f9485
  compiler-cloning.enabled                           0d2606125f88
  num.1.6                                            94f72f650e98
  ocaml.5.5.0                                        1b4132bddf48
  ocaml-base-compiler.5.5.0                          1901c3a760c1
  ocaml-compiler.5.5.0                               5f593a0b4a8c
  ocamlfind.1.9.8                                    5b46f9d92bbd
=== STDOUT ===
Processing: [default: loading data]
[ocamlyices.0.7.0: dl]
[ocamlyices.0.7.0: extract]
-> retrieved ocamlyices.0.7.0  (https://opam.ocaml.org/cache)
[ocamlyices: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/ocamlyices.0.7.0/./configure  (CWD=/home/opam/.opam/default/.opam-switch/build/ocamlyices.0.7.0)
- 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 we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking for g++... g++
- checking whether we are using the GNU C++ compiler... yes
- checking whether g++ accepts -g... yes
- checking for ranlib... ranlib
- checking for ocamlc... ocamlc
- checking for Ocaml version... 5.5.0
- checking for Ocaml stdlib path... /home/opam/.opam/default/lib/ocaml
- checking for ocamlfind... ocamlfind
- checking for ocamlopt... ocamlopt
- checking for Ocaml version consistency... yes
- checking for ocamldoc... ocamldoc
- checking for camlidl... camlidl
- checking for camlidl's package... /home/opam/.opam/default/lib/camlidl
- configure: add camlidl to library search path
- checking how to run the C preprocessor... gcc -E
- checking for grep that handles long lines and -e... /usr/bin/grep
- checking for egrep... /usr/bin/grep -E
- checking for ANSI C header files... 
- yes
- checking for sys/types.h... yes
- checking for sys/stat.h... yes
- checking for stdlib.h... yes
- checking for string.h... yes
- checking for memory.h... yes
- checking for strings.h... yes
- checking for inttypes.h... yes
- checking for stdint.h... yes
- checking for unistd.h... yes
- checking caml/camlidlruntime.h usability... yes
- checking caml/camlidlruntime.h presence... yes
- checking for caml/camlidlruntime.h... yes
- checking for __gmpz_init... no
- checking for yices_version... no
- configure: error: Cannot find yices.
- 
- Please download and install Yices 1.0.34 or more recent (but not 2).
- (1) Download the tarball from Yices' official website:
-   http://yices.csl.sri.com/download.shtml
- (2) Install it on your system (libraries and headers).
- You may use either the following command as root:
-   wget -q -O- http://git.io/sWxMmg | sh -s yices-XYZ.tar.gz
- or this one as a sudoer:
-   wget -q -O- http://git.io/sWxMmg | sudo sh -s yices-XYZ.tar.gz
- In both case, yices-XYZ.tar.gz should be replaced with the path to the
- downloaded tarball. Also, additional parameters can be added to specify
- installation directories (root and library path), e.g.:
-   wget -q -O- http://git.io/sWxMmg | sh -s <yices-XYZ.tar.gz> /opt /opt/lib64
-   
[ERROR] The compilation of ocamlyices.0.7.0 failed at "./configure".
build failed... 

=== STDERR ===

2026-06-20 16:00.18: FAILED: build ocamlyices.0.7.0
2026-06-20 16:00.18: Job failed: build failed: ocamlyices.0.7.0