ocamlyices 0.7.1

Error log

The package failed to build. The error log from opam follows.

[NOTE] Package ocamlfind is already installed (current version is 1.9.8).
The following actions will be performed:
=== install 3 packages
  - install camlidl    1.12
  - install num        1.5-1
  - install ocamlyices 0.7.1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved num.1.5-1  (cached)
-> retrieved camlidl.1.12  (cached)
-> retrieved ocamlyices.0.7.1  (cached)
-> installed num.1.5-1
-> installed camlidl.1.12
[ERROR] The compilation of ocamlyices.0.7.1 failed at "./configure".

#=== ERROR while compiling ocamlyices.0.7.1 ===================================#
# context              2.3.0 | linux/x86_64 | ocaml-base-compiler.5.1.1 | file:///src
# path                 ~/.opam/5.1/.opam-switch/build/ocamlyices.0.7.1
# command              ~/.opam/5.1/.opam-switch/build/ocamlyices.0.7.1/./configure
# exit-code            1
# env-file             ~/.opam/log/ocamlyices-113-424279.env
# output-file          ~/.opam/log/ocamlyices-113-424279.out
### output ###
# 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.1.1
# checking for Ocaml stdlib path... /home/opam/.opam/5.1/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/5.1/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 report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build ocamlyices 0.7.1
+- 
+- The following changes have been performed
| - install camlidl 1.12
| - install num     1.5-1
+- 
# To update the current shell environment, run: eval $(opam env)

The former state can be restored with:
    /usr/bin/opam switch import "/home/opam/.opam/5.1/.opam-switch/backup/state-20250206044412.export"