ocamlyices
  1. Overview
  2. Docs
On This Page
  1. Error log

ocamlyices 0.7.1

Error log

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

You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
[NOTE] Package ocamlfind is already installed (current version is 1.9.5).
The following actions will be performed:
  - install camlidl    1.09
  - install num        1.4
  - install ocamlyices 0.7.1
===== 3 to install =====

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/9:
Processing  2/9:
Processing  3/9:
-> retrieved camlidl.1.09  (cached)
Processing  4/9: [camlidl: mv]
-> retrieved num.1.4  (cached)
Processing  5/9: [camlidl: mv] [num: make]
-> retrieved ocamlyices.0.7.1  (cached)
Processing  5/9: [camlidl: make all] [num: make]
- /usr/bin/make -C src all
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/num.1.4/src'
- ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c
- ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c
- ocamlmklib -oc nums bng.o nat_stubs.o
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -I . -shared -o nums.cmxs nums.cmxa
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/num.1.4/src'
- /usr/bin/make -C toplevel all
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/num.1.4/toplevel'
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top_printers.mli
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top_printers.ml
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top.mli
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top.ml
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -a -o num_top.cma num_top_printers.cmo num_top.cmo
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/num.1.4/toplevel'
-> compiled  num.1.4
Processing  5/9: [camlidl: make all]
Processing  6/9: [camlidl: make all] [num: ocamlfind remove]
- cd compiler; /usr/bin/make all
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/camlidl.1.09/compiler'
- rm -f config.ml
- sed -e 's|%%CPP%%|cpp|' \
-           config.mlp > config.ml
- chmod -w config.ml
- ocamlc -g -c config.mli
- ocamlc -g -c config.ml
- ocamlc -g -c utils.mli
- ocamlc -g -c utils.ml
- ocamlc -g -c clflags.ml
- ocamlc -g -c idltypes.mli
- ocamlc -g -c prefix.mli
- ocamlc -g -c prefix.ml
- ocamlc -g -c lexpr.mli
- ocamlc -g -c lexpr.ml
- ocamlc -g -c cvttyp.mli
- ocamlc -g -c cvttyp.ml
- ocamlc -g -c variables.mli
- ocamlc -g -c variables.ml
- ocamlc -g -c idlarray.mli
- ocamlc -g -c idlarray.ml
- ocamlc -g -c struct.mli
- ocamlc -g -c struct.ml
- ocamlc -g -c enum.mli
- ocamlc -g -c enum.ml
- ocamlc -g -c union.mli
- ocamlc -g -c union.ml
- ocamlc -g -c cvtval.mli
- ocamlc -g -c cvtval.ml
- ocamlc -g -c structdecl.mli
- ocamlc -g -c structdecl.ml
- ocamlc -g -c enumdecl.mli
- ocamlc -g -c enumdecl.ml
- ocamlc -g -c uniondecl.mli
- ocamlc -g -c uniondecl.ml
- ocamlc -g -c typedef.mli
- ocamlc -g -c typedef.ml
- ocamlc -g -c funct.mli
- ocamlc -g -c funct.ml
- ocamlc -g -c constdecl.mli
- ocamlc -g -c constdecl.ml
- ocamlc -g -c intf.mli
- ocamlc -g -c intf.ml
- ocamlc -g -c file.mli
- ocamlc -g -c file.ml
- ocamlc -g -c predef.mli
- ocamlc -g -c predef.ml
- ocamllex linenum.mll
- 16 states, 331 transitions, table size 1420 bytes
- ocamlc -g -c linenum.mli
- ocamlc -g -c linenum.ml
- ocamlc -g -c parse_aux.mli
- ocamlc -g -c parse_aux.ml
- ocamlyacc -v parser_midl.mly
- 12 shift/reduce conflicts, 4 reduce/reduce conflicts.
- ocamlc -g -c parser_midl.mli
- ocamlc -g -c parser_midl.ml
- ocamllex lexer_midl.mll
- 129 states, 1747 transitions, table size 7762 bytes
- ocamlc -g -c lexer_midl.mli
- ocamlc -g -c lexer_midl.ml
- ocamlc -g -c parse.mli
- ocamlc -g -c parse.ml
- ocamlc -g -c fixlabels.mli
- ocamlc -g -c fixlabels.ml
- ocamlc -g -c normalize.mli
- ocamlc -g -c normalize.ml
- ocamlc -g -c main.ml
- ocamlc -g -o camlidl config.cmo utils.cmo clflags.cmo prefix.cmo lexpr.cmo cvttyp.cmo variables.cmo idlarray.cmo struct.cmo enum.cmo union.cmo cvtval.cmo structdecl.cmo enumdecl.cmo uniondecl.cmo typedef.cmo funct.cmo constdecl.cmo intf.cmo file.cmo predef.cmo linenum.cmo parse_aux.cmo parser_midl.cmo lexer_midl.cmo parse.cmo fixlabels.cmo normalize.cmo main.cmo
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/camlidl.1.09/compiler'
- cd runtime; /usr/bin/make all
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/camlidl.1.09/runtime'
- ocamlc -g -ccopt "-Wall -g" idlalloc.c
- idlalloc.c: In function 'camlidl_find_enum':
- idlalloc.c:35:13: warning: "invalid_argument" is deprecated: use "caml_invalid_argument" instead
-    35 |   invalid_argument(errmsg);
-       |             ^~~~~~~~~~~~~~~                                                            
- idlalloc.c: In function 'camlidl_alloc_flag_list':
- idlalloc.c:47:13: warning: "alloc_small" is deprecated: use "caml_alloc_small" instead
-    47 |         value v = alloc_small(2, 0);
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~                                         
- idlalloc.c: In function 'camlidl_register_allocation':
- idlalloc.c:73:13: warning: "stat_alloc" is deprecated: use "caml_stat_alloc" instead
-    73 |       stat_alloc(sizeof(struct camlidl_block_list));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                       
- idlalloc.c: In function 'camlidl_malloc':
- idlalloc.c:95:13: warning: "stat_alloc" is deprecated: use "caml_stat_alloc" instead
-    95 |   void * res = stat_alloc(sz);
-       |             ^~~~~~~~~~~~~~~~~~                                             
- idlalloc.c:96:13: warning: "stat_free" is deprecated: use "caml_stat_free" instead
-    96 |   camlidl_register_allocation(stat_free, res, ctx);
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                      
- idlalloc.c: In function 'camlidl_free':
- idlalloc.c:108:13: warning: "stat_free" is deprecated: use "caml_stat_free" instead
-   108 |     stat_free(tmp);
-       |             ^~~~~~~                                                      
- idlalloc.c: In function 'camlidl_malloc_string':
- idlalloc.c:114:13: warning: "string_length" is deprecated: use "caml_string_length" instead
-   114 |   mlsize_t len = string_length(mlstring);
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~                                        
- ocamlc -g -ccopt "-Wall -g" comintf.c
- comintf.c: In function 'camlidl_pack_interface':
- comintf.c:37:13: warning: "alloc_final" is deprecated: use "caml_alloc_final" instead
-    37 |   value res = alloc_final(2, camlidl_finalize_interface, 0, 1);
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~              
- comintf.c: In function 'camlidl_make_interface':
- comintf.c:59:13: warning: "stat_alloc" is deprecated: use "caml_stat_alloc" instead
-    59 |     (struct camlidl_component *) stat_alloc(sizeof(struct camlidl_component));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- comintf.c:73:13: warning: "register_global_root" is deprecated: use "caml_register_global_root" instead
-    73 |   register_global_root(&(comp->intf[0].caml_object));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                                          
- comintf.c: In function 'camlidl_Release':
- comintf.c:128:13: warning: "remove_global_root" is deprecated: use "caml_remove_global_root" instead
-   128 |       remove_global_root(&(intf->caml_object));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                                            
- comintf.c:134:13: warning: "stat_free" is deprecated: use "caml_stat_free" instead
-   134 |     stat_free(comp);
-       |             ^~~~~~~~                                                     
- comintf.c: In function 'camlidl_com_combine':
- comintf.c:175:13: warning: "stat_alloc" is deprecated: use "caml_stat_alloc" instead
-   175 |         stat_alloc(sizeof(struct camlidl_component) +
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                      
- comintf.c:185:13: warning: "register_global_root" is deprecated: use "caml_register_global_root" instead
-   185 |     register_global_root(&(c->intf[i].caml_object));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                                           
- comintf.c: In function 'camlidl_com_create_instance':
- comintf.c:207:13: warning: "invalid_argument" is deprecated: use "caml_invalid_argument" instead
-   207 |   invalid_argument("Com.create_instance not implemented");
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                             
- comintf.c: In function 'camlidl_com_register_factory':
- comintf.c:235:13: warning: "stat_alloc" is deprecated: use "caml_stat_alloc" instead
-   235 |   struct camlidl_comp * c = stat_alloc(sizeof(struct camlidl_comp));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~       
- comintf.c:237:13: warning: "register_global_root" is deprecated: use "caml_register_global_root" instead
-   237 |   register_global_root(&(c->compdata));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~                                                        
- comintf.c: In function 'camlidl_com_parse_uid':
- comintf.c:250:13: warning: "string_length" is deprecated: use "caml_string_length" instead
-   250 |   if (string_length(str) != 36 ||
-       |             ^~~~~~~~~~~~~~~~~~~~~                                                
- comintf.c:255:13: warning: "alloc_small" is deprecated: use "caml_alloc_small" instead
-   255 |   res = alloc_small((sizeof(GUID) + sizeof(value) - 1) / sizeof(value),
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~      
- ocamlc -g -ccopt "-Wall -g" comerror.c
- comerror.c: In function 'camlidl_raise_error':
- comerror.c:37:13: warning: "invalid_argument" is deprecated: use "caml_invalid_argument" instead
-    37 |       invalid_argument("Exception Com.Error not initialized");
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                         
- comerror.c:40:13: warning: "copy_string" is deprecated: use "caml_copy_string" instead
-    40 |     vwho = copy_string(who);
-       |             ^~~~~~~~~~~~~~~~                                                 
- comerror.c:41:13: warning: "copy_string" is deprecated: use "caml_copy_string" instead
-    41 |     vmsg = copy_string(msg);
-       |             ^~~~~~~~~~~~~~~~                                                 
- comerror.c:42:13: warning: "alloc_small" is deprecated: use "caml_alloc_small" instead
-    42 |     bucket = alloc_small(4, 0);
-       |             ^~~~~~~~~~~~~~~~~~~                                              
- comerror.c:48:13: warning: "mlraise" is deprecated: use "caml_raise" instead
-    48 |   mlraise(bucket);
-       |             ^~~~~~                                                 
- comerror.c: In function 'camlidl_uncaught_exception':
- comerror.c:173:13: warning: "format_caml_exception" is deprecated: use "caml_format_exception" instead
-   173 |   char * msg = format_caml_exception(exn_bucket);
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                                           
- rm -f dllcamlidl.so
- ocamlmklib -o camlidl  idlalloc.o comintf.o comerror.o 
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/camlidl.1.09/runtime'
- cd lib; /usr/bin/make all
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/camlidl.1.09/lib'
- ocamlc -g -c com.mli
- ocamlc -g -c com.ml
- ocamlc -g -a -o com.cma -dllib -lcamlidl -cclib -lcamlidl com.cmo
- ocamlopt -c com.ml
- ocamlopt -a -o com.cmxa -cclib -lcamlidl com.cmx
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/camlidl.1.09/lib'
- cd tools; /usr/bin/make all
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/camlidl.1.09/tools'
- make[1]: Nothing to be done for 'all'.
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/camlidl.1.09/tools'
-> compiled  camlidl.1.09
Processing  6/9: [num: ocamlfind remove]
+ /home/opam/.opam/4.14/bin/ocamlfind "remove" "num" (CWD=/home/opam/.opam/4.14/.opam-switch/build/num.1.4)
- ocamlfind: [WARNING] No such file: /home/opam/.opam/4.14/lib/num/META
+ /home/opam/.opam/4.14/bin/ocamlfind "remove" "num-top" (CWD=/home/opam/.opam/4.14/.opam-switch/build/num.1.4)
- ocamlfind: [WARNING] No such file: /home/opam/.opam/4.14/lib/num-top/META
Processing  6/9: [num: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/num.1.4)
- /usr/bin/make -C src install
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/num.1.4/src'
- install -d /home/opam/.opam/4.14/lib/ocaml
- sed -e 's/%%VERSION%%/1.4/g' META.in > META
- ocamlfind install num META
- Installed /home/opam/.opam/4.14/lib/num/META
- rm -f META
- install -m 644 nums.cma libnums.a big_int.cmi nat.cmi num.cmi ratio.cmi arith_status.cmi big_int.mli nat.mli num.mli ratio.mli arith_status.mli big_int.cmti nat.cmti num.cmti ratio.cmti arith_status.cmti nums.cmxa nums.a int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx nums.cmxs /home/opam/.opam/4.14/lib/ocaml
- install -d /home/opam/.opam/4.14/lib/ocaml/stublibs
- install dllnums.so /home/opam/.opam/4.14/lib/ocaml/stublibs
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/num.1.4/src'
- /usr/bin/make -C toplevel install
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/num.1.4/toplevel'
- sed -e 's/%%VERSION%%/1.4/g' META.in > META
- ocamlfind install num-top META num_top.cma num_top.cmi num_top_printers.cmi
- Installed /home/opam/.opam/4.14/lib/num-top/num_top_printers.cmi
- Installed /home/opam/.opam/4.14/lib/num-top/num_top.cmi
- Installed /home/opam/.opam/4.14/lib/num-top/num_top.cma
- Installed /home/opam/.opam/4.14/lib/num-top/META
- rm -f META
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/num.1.4/toplevel'
-> installed num.1.4
-> installed camlidl.1.09
Processing  8/9: [ocamlyices: ./configure]
+ /home/opam/.opam/4.14/.opam-switch/build/ocamlyices.0.7.1/./configure  (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocamlyices.0.7.1)
- 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... 4.14.0
- checking for Ocaml stdlib path... /home/opam/.opam/4.14/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/4.14/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... /bin/grep
- checking for egrep... /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.1 failed at "./configure".

#=== ERROR while compiling ocamlyices.0.7.1 ===================================#
# context              2.1.3 | linux/x86_64 | ocaml-base-compiler.4.14.0 | file:///src
# path                 ~/.opam/4.14/.opam-switch/build/ocamlyices.0.7.1
# command              ~/.opam/4.14/.opam-switch/build/ocamlyices.0.7.1/./configure
# exit-code            1
# env-file             ~/.opam/log/ocamlyices-260-c15813.env
# output-file          ~/.opam/log/ocamlyices-260-c15813.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... 4.14.0
# checking for Ocaml stdlib path... /home/opam/.opam/4.14/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/4.14/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... /bin/grep
# checking for egrep... /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.09
| - install num     1.4
+- 
# Run eval $(opam env) to update the current shell environment

The former state can be restored with:
    /usr/bin/opam switch import "/home/opam/.opam/4.14/.opam-switch/backup/state-20221210193019.export"
'opam --cli=2.1 install ocamlyices.0.7.1 camlidl.1.09 num.1.4 ocamlfind.1.9.5 --verbose --yes --confirm-level=unsafe-yes' failed.