Build:
- 0
2026-06-24 11:22.34: New job: build alt-ergo.0.95.2 (3bcef212c3b3)
2026-06-24 11:22.34: Waiting for resource in pool day11-builds
2026-06-24 12:09.49: Got resource from pool day11-builds
2026-06-24 12:09.49: [profile full] build alt-ergo.0.95.2
2026-06-24 12:09.50: build alt-ergo.0.95.2 (3bcef212c3b3)
=== DEPENDENCIES (12 transitive) ===
base-threads.base c9e7bdbf5823
base-unix.base 7d1428be9ddb
conf-gmp.5 be11edf77089
conf-pkg-config.5 d5de2c6a88f9
dune.3.23.1 848a72441e15
num.1.6 110cee7a7e2e
ocaml.4.14.4 b047fb9251f4
ocaml-base-compiler.4.14.4 d3b7ccb2c6fb
ocaml-config.2 2d9c209f5590
ocamlfind.1.9.8 214dd418ac02
ocamlgraph.2.2.0 9a3a86466508
zarith.1.14 a8971d2f668c
=== STDOUT ===
Processing: [default: loading data]
[alt-ergo.0.95.2: dl]
[alt-ergo.0.95.2: extract]
[alt-ergo.0.95.2/alt-ergo.install: dl]
-> retrieved alt-ergo.0.95.2 (https://opam.ocaml.org/cache)
[alt-ergo: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/alt-ergo.0.95.2/./configure "-prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo.0.95.2)
- 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... checking for ocamlwizard... true
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting
[alt-ergo: make]
+ /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo.0.95.2)
- 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 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* > .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 src/util/version.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/util/numbers.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/util/timers.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/util/options.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/util/loc.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/util/hashcons.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/util/hstring.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/util/hstring.ml
- File "src/util/hstring.ml", line 50, characters 24-45:
- 50 | 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 src/structures/ty.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/structures/ty.ml
- File "src/structures/ty.ml", line 178, characters 33-51:
- 178 | | 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 201, characters 17-35:
- 201 | | 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 244, characters 52-70:
- 244 | 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 297, characters 30-48:
- 297 | 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 332, characters 45-63:
- 332 | 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 src/structures/symbols.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/structures/symbols.ml
- File "src/structures/symbols.ml", line 74, characters 10-28:
- 74 | | _ -> 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 src/structures/subst.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/structures/subst.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 src/structures/term.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/structures/term.ml
- File "src/structures/term.ml", line 108, characters 10-28:
- 108 | 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 src/structures/literal.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/structures/literal.ml
- File "src/structures/literal.ml", line 93, characters 22-40:
- 93 | let compare a1 a2 = Pervasives.compare a1.tag a2.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
- 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 src/structures/formula.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/structures/formula.ml
- File "src/structures/formula.ml", line 86, characters 33-51:
- 86 | 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 253, characters 10-28:
- 253 | 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 src/structures/explanation.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/structures/explanation.ml
- File "src/structures/explanation.ml", line 30, characters 28-46:
- 30 | | Fresh i1, Fresh i2 -> Pervasives.compare i1 i2
- ^^^^^^^^^^^^^^^^^^
- 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 src/structures/exception.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/structures/why_ptree.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/structures/smtlib2_ast.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/parsing/errors.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/parsing/why_parser.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/parsing/why_parser.ml
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 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 src/parsing/smt_parser.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/parsing/smt_parser.ml
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/parsing/smtlib2_parse.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/parsing/smtlib2_parse.ml
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/preprocess/existantial.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/preprocess/existantial.ml
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/preprocess/smt_to_why.ml
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/preprocess/triggers.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/preprocess/triggers.ml
- File "src/preprocess/triggers.ml", line 26, characters 54-72:
- 26 | 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 43, characters 17-35:
- 43 | | 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 68, characters 11-29:
- 68 | | _ -> 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 src/preprocess/why_typing.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/preprocess/why_typing.ml
- File "src/preprocess/why_typing.ml", line 26, characters 48-66:
- 26 | 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 src/preprocess/cnf.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/theories/boxed.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 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 src/instances/matching.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/theories/polynome.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/theories/polynome.ml
- File "src/theories/polynome.ml", line 97, characters 24-38:
- 97 | | 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 src/theories/ac.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/theories/intervals.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/theories/fm.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/theories/fm.ml
- File "src/theories/fm.ml", line 475, characters 3-18:
- 475 | 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 477, characters 3-18:
- 477 | 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 495, characters 12-27:
- 495 | 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 497, characters 5-20:
- 497 | 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 592, characters 19-37:
- 592 | 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 src/theories/arith.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/theories/records.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/theories/bitv.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/theories/arrays.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/theories/sum.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/theories/combine.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/theories/use.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/theories/uf.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/theories/incr_match.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/theories/incr_match.ml
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/theories/boxed.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 src/theories/instantiation.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/theories/instantiation.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 src/theories/custom_theory.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/theories/custom_theory.ml
- File "src/theories/custom_theory.ml", line 154, characters 12-24:
- 154 | CC.Rel.query t.CC.relation (rna, Some na, ex_rna)
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels are_eq, are_neq, class_of, classes were omitted in the application of this function.
- 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 src/theories/cc.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/theories/cc.ml
- File "src/theories/cc.ml", line 311, characters 16-28:
- 311 | X.Rel.assume env.relation sa are_eq are_neq class_of classes in
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels are_eq, are_neq, class_of, classes were omitted in the application of this function.
- File "src/theories/cc.ml", line 647, characters 10-23:
- 647 | Env.Rel.query env.Env.relation (rna, Some na, ex_rna)
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels are_eq, are_neq, class_of, classes were omitted in the application of this function.
- 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 src/sat/sat.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/sat/sat.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 src/preprocess/pruning.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/preprocess/pruning.ml
- File "src/preprocess/pruning.ml", line 45, characters 18-36:
- 45 | 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 src/main/frontend.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo 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 src/main/main_text.mli
- ocamlopt.opt -c -annot -inline 1000 -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 -for-pack AltErgo src/main/main_text.ml
- ocamlopt.opt -annot -inline 1000 -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 -for-pack AltErgo -o alt-ergo.opt zarith.cmxa nums.cmxa graph.cmxa unix.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/subst.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/instances/matching.cmx src/theories/polynome.cmx src/theories/ac.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/incr_match.cmx src/theories/boxed.cmx src/theories/instantiation.cmx src/theories/custom_theory.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/cc.cmx src/sat/sat.cmx src/preprocess/pruning.cmx src/main/frontend.cmx src/main/main_text.cmx
-> compiled alt-ergo.0.95.2
[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.95.2)
- 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
-> installed alt-ergo.0.95.2
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config
=== STDERR ===
2026-06-24 12:10.36: OK: build alt-ergo.0.95.2 (runc: 20.2s, disk: 47KB)
2026-06-24 12:10.36: Job succeeded