Attachment 877257 Details for Bug 919248 – sci-mathematics:alt-ergo-2.4.3:20231205-004121.log

sci-mathematics:alt-ergo-2.4.3:20231205-004121.log

sci-mathematics:alt-ergo-2.4.3:20231205-004121.log (text/plain), 37.34 KB, created by Toralf Förster on 2023-12-05 08:08:18 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Toralf Förster

Created: 2023-12-05 08:08:18 UTC

Size: 37.34 KB

patch

obsolete

> * Package:    sci-mathematics/alt-ergo-2.4.3:0/2.4.3
> * Repository: gentoo
> * Maintainer: ml@gentoo.org sci-mathematics@gentoo.org
> * Upstream:   https://github.com/OCamlPro/alt-ergo/issues/
> * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux ocamlopt
> * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox
>
>>>> Unpacking source...
>>>> Unpacking alt-ergo-2.4.3.tar.gz to /var/tmp/portage/sci-mathematics/alt-ergo-2.4.3/work
>>>> Source unpacked in /var/tmp/portage/sci-mathematics/alt-ergo-2.4.3/work
>>>> Preparing source in /var/tmp/portage/sci-mathematics/alt-ergo-2.4.3/work/alt-ergo-2.4.3 ...
> * Applying alt-ergo-2.4.3-dune.patch ...
> [ ok ]
>>>> Source prepared.
>>>> Configuring source in /var/tmp/portage/sci-mathematics/alt-ergo-2.4.3/work/alt-ergo-2.4.3 ...
>Using provided value for 'prefix' : /usr
>Using provided value for 'libdir' : /usr/lib64
>Using default value for 'mandir' : /usr/man
>Generating file src/lib/util/config.ml...done.
>Generating file src/bin/text/flags.dune...done.
>Generating file Makefile.config...done.
>Good to go!
>>>> Source configured.
>>>> Compiling source in /var/tmp/portage/sci-mathematics/alt-ergo-2.4.3/work/alt-ergo-2.4.3 ...
> * dune build @install --display=short --profile release -j 4 --for-release-of-packages=alt-ergo-lib,alt-ergo-parsers,alt-ergo
>      menhir src/parsers/native_parser__mock.ml.mock
>      ocamlc src/parsers/.AltErgoParsers.objs/byte/altErgoParsers.{cmi,cmo,cmt}
>    ocamlopt src/parsers/.AltErgoParsers.objs/native/altErgoParsers.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib.{cmi,cmo,cmt}
>    ocamlopt src/bin/text/.Main_text.eobjs/native/build_info__Build_info_data.{cmx,o}
>    ocamllex src/parsers/native_lexer.ml
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib.{cmx,o}
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__ZarithNumbers.impl.d
>    ocamldep src/parsers/.AltErgoParsers.objs/altErgoParsers__Psmt2_to_alt_ergo.impl.d
>    ocamldep src/bin/common/.alt_ergo_common.objs/alt_ergo_common__Solving_loop.impl.d
>      ocamlc src/plugins/fm-simplex/.FmSimplexPlugin.objs/byte/fmSimplexPlugin.{cmi,cmo,cmt}
>    ocamldep src/parsers/.AltErgoParsers.objs/native_parser__mock.impl.d
>      ocamlc src/plugins/AB-Why3/.ABWhy3Plugin.objs/byte/aBWhy3Plugin.{cmi,cmo,cmt}
>    ocamldep src/plugins/fm-simplex/.FmSimplexPlugin.objs/fmSimplexPlugin__Simplex_cache.impl.d
>    ocamlopt src/plugins/fm-simplex/.FmSimplexPlugin.objs/native/fmSimplexPlugin.{cmx,o}
>    ocamldep src/plugins/AB-Why3/.ABWhy3Plugin.objs/aBWhy3Plugin__Why3_ptree.impl.d
>    ocamlopt src/plugins/AB-Why3/.ABWhy3Plugin.objs/native/aBWhy3Plugin.{cmx,o}
>      ocamlc src/bin/common/.alt_ergo_common.objs/byte/alt_ergo_common.{cmi,cmo,cmt}
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Ac.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Adt.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Adt_rel.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Arrays.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Arith.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Bitv_rel.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Bitv.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Arrays_rel.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Ccx.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Commands.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Config.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Cnf.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Emap.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Enum.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Enum_rel.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Errors.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Explanation.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Fpa_rounding.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Frontend.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Expr.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Gc_debug.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Hconsing.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Fun_sat.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Hstring.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Iheap.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Inequalities.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Input.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Instances.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Ite.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Ite_rel.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Intervals.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Lists.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__IntervalCalculus.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Loc.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Matching.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__MyDynlink.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__MyUnix.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Numbers.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__NumsNumbers.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Options.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Parsed.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Parsed_interface.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Polynome.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Printer.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Profiling.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Records.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Records_rel.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Relation.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Sat_solver.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Sat_solver_sig.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Satml.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Satml_frontend.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Satml_frontend_hybrid.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Satml_types.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Steps.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Shostak.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Th_util.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Symbols.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Theory.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Timers.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Ty.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Typed.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Uf.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Typechecker.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Use.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Util.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Var.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Vec.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Version.impl.d
>    ocamldep src/parsers/.AltErgoParsers.objs/altErgoParsers__MyZip.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Xliteral.impl.d
>    ocamldep src/parsers/.AltErgoParsers.objs/altErgoParsers__MyZip.impl.d
>    ocamldep src/parsers/.AltErgoParsers.objs/altErgoParsers__Native_lexer.impl.d
>    ocamldep src/parsers/.AltErgoParsers.objs/altErgoParsers__Parsers.intf.d
>    ocamldep src/parsers/.AltErgoParsers.objs/altErgoParsers__Parsers.impl.d
>    ocamldep src/parsers/.AltErgoParsers.objs/altErgoParsers__Parsers_loader.intf.d
>    ocamldep src/parsers/.AltErgoParsers.objs/altErgoParsers__Parsers_loader.impl.d
>    ocamldep src/parsers/.AltErgoParsers.objs/altErgoParsers__Psmt2_to_alt_ergo.intf.d
>    ocamldep src/bin/common/.alt_ergo_common.objs/alt_ergo_common__Input_frontend.impl.d
>    ocamldep src/bin/common/.alt_ergo_common.objs/alt_ergo_common__Signals_profiling.impl.d
>    ocamldep src/bin/common/.alt_ergo_common.objs/alt_ergo_common__Parse_command.impl.d
>    ocamllex src/plugins/AB-Why3/why3_lexer.ml
>    ocamlopt src/bin/common/.alt_ergo_common.objs/native/alt_ergo_common.{cmx,o}
>      menhir src/plugins/AB-Why3/why3_parser__mock.ml.mock
>    ocamldep src/plugins/fm-simplex/.FmSimplexPlugin.objs/fmSimplexPlugin__FmSimplexIneqs.impl.d
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Config.{cmi,cmo,cmt}
>    ocamldep src/plugins/AB-Why3/.ABWhy3Plugin.objs/aBWhy3Plugin__Why3_loc.impl.d
>    ocamldep src/plugins/fm-simplex/.FmSimplexPlugin.objs/fmSimplexPlugin__Simplex.impl.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Ac.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Adt.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Adt_rel.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Arith.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Arrays.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Arrays_rel.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Bitv.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Bitv_rel.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Ccx.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Cnf.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Commands.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Emap.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Enum.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Enum_rel.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Errors.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Explanation.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Expr.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Fpa_rounding.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Frontend.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Fun_sat.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Gc_debug.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Hconsing.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Hstring.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Iheap.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Inequalities.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Input.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Instances.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__IntervalCalculus.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Intervals.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Ite.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Ite_rel.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Lists.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Loc.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Matching.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Matching_types.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__MyDynlink.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__MyUnix.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Numbers.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__NumbersInterface.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__NumsNumbers.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Options.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Parsed.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Parsed_interface.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Polynome.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Profiling.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Printer.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Records.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Records_rel.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Relation.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Sat_solver.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Sat_solver_sig.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Satml.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Satml_frontend.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Satml_frontend_hybrid.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Satml_types.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Shostak.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Sig.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Sig_rel.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Steps.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Symbols.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Th_util.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Theory.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Timers.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Ty.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Typechecker.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Typed.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Uf.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Use.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Util.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Var.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Vec.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Version.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Xliteral.intf.d
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__ZarithNumbers.intf.d
>    ocamldep src/bin/common/.alt_ergo_common.objs/alt_ergo_common__Signals_profiling.intf.d
>    ocamldep src/plugins/fm-simplex/.FmSimplexPlugin.objs/fmSimplexPlugin__FmSimplexIneqs.intf.d
>    ocamldep src/plugins/AB-Why3/.ABWhy3Plugin.objs/aBWhy3Plugin__Why3_loc.intf.d
>    ocamldep src/plugins/AB-Why3/.ABWhy3Plugin.objs/aBWhy3Plugin__Why3_ptree.intf.d
>    ocamldep src/bin/common/.alt_ergo_common.objs/alt_ergo_common__Input_frontend.intf.d
>    ocamldep src/bin/common/.alt_ergo_common.objs/alt_ergo_common__Parse_command.intf.d
>    ocamldep src/bin/common/.alt_ergo_common.objs/alt_ergo_common__Solving_loop.intf.d
>    ocamldep src/plugins/AB-Why3/.ABWhy3Plugin.objs/aBWhy3Plugin__Why3_lexer.impl.d
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Config.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Emap.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Gc_debug.{cmi,cmti}
>    ocamldep src/plugins/AB-Why3/.ABWhy3Plugin.objs/why3_parser__mock.impl.d
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Hconsing.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Hstring.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Iheap.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Lists.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Loc.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__MyDynlink.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__MyUnix.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__NumbersInterface.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Steps.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Timers.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Util.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Vec.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Version.{cmi,cmti}
>      ocamlc src/lib/.formatshims.eobjs/byte/dune__exe__Formatshims.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ty.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Var.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Emap.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Lists.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Lists.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Printer.{cmi,cmti}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Emap.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__MyUnix.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Numbers.{cmi,cmti}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__MyUnix.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__NumsNumbers.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__ZarithNumbers.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Iheap.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Util.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Util.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Version.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Version.{cmx,o}
>    ocamlopt src/lib/.formatshims.eobjs/native/dune__exe__Formatshims.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Errors.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Options.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Symbols.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__NumsNumbers.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__ZarithNumbers.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__NumsNumbers.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Numbers.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__ZarithNumbers.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__MyDynlink.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Errors.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Gc_debug.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Options.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Hconsing.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Loc.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Hstring.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Steps.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Timers.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Var.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Vec.{cmo,cmt}
>    ocamlopt src/lib/formatshims.exe    
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Parsed.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ty.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Symbols.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Typed.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Xliteral.{cmi,cmti}
> formatshims src/lib/format_shims.ml    
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Parsed.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Parsed_interface.{cmi,cmti}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Numbers.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Expr.{cmi,cmti}
>    ocamldep src/lib/.AltErgoLib.objs/altErgoLib__Format_shims.impl.d
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Input.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Typed.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Xliteral.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Commands.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Parsed_interface.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Fpa_rounding.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Profiling.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Sig.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml_types.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Format_shims.{cmi,cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Options.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Input.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Cnf.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Commands.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Typechecker.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Fpa_rounding.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ac.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Arrays.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Adt.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Profiling.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Bitv.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ite.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Enum.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Polynome.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Records.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Explanation.{cmi,cmti}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Format_shims.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Hconsing.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Printer.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Loc.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Expr.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml_types.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Vec.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Arrays.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ac.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Cnf.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ite.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Enum.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Adt.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Arith.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Bitv.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Polynome.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Shostak.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Records.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Matching_types.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Th_util.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Explanation.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Hstring.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Typechecker.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Printer.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Iheap.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Use.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Inequalities.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Th_util.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Arith.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Intervals.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Matching.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Uf.{cmi,cmti}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Var.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Timers.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Gc_debug.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Shostak.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Use.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Inequalities.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Ty.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Intervals.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Sig_rel.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Matching.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Adt_rel.{cmi,cmti}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Errors.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Arrays_rel.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Bitv_rel.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Enum_rel.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ccx.{cmi,cmti}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Symbols.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__IntervalCalculus.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ite_rel.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Records_rel.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Uf.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Relation.{cmi,cmti}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__MyDynlink.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Steps.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Bitv_rel.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Arrays_rel.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Theory.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Enum_rel.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Adt_rel.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Parsed.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Typed.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Xliteral.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ite_rel.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Records_rel.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Relation.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Instances.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Sat_solver_sig.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ccx.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Theory.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml_frontend_hybrid.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__IntervalCalculus.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Input.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Sat_solver_sig.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Frontend.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Fun_sat.{cmi,cmti}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Parsed_interface.{cmx,o}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml_frontend.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Instances.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Sat_solver.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml_frontend_hybrid.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Frontend.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml_frontend.{cmo,cmt}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Sat_solver.{cmo,cmt}
>      ocamlc src/parsers/.AltErgoParsers.objs/byte/altErgoParsers__MyZip.{cmi,cmti}
>      ocamlc src/parsers/.AltErgoParsers.objs/byte/altErgoParsers__Parsers.{cmi,cmti}
>      ocamlc src/parsers/.AltErgoParsers.objs/byte/altErgoParsers__Parsers_loader.{cmi,cmti}
>      ocamlc src/parsers/.AltErgoParsers.objs/byte/altErgoParsers__Psmt2_to_alt_ergo.{cmi,cmti}
>      ocamlc src/plugins/fm-simplex/.FmSimplexPlugin.objs/byte/fmSimplexPlugin__FmSimplexIneqs.{cmi,cmti}
>      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Fun_sat.{cmo,cmt}
>      ocamlc src/parsers/.AltErgoParsers.objs/byte/altErgoParsers__MyZip.{cmo,cmt}
>      ocamlc src/parsers/.AltErgoParsers.objs/byte/altErgoParsers__Parsers_loader.{cmo,cmt}
>      ocamlc src/parsers/.AltErgoParsers.objs/byte/altErgoParsers__Parsers.{cmo,cmt}
>      ocamlc src/plugins/fm-simplex/.FmSimplexPlugin.objs/byte/fmSimplexPlugin__Simplex.{cmi,cmo,cmt}
>      ocamlc src/parsers/native_parser__mock.mli.inferred
>      ocamlc src/lib/AltErgoLib.cma      
>      ocamlc src/plugins/fm-simplex/.FmSimplexPlugin.objs/byte/fmSimplexPlugin__Simplex_cache.{cmi,cmo,cmt}
>      ocamlc src/parsers/.AltErgoParsers.objs/byte/altErgoParsers__Psmt2_to_alt_ergo.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Expr.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Commands.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Fpa_rounding.{cmx,o}
>      menhir src/parsers/native_parser.{ml,mli}
>      ocamlc src/plugins/fm-simplex/.FmSimplexPlugin.objs/byte/fmSimplexPlugin__FmSimplexIneqs.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Arrays.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Ac.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Adt.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Profiling.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Ite.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Enum.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Polynome.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Records.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Bitv.{cmx,o}
>    ocamldep src/parsers/.AltErgoParsers.objs/altErgoParsers__Native_parser.intf.d
>      ocamlc src/plugins/fm-simplex/FmSimplexPlugin.cma
>    ocamldep src/parsers/.AltErgoParsers.objs/altErgoParsers__Native_parser.impl.d
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Cnf.{cmx,o}
>      ocamlc src/parsers/.AltErgoParsers.objs/byte/altErgoParsers__Native_parser.{cmi,cmti}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Satml_types.{cmx,o}
>      ocamlc src/parsers/.AltErgoParsers.objs/byte/altErgoParsers__Native_lexer.{cmi,cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Arith.{cmx,o}
>      ocamlc src/bin/common/.alt_ergo_common.objs/byte/alt_ergo_common__Input_frontend.{cmi,cmti}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Explanation.{cmx,o}
>      ocamlc src/plugins/AB-Why3/.ABWhy3Plugin.objs/byte/aBWhy3Plugin__Why3_loc.{cmi,cmti}
>      ocamlc src/plugins/AB-Why3/.ABWhy3Plugin.objs/byte/aBWhy3Plugin__Why3_ptree.{cmi,cmti}
>      ocamlc src/bin/common/.alt_ergo_common.objs/byte/alt_ergo_common__Parse_command.{cmi,cmti}
>File "src/bin/common/.alt_ergo_common.objs/byte/_unknown_", line 1, characters 0-0:
>      ocamlc src/bin/common/.alt_ergo_common.objs/byte/alt_ergo_common__Solving_loop.{cmi,cmti} (got signal SEGV)
>(cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -w -22 -g -bin-annot -I src/bin/common/.alt_ergo_common.objs/byte -I /usr/lib64/ocaml/camlzip -I /usr/lib64/ocaml/cmdliner -I /usr/lib64/ocaml/dune-build-info -I /usr/lib64/ocaml/ocplib-simplex -I /usr/lib64/ocaml/psmt2-frontend -I /usr/lib64/ocaml/stdlib-shims -I /usr/lib64/ocaml/zarith -I /usr/lib64/ocaml/zip -I src/lib/.AltErgoLib.objs/byte -I src/parsers/.AltErgoParsers.objs/byte -no-alias-deps -open Alt_ergo_common -o src/bin/common/.alt_ergo_common.objs/byte/alt_ergo_common__Solving_loop.cmi -c -intf src/bin/common/solving_loop.mli)
>      ocamlc src/bin/common/.alt_ergo_common.objs/byte/alt_ergo_common__Signals_profiling.{cmi,cmti}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Intervals.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Typechecker.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Shostak.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Th_util.{cmx,o}
>      ocamlc src/plugins/AB-Why3/.ABWhy3Plugin.objs/byte/aBWhy3Plugin__Why3_loc.{cmo,cmt}
>      ocamlc src/plugins/AB-Why3/.ABWhy3Plugin.objs/byte/aBWhy3Plugin__Why3_ptree.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Use.{cmx,o}
>      ocamlc src/plugins/AB-Why3/why3_parser__mock.mli.inferred
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Matching.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Inequalities.{cmx,o}
>      menhir src/plugins/AB-Why3/why3_parser.{ml,mli}
>    ocamldep src/plugins/AB-Why3/.ABWhy3Plugin.objs/aBWhy3Plugin__Why3_parser.intf.d
>      ocamlc src/plugins/AB-Why3/.ABWhy3Plugin.objs/byte/aBWhy3Plugin__Why3_parser.{cmi,cmti}
>      ocamlc src/plugins/AB-Why3/.ABWhy3Plugin.objs/byte/aBWhy3Plugin__Why3_lexer.{cmi,cmo,cmt}
>    ocamldep src/plugins/AB-Why3/.ABWhy3Plugin.objs/aBWhy3Plugin__Why3_parser.impl.d
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Uf.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Bitv_rel.{cmx,o}
>      ocamlc src/parsers/.AltErgoParsers.objs/byte/altErgoParsers__Native_parser.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Adt_rel.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Arrays_rel.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Enum_rel.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Records_rel.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Ite_rel.{cmx,o}
>      ocamlc src/parsers/AltErgoParsers.cma       
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__IntervalCalculus.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Relation.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Ccx.{cmx,o}
>      ocamlc src/plugins/AB-Why3/.ABWhy3Plugin.objs/byte/aBWhy3Plugin__Why3_parser.{cmo,cmt}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Theory.{cmx,o}
>      ocamlc src/plugins/AB-Why3/ABWhy3Plugin.cma 
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Sat_solver_sig.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Instances.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Frontend.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Satml.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Satml_frontend_hybrid.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Satml_frontend.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Fun_sat.{cmx,o}
>    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Sat_solver.{cmx,o}
>    ocamlopt src/parsers/.AltErgoParsers.objs/native/altErgoParsers__MyZip.{cmx,o}
>    ocamlopt src/parsers/.AltErgoParsers.objs/native/altErgoParsers__Parsers_loader.{cmx,o}
>    ocamlopt src/lib/AltErgoLib.{a,cmxa}          
>    ocamlopt src/parsers/.AltErgoParsers.objs/native/altErgoParsers__Parsers.{cmx,o}
>    ocamlopt src/parsers/.AltErgoParsers.objs/native/altErgoParsers__Psmt2_to_alt_ergo.{cmx,o}
>    ocamlopt src/lib/AltErgoLib.cmxs              
>    ocamlopt src/plugins/fm-simplex/.FmSimplexPlugin.objs/native/fmSimplexPlugin__Simplex.{cmx,o}
>    ocamlopt src/plugins/fm-simplex/.FmSimplexPlugin.objs/native/fmSimplexPlugin__Simplex_cache.{cmx,o}
>    ocamlopt src/plugins/fm-simplex/.FmSimplexPlugin.objs/native/fmSimplexPlugin__FmSimplexIneqs.{cmx,o}
>    ocamlopt src/plugins/fm-simplex/FmSimplexPlugin.{a,cmxa}
>    ocamlopt src/plugins/fm-simplex/FmSimplexPlugin.cmxs
>    ocamlopt src/parsers/.AltErgoParsers.objs/native/altErgoParsers__Native_parser.{cmx,o}
>    ocamlopt src/parsers/.AltErgoParsers.objs/native/altErgoParsers__Native_lexer.{cmx,o}
>    ocamlopt src/parsers/AltErgoParsers.{a,cmxa}  
>    ocamlopt src/bin/common/.alt_ergo_common.objs/native/alt_ergo_common__Input_frontend.{cmx,o}
>    ocamlopt src/plugins/AB-Why3/.ABWhy3Plugin.objs/native/aBWhy3Plugin__Why3_loc.{cmx,o}
>    ocamlopt src/bin/common/.alt_ergo_common.objs/native/alt_ergo_common__Signals_profiling.{cmx,o}
>    ocamlopt src/plugins/AB-Why3/.ABWhy3Plugin.objs/native/aBWhy3Plugin__Why3_ptree.{cmx,o}
>    ocamlopt src/parsers/AltErgoParsers.cmxs      
>    ocamlopt src/bin/common/.alt_ergo_common.objs/native/alt_ergo_common__Parse_command.{cmx,o}
>    ocamlopt src/plugins/AB-Why3/.ABWhy3Plugin.objs/native/aBWhy3Plugin__Why3_parser.{cmx,o}
>    ocamlopt src/plugins/AB-Why3/.ABWhy3Plugin.objs/native/aBWhy3Plugin__Why3_lexer.{cmx,o}
>    ocamlopt src/plugins/AB-Why3/ABWhy3Plugin.{a,cmxa}
>    ocamlopt src/plugins/AB-Why3/ABWhy3Plugin.cmxs
> * ERROR: sci-mathematics/alt-ergo-2.4.3::gentoo failed (compile phase):
> *   Failed to run command: dune build @install --display=short --profile release -j 4 --for-release-of-packages=alt-ergo-lib,alt-ergo-parsers,alt-ergo
> * 
> * Call stack:
> *     ebuild.sh, line 136:  Called src_compile
> *   environment, line 784:  Called dune-compile 'alt-ergo-lib' 'alt-ergo-parsers' 'alt-ergo'
> *   environment, line 421:  Called dune-release 'build' '--target' '@install' 'alt-ergo-lib' 'alt-ergo-parsers' 'alt-ergo'
> *   environment, line 462:  Called edune 'build' '@install' '--display=short' '--profile' 'release' '-j' '4' '--for-release-of-packages=alt-ergo-lib,alt-ergo-parsers,alt-ergo'
> *   environment, line 628:  Called edo 'dune' 'build' '@install' '--display=short' '--profile' 'release' '-j' '4' '--for-release-of-packages=alt-ergo-lib,alt-ergo-parsers,alt-ergo'
> *   environment, line 617:  Called die
> * The specific snippet of code:
> *       "$@" || die -n "Failed to run command: $@"
> * 
> * If you need support, post the output of `emerge --info '=sci-mathematics/alt-ergo-2.4.3::gentoo'`,
> * the complete build log and the output of `emerge -pqv '=sci-mathematics/alt-ergo-2.4.3::gentoo'`.
> * The complete build log is located at '/var/log/portage/sci-mathematics:alt-ergo-2.4.3:20231205-004121.log'.
> * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/alt-ergo-2.4.3/temp/build.log'.
> * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/alt-ergo-2.4.3/temp/environment'.
> * Working directory: '/var/tmp/portage/sci-mathematics/alt-ergo-2.4.3/work/alt-ergo-2.4.3'
> * S: '/var/tmp/portage/sci-mathematics/alt-ergo-2.4.3/work/alt-ergo-2.4.3'
>

Actions: View

Attachments on bug 919248: 877251 | 877252 | 877253 | 877254 | 877255 | 877256 | 877257 | 877258