To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
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.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page