Build:
- 0
2026-06-23 16:53.53: New job: build alt-ergo.0.99.1 (c2f14389c523)
2026-06-23 16:53.53: Waiting for resource in pool day11-builds
2026-06-23 18:18.48: Got resource from pool day11-builds
2026-06-23 18:18.48: [profile full] build alt-ergo.0.99.1
2026-06-23 18:18.48: build alt-ergo.0.99.1 (c2f14389c523)
=== DEPENDENCIES (13 transitive) ===
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
conf-autoconf.0.2 b3cd190cf0b5
conf-gmp.5 61e3c79e0ddf
conf-pkg-config.5 4b60827fc174
dune.3.23.1 5402470d931c
num.1.6 480227ca99db
ocaml.4.14.4 cb826ea44eb2
ocaml-base-compiler.4.14.4 d2f775f983d7
ocaml-config.2 669e0fcf9e4d
ocamlfind.1.9.8 6025f4a8e98e
ocamlgraph.2.2.0 ffe2e581e49b
zarith.1.14 da8b932acb94
=== STDOUT ===
Processing: [default: loading data]
[alt-ergo.0.99.1: dl]
[alt-ergo.0.99.1: extract]
[alt-ergo.0.99.1/alt-ergo.install: dl]
-> retrieved alt-ergo.0.99.1 (https://opam.ocaml.org/cache)
[alt-ergo: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/alt-ergo.0.99.1/./configure "-prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo.0.99.1)
- checking for ocp-ocamlc... no
- checking for ocamlc... ocamlc
- ocaml version is 4.14.4
- ocaml library path is /home/opam/.opam/default/lib/ocaml
- checking for ocamlfind... yes
- ocamlfind found ocamlgraph in -I /home/opam/.opam/default/lib/ocamlgraph
- ocamlfind found zarith in -I /home/opam/.opam/default/lib/zarith
- checking for ocp-ocamlopt... no
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocp-ocamlc.opt... no
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocp-ocamlopt.opt... no
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlc.opt version... ok
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for ocamlyacc... ocamlyacc
- ocamlfind: Package `lablgtk2.sourceview2' not found
- checking for /home/opam/.opam/default/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
- Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
- checking for ocamlweb... true
- checking platform... configure: creating ./config.status
- config.status: creating Makefile.configurable
- config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
[alt-ergo: make]
+ /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo.0.99.1)
- ocamlyacc -v src/parsing/why_parser.mly
- ocamllex.opt src/parsing/why_lexer.mll > /dev/null
- ocamlyacc -v src/parsing/smt_parser.mly
- ocamllex.opt src/parsing/smt_lex.mll > /dev/null
- ocamlyacc -v src/parsing/smtlib2_parse.mly
- ocamllex.opt src/parsing/smtlib2_lex.mll > /dev/null
- ocamldep -slash -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/*.ml* src/structures/*.ml* src/theories/*.ml* src/instances/*.ml* src/sat/*.ml* src/preprocess/*.ml* src/parsing/*.ml* src/gui/*.ml* src/main/*.ml* non-free/plugins/satML/*ml* > .depend
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/version.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/version.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/numbers.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/numbers.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/timers.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/timers.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/options.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/options.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/loc.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/loc.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/hashcons.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/hashcons.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/hstring.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/util/hstring.ml
- File "src/util/hstring.ml", line 56, characters 24-45:
- 56 | with Invalid_argument "index out of bounds" -> false
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/ty.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/ty.ml
- File "src/structures/ty.ml", line 184, characters 33-51:
- 184 | | Tvar{v=v1} , Tvar{v=v2} -> Pervasives.compare v1 v2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/structures/ty.ml", line 207, characters 17-35:
- 207 | | t1 , t2 -> Pervasives.compare t1 t2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/structures/ty.ml", line 250, characters 52-70:
- 250 | module M = Map.Make(struct type t=int let compare = Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/structures/ty.ml", line 303, characters 30-48:
- 303 | let compare_subst = M.compare Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/structures/ty.ml", line 338, characters 45-63:
- 338 | Set.Make(struct type t = int let compare = Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/symbols.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/symbols.ml
- File "src/structures/symbols.ml", line 80, characters 10-28:
- 80 | | _ -> Pervasives.compare s1 s2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/term.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/term.ml
- File "src/structures/term.ml", line 122, characters 10-28:
- 122 | let c = Pervasives.compare t2.tag t1.tag in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/literal.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/literal.ml
- File "src/structures/literal.ml", line 88, characters 22-40:
- 88 | let compare a1 a2 = Pervasives.compare a1.tpos a2.tpos
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/formula.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/formula.ml
- File "src/structures/formula.ml", line 101, characters 33-51:
- 101 | and compare_t (t1,_) (t2,_) = Pervasives.compare t1.tag t2.tag
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/structures/formula.ml", line 268, characters 10-28:
- 268 | let c = Pervasives.compare (size f1) (size f2) in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/explanation.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/explanation.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/exception.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/exception.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/why_ptree.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/why_ptree.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/smtlib2_ast.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/smtlib2_ast.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/parsing/errors.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/parsing/errors.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/parsing/why_parser.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/parsing/why_parser.ml
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/parsing/why_lexer.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/structures/smt_ast.mli
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/parsing/smt_parser.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/parsing/smt_parser.ml
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/parsing/smt_lex.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/parsing/smtlib2_parse.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/parsing/smtlib2_parse.ml
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/parsing/smtlib2_lex.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/preprocess/existantial.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/preprocess/existantial.ml
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/preprocess/smt_to_why.ml
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/preprocess/smtlib2_to_why.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/preprocess/triggers.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/preprocess/triggers.ml
- File "src/preprocess/triggers.ml", line 31, characters 54-72:
- 31 | module Vtype = Set.Make(struct type t=int let compare=Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/preprocess/triggers.ml", line 48, characters 17-35:
- 48 | | x , y -> Pervasives.compare x y
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/preprocess/triggers.ml", line 73, characters 11-29:
- 73 | | _ -> Pervasives.compare c1 c2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/preprocess/why_typing.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/preprocess/why_typing.ml
- File "src/preprocess/why_typing.ml", line 32, characters 48-66:
- 32 | Map.Make(struct type t = string let compare = Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/preprocess/cnf.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/preprocess/cnf.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/preprocess/pruning.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/preprocess/pruning.ml
- File "src/preprocess/pruning.ml", line 51, characters 18-36:
- 51 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/sig.mli
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/use.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/use.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/ac.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/ac.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/uf.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/uf.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/sum.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/sum.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/records.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/records.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/polynome.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/polynome.ml
- File "src/theories/polynome.ml", line 103, characters 24-38:
- 103 | | Invalid_argument("List.iter2") -> List.length l1 - List.length l2
- ^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- File "_none_", line 1:
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/intervals.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/intervals.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/fm.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/fm.ml
- File "src/theories/fm.ml", line 490, characters 3-18:
- 490 | I.new_borne_sup expl b is_le uints
- ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "src/theories/fm.ml", line 492, characters 3-18:
- 492 | I.new_borne_inf expl b is_le uints in
- ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "src/theories/fm.ml", line 510, characters 12-27:
- 510 | I.new_borne_inf expl c is_le (I.undefined ty)
- ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "src/theories/fm.ml", line 512, characters 5-20:
- 512 | I.new_borne_sup expl c is_le (I.undefined ty) in
- ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "src/theories/fm.ml", line 607, characters 19-37:
- 607 | with Failure "big_int_of_ratio" -> a, b
- ^^^^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/bitv.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/bitv.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/arrays.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/arrays.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/arith.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/arith.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/combine.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/combine.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/theory.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/theories/theory.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/instances/matching.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/instances/matching.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/sat/sat_solvers.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/sat/sat_solvers.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/main/frontend.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/main/frontend.ml
- ocamlc.opt -c -annot -g -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/main/main_text.mli
- ocamlopt.opt -c -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML src/main/main_text.ml
- ocamlopt.opt -annot -inline 100 -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/ocamlgraph -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/satML -o alt-ergo.opt zarith.cmxa nums.cmxa graph.cmxa unix.cmxa dynlink.cmxa str.cmxa src/util/version.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/loc.cmx src/util/hashcons.cmx src/util/hstring.cmx src/structures/exception.cmx src/structures/symbols.cmx src/structures/ty.cmx src/structures/why_ptree.cmx src/structures/smtlib2_ast.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/parsing/errors.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/parsing/smt_parser.cmx src/parsing/smt_lex.cmx src/parsing/smtlib2_parse.cmx src/parsing/smtlib2_lex.cmx src/preprocess/existantial.cmx src/preprocess/smt_to_why.cmx src/preprocess/smtlib2_to_why.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/preprocess/pruning.cmx src/instances/matching.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/intervals.cmx src/theories/fm.cmx src/theories/arith.cmx src/theories/records.cmx src/theories/bitv.cmx src/theories/arrays.cmx src/theories/sum.cmx src/theories/combine.cmx src/theories/theory.cmx src/sat/sat_solvers.cmx src/main/frontend.cmx src/main/main_text.cmx
-> compiled alt-ergo.0.99.1
[alt-ergo: make install]
+ /usr/bin/make "install" "MANDIR=/home/opam/.opam/default/man" (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo.0.99.1)
- mkdir -p /home/opam/.opam/default/man/man1
- cp -f doc/*.1 /home/opam/.opam/default/man/man1
- mkdir -p /home/opam/.opam/default/bin
- cp -f alt-ergo.opt /home/opam/.opam/default/bin/alt-ergo
[WARNING] Opam packages conf-gmp.5 and conf-pkg-config.5 depend on the following system packages that are no longer installed: libgmp-dev pkg-config
- conf-gmp.5: depends on libgmp-dev
- conf-pkg-config.5: depends on pkg-config
-> installed alt-ergo.0.99.1
=== STDERR ===
2026-06-23 18:21.00: OK: build alt-ergo.0.99.1 (runc: 22.2s, disk: 45KB)
2026-06-23 18:21.00: Job succeeded