To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
On This Page
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.
On This Page