Build:
- 0
2026-06-16 12:14.42: New job: build satML-plugin.0.99.1 (067e5ab550b7)
2026-06-16 12:14.42: Waiting for resource in pool day11-builds
2026-06-16 12:53.20: Got resource from pool day11-builds
2026-06-16 12:53.20: [profile full] build satML-plugin.0.99.1
2026-06-16 12:53.20: build satML-plugin.0.99.1 (067e5ab550b7)
=== DEPENDENCIES (14 transitive) ===
alt-ergo.0.99.1 2dadc7eabb8a
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
conf-autoconf.0.2 b3cd190cf0b5
conf-gmp.5 61e3c79e0ddf
conf-pkg-config.5 64c6b37d622b
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 cde7973b8292
=== STDOUT ===
Processing: [default: loading data]
[satML-plugin.0.99.1: extract]
-> retrieved satML-plugin.0.99.1 (cached)
[satML-plugin: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/satML-plugin.0.99.1/./configure "-prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/satML-plugin.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
[satML-plugin: make satML]
+ /usr/bin/make "satML" (CWD=/home/opam/.opam/default/.opam-switch/build/satML-plugin.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 non-free/plugins/satML/satml.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 non-free/plugins/satML/satml.ml
- File "non-free/plugins/satML/satml.ml", line 755, characters 44-56:
- 755 | with Exit | Invalid_argument "List.iter2" -> 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 non-free/plugins/satML/satml_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 non-free/plugins/satML/satml_frontend.ml
- ocamlopt.opt -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 -shared -o satML-plugin.cmxs non-free/plugins/satML/satml.cmx non-free/plugins/satML/satml_frontend.cmx
-> compiled satML-plugin.0.99.1
[satML-plugin: make install-satML]
+ /usr/bin/make "install-satML" "MANDIR=/home/opam/.opam/default/man/man1" (CWD=/home/opam/.opam/default/.opam-switch/build/satML-plugin.0.99.1)
- mkdir -p /home/opam/.opam/default/lib/alt-ergo/plugins
- cp -f satML-plugin.cmxs /home/opam/.opam/default/lib/alt-ergo/plugins
[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 satML-plugin.0.99.1
=== STDERR ===
2026-06-16 12:54.30: OK: build satML-plugin.0.99.1 (runc: 20.1s, disk: 43KB)
2026-06-16 12:54.30: Job succeeded