* Package: sci-mathematics/why3-0.83 * Repository: science * Maintainer: sci-mathematics@gentoo.org * USE: abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox >>> Unpacking source... >>> Unpacking why3-0.83.tar.gz to /var/tmp/portage/sci-mathematics/why3-0.83/work >>> Source unpacked in /var/tmp/portage/sci-mathematics/why3-0.83/work >>> Preparing source in /var/tmp/portage/sci-mathematics/why3-0.83/work/why3-0.83 ... >>> Source prepared. >>> Configuring source in /var/tmp/portage/sci-mathematics/why3-0.83/work/why3-0.83 ... ./configure --prefix=/usr --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --libdir=/usr/lib64 --disable-frama-c checking executable suffix... checking for x86_64-pc-linux-gnu-gcc... x86_64-pc-linux-gnu-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 x86_64-pc-linux-gnu-gcc accepts -g... yes checking for x86_64-pc-linux-gnu-gcc option to accept ISO C89... none needed checking for ocamlc... ocamlc ocaml version is 4.11.1 ocaml library path is /usr/lib64/ocaml checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocamlopt.opt... ocamlopt.opt checking ocamlc.opt version... ok checking for ocamldep... ocamldep checking for ocamldep.opt... ocamldep.opt checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc checking for ocamldoc... ocamldoc checking for ocamldoc.opt... ocamldoc.opt checking for camlp5o... camlp5o checking for ocamlfind... yes checking for rubber... no configure: WARNING: Cannot find rubber, documentation disabled. ocamlfind found zarith in /usr/lib64/ocaml/zarith ocamlfind: Package `lablgtk2' not found checking for /usr/lib64/ocaml/lablgtk2/lablgtk.cma... no configure: WARNING: Lib lablgtk2 not found, IDE disabled. ocamlfind: Package `sqlite3' not found checking for /usr/lib64/ocaml/sqlite3/sqlite3.cma... no configure: WARNING: Lib sqlite3 not found, why3bench disabled. checking for coqc... coqc checking Coq version... configure: WARNING: You need Coq 8.4 or later; Coq discarded checking for pvs... no configure: WARNING: Cannot find pvs. checking for isabelle... no configure: WARNING: Cannot find isabelle. ocamlfind: Package `ocamlgraph' not found checking for /usr/lib64/ocaml/ocamlgraph/... no configure: WARNING: Lib ocamlgraph not found, hypothesis selection disabled. configure: creating ./config.status config.status: creating Makefile config.status: creating src/config.sh config.status: creating doc/version.tex config.status: creating lib/why3/META config.status: creating src/jessie/Makefile config.status: executing chmod commands Summary ----------------------------------------- Verbose make : no OCaml compiler : yes Version : 4.11.1 Library path : /usr/lib64/ocaml Native compilation : yes Profiling : no Zarith : yes IDE : no (lablgtk2 not found) Bench tool : no (sqlite3 not found) Documentation : no (rubber not found) Coq support : no (version is 8.12.0 but need version 8.4 or higher) PVS support : no (pvs not found) Isabelle support : no (isabelle not found) Frama-C support : no Hypothesis selection : no (ocamlgraph not found) Installable : yes Binary path : ${exec_prefix}/bin Lib path : /usr/lib64/why3 Data path : ${prefix}/share/why3 Ocaml Library : /usr/lib64/ocaml/why3 Relocatable : no >>> Source configured. >>> Compiling source in /var/tmp/portage/sci-mathematics/why3-0.83/work/why3-0.83 ... make -j1 -j1 Ocamllex src/why3doc/doc_lexer.mll 105 states, 991 transitions, table size 4594 bytes 1665 additional bytes used for bindings Ocamldep src/why3doc/doc_main.ml Ocamldep src/why3doc/doc_lexer.ml Ocamldep src/why3doc/doc_def.ml Ocamldep src/why3doc/doc_html.ml cp lib/ocaml/why3__BigInt_zarith.ml lib/ocaml/why3__BigInt.ml Ocamldep lib/ocaml/why3__Array.ml Ocamldep lib/ocaml/why3__IntAux.ml Ocamldep lib/ocaml/why3__BigInt.ml Ocamldep src/why3session/why3session.ml Ocamldep src/why3session/why3session_csv.ml Ocamldep src/why3session/why3session_run.ml Ocamldep src/why3session/why3session_output.ml Ocamldep src/why3session/why3session_rm.ml Ocamldep src/why3session/why3session_html.ml Ocamldep src/why3session/why3session_latex.ml Ocamldep src/why3session/why3session_info.ml Ocamldep src/why3session/why3session_copy.ml Ocamldep src/why3session/why3session_lib.ml Ocamldep src/why3replayer/replay.ml Ocamldep src/why3config/why3config.ml Ocamldep src/main.ml Ocamllex plugins/tptp/tptp_lexer.mll 101 states, 1563 transitions, table size 6858 bytes 3126 additional bytes used for bindings Ocamlyacc plugins/tptp/tptp_parser.mly Ocamllex plugins/parser/dimacs.mll 34 states, 434 transitions, table size 1940 bytes 1293 additional bytes used for bindings Ocamldep plugins/tptp/tptp_printer.ml Ocamldep plugins/tptp/tptp_lexer.ml Ocamldep plugins/tptp/tptp_typing.ml Ocamldep plugins/tptp/tptp_parser.ml Ocamldep plugins/tptp/tptp_ast.ml Ocamldep plugins/parser/dimacs.ml Ocamldep plugins/parser/genequlin.ml Generate src/util/config.ml Ocamllex src/util/rc.mll 48 states, 1889 transitions, table size 7844 bytes 3073 additional bytes used for bindings Ocamllex src/parser/lexer.mll 143 states, 3137 transitions, table size 13406 bytes 7548 additional bytes used for bindings Ocamlyacc src/parser/parser.mly Ocamlyacc src/driver/driver_parser.mly Ocamllex src/driver/driver_lexer.mll 29 states, 1101 transitions, table size 4578 bytes Ocamllex src/session/xml.mll 114 states, 1396 transitions, table size 6268 bytes 3538 additional bytes used for bindings Ocamldep src/whyml/mlw_interp.ml Ocamldep src/whyml/mlw_main.ml Ocamldep src/whyml/mlw_ocaml.ml Ocamldep src/whyml/mlw_driver.ml Ocamldep src/whyml/mlw_typing.ml Ocamldep src/whyml/mlw_dexpr.ml Ocamldep src/whyml/mlw_module.ml Ocamldep src/whyml/mlw_wp.ml Ocamldep src/whyml/mlw_pretty.ml Ocamldep src/whyml/mlw_decl.ml Ocamldep src/whyml/mlw_expr.ml Ocamldep src/whyml/mlw_ty.ml Ocamldep src/session/session_scheduler.ml Ocamldep src/session/session_tools.ml Ocamldep src/session/session.ml Ocamldep src/session/termcode.ml Ocamldep src/session/xml.ml Ocamldep src/printer/mathematica.ml Ocamldep src/printer/yices.ml Ocamldep src/printer/cvc3.ml Ocamldep src/printer/gappa.ml Ocamldep src/printer/simplify.ml Ocamldep src/printer/isabelle.ml Ocamldep src/printer/pvs.ml Ocamldep src/printer/coq.ml Ocamldep src/printer/smtv2.ml Ocamldep src/printer/smtv1.ml Ocamldep src/printer/why3printer.ml Ocamldep src/printer/alt_ergo.ml Ocamldep src/transform/smoke_detector.ml Ocamldep src/transform/instantiate_predicate.ml Ocamldep src/transform/eval_match.ml Ocamldep src/transform/eliminate_epsilon.ml Ocamldep src/transform/lift_epsilon.ml Ocamldep src/transform/close_epsilon.ml Ocamldep src/transform/abstraction.ml Ocamldep src/transform/introduction.ml Ocamldep src/transform/filter_trigger.ml Ocamldep src/transform/simplify_array.ml Ocamldep src/transform/encoding_sort.ml Ocamldep src/transform/encoding_twin.ml Ocamldep src/transform/encoding_tags.ml Ocamldep src/transform/encoding_guards.ml Ocamldep src/transform/encoding_tags_full.ml Ocamldep src/transform/encoding_guards_full.ml Ocamldep src/transform/encoding_select.ml Ocamldep src/transform/encoding.ml Ocamldep src/transform/discriminate.ml Ocamldep src/transform/libencoding.ml Ocamldep src/transform/eliminate_if.ml Ocamldep src/transform/eliminate_let.ml Ocamldep src/transform/eliminate_inductive.ml Ocamldep src/transform/eliminate_algebraic.ml Ocamldep src/transform/eliminate_definition.ml Ocamldep src/transform/induction.ml Ocamldep src/transform/split_goal.ml Ocamldep src/transform/inlining.ml Ocamldep src/transform/simplify_formula.ml Ocamldep src/driver/autodetection.ml Ocamldep src/driver/whyconf.ml Ocamldep src/driver/driver.ml Ocamldep src/driver/driver_lexer.ml Ocamldep src/driver/driver_parser.ml Ocamldep src/driver/driver_ast.ml Ocamldep src/driver/call_provers.ml Ocamldep src/parser/lexer.ml Ocamldep src/parser/typing.ml Ocamldep src/parser/parser.ml Ocamldep src/parser/glob.ml Ocamldep src/parser/ptree.ml Ocamldep src/core/printer.ml Ocamldep src/core/trans.ml Ocamldep src/core/env.ml Ocamldep src/core/dterm.ml Ocamldep src/core/pretty.ml Ocamldep src/core/task.ml Ocamldep src/core/theory.ml Ocamldep src/core/decl.ml Ocamldep src/core/pattern.ml Ocamldep src/core/term.ml Ocamldep src/core/ty.ml Ocamldep src/core/ident.ml Ocamldep src/util/pqueue.ml Ocamldep src/util/number.ml Ocamldep src/util/bigInt.ml Ocamldep src/util/plugin.ml Ocamldep src/util/rc.ml Ocamldep src/util/sysutil.ml Ocamldep src/util/warning.ml Ocamldep src/util/cmdline.ml Ocamldep src/util/print_tree.ml Ocamldep src/util/loc.ml Ocamldep src/util/debug.ml Ocamldep src/util/pp.ml Ocamldep src/util/exn_printer.ml Ocamldep src/util/stdlib.ml Ocamldep src/util/hashcons.ml Ocamldep src/util/weakhtbl.ml Ocamldep src/util/exthtbl.ml Ocamldep src/util/extset.ml Ocamldep src/util/extmap.ml Ocamldep src/util/strings.ml Ocamldep src/util/lists.ml Ocamldep src/util/opt.ml Ocamldep src/util/util.ml Ocamldep src/util/config.ml Ocamlopt src/util/config.ml Ocamlc src/util/bigInt.mli Ocamlopt src/util/bigInt.ml Ocamlc src/util/util.mli Ocamlopt src/util/util.ml Ocamlc src/util/opt.mli Ocamlopt src/util/opt.ml Ocamlc src/util/lists.mli Ocamlopt src/util/lists.ml Ocamlc src/util/strings.mli Ocamlopt src/util/strings.ml File "src/util/strings.ml", line 34, characters 12-25: 34 | let p = String.create i in ^^^^^^^^^^^^^ Alert deprecated: Stdlib.String.create Use Bytes.create instead. File "src/util/strings.ml", line 36, characters 4-15: 36 | String.fill p sl (i-sl) c; ^^^^^^^^^^^ Alert deprecated: Stdlib.String.fill Use Bytes.fill instead. File "src/util/strings.ml", line 39, characters 7-23: 39 | then String.sub s 0 i ^^^^^^^^^^^^^^^^ Error: This expression has type string but an expression was expected of type bytes make: *** [Makefile:1685: src/util/strings.cmx] Error 2 * ERROR: sci-mathematics/why3-0.83::science failed (compile phase): * emake failed * * If you need support, post the output of `emerge --info '=sci-mathematics/why3-0.83::science'`, * the complete build log and the output of `emerge -pqv '=sci-mathematics/why3-0.83::science'`. * The complete build log is located at '/var/log/portage/sci-mathematics:why3-0.83:20201119-113152.log'. * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/why3-0.83/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/why3-0.83/temp/environment'. * Working directory: '/var/tmp/portage/sci-mathematics/why3-0.83/work/why3-0.83' * S: '/var/tmp/portage/sci-mathematics/why3-0.83/work/why3-0.83'