Build:
- 0
2026-06-24 11:19.24: New job: build alt-ergo-lib.2.3.1 (407e75db2d50)
2026-06-24 11:19.24: Waiting for resource in pool day11-builds
2026-06-24 12:03.19: Got resource from pool day11-builds
2026-06-24 12:03.19: [profile full] build alt-ergo-lib.2.3.1
2026-06-24 12:03.19: build alt-ergo-lib.2.3.1 (407e75db2d50)
=== DEPENDENCIES (14 transitive) ===
base-threads.base c9e7bdbf5823
base-unix.base 7d1428be9ddb
conf-autoconf.0.2 676e4452dc37
conf-gmp.5 be11edf77089
conf-pkg-config.5 d5de2c6a88f9
dune.2.9.3 b31e72bc915d
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
ocplib-simplex.0.4.1 176009ccfa7b
seq.base 0160fc3002c2
zarith.1.14 a8971d2f668c
=== STDOUT ===
Processing: [default: loading data]
[alt-ergo-lib.2.3.1: dl]
[alt-ergo-lib.2.3.1: extract]
-> retrieved alt-ergo-lib.2.3.1 (https://opam.ocaml.org/cache)
[alt-ergo-lib: ocaml unix.cma]
+ /home/opam/.opam/default/bin/ocaml "unix.cma" "configure.ml" "alt-ergo-lib" (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo-lib.2.3.1)
- Using default value for 'prefix' : /home/opam/.opam/default
- Using default value for 'libdir' : /home/opam/.opam/default/lib
- Using default value for 'sharedir' : /home/opam/.opam/default/share
- Using default value for 'mandir' : /home/opam/.opam/default/man
- Using default value for 'pluginsdir' : /home/opam/.opam/default/lib/alt-ergo/plugins
- Using default value for 'preludesdir' : /home/opam/.opam/default/share/alt-ergo/preludes
- Generating file lib/util/config.ml...done.
- Generating file Makefile.config...done.
- Found dune in path.
- All deps are installed.
- Good to go !
[alt-ergo-lib: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "alt-ergo-lib" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo-lib.2.3.1)
- ocamlc lib/.AltErgoLib.objs/byte/altErgoLib__MyUnix.{cmo,cmt}
- File "lib/util/myUnix.ml", line 21, characters 7-22:
- 21 | if Pervasives.(<>) timelimit 0. then
- ^^^^^^^^^^^^^^^
- 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__MyUnix.{cmx,o}
- File "lib/util/myUnix.ml", line 21, characters 7-22:
- 21 | if Pervasives.(<>) timelimit 0. then
- ^^^^^^^^^^^^^^^
- 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 lib/.AltErgoLib.objs/byte/altErgoLib__Util.{cmo,cmt}
- File "lib/util/util.ml", line 86, characters 18-36:
- 86 | | true, true -> Pervasives.compare s1 s2 (* both constructors without args *)
- ^^^^^^^^^^^^^^^^^^
- 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__Util.{cmx,o}
- File "lib/util/util.ml", line 86, characters 18-36:
- 86 | | true, true -> Pervasives.compare s1 s2 (* both constructors without args *)
- ^^^^^^^^^^^^^^^^^^
- 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 lib/.AltErgoLib.objs/byte/altErgoLib__Numbers.{cmo,cmt}
- File "lib/util/numbers.ml", line 51, characters 11-25:
- 51 | if Pervasives.(<) v min_float then min_float
- ^^^^^^^^^^^^^^
- 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 "lib/util/numbers.ml", line 52, characters 16-30:
- 52 | else if Pervasives.(>) v max_float then max_float
- ^^^^^^^^^^^^^^
- 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__ZarithNumbers.{cmx,o}
- File "lib/util/zarithNumbers.ml", line 156, characters 16-30:
- 156 | let abs_n = Pervasives.abs n 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 lib/.AltErgoLib.objs/byte/altErgoLib__ZarithNumbers.{cmo,cmt}
- File "lib/util/zarithNumbers.ml", line 156, characters 16-30:
- 156 | let abs_n = Pervasives.abs n 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 lib/.AltErgoLib.objs/byte/altErgoLib__Symbols.{cmo,cmt}
- File "lib/structures/symbols.ml", line 127, characters 16-34:
- 127 | let c = Pervasives.compare b1 b2 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
- File "lib/structures/symbols.ml", line 158, characters 36-54:
- 158 | | F_Clause b1, F_Clause b2 -> Pervasives.compare b1 b2
- ^^^^^^^^^^^^^^^^^^
- 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 "lib/structures/symbols.ml", line 176, characters 12-30:
- 176 | let c = Pervasives.compare a.is_open b.is_open 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
- File "lib/structures/symbols.ml", line 179, characters 14-32:
- 179 | let c = Pervasives.compare a.is_lower b.is_lower 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 lib/.AltErgoLib.objs/byte/altErgoLib__Ty.{cmo,cmt}
- File "lib/structures/ty.ml", line 204, characters 45-63:
- 204 | | 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 "lib/structures/ty.ml", line 237, characters 15-33:
- 237 | | 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 "lib/structures/ty.ml", line 281, characters 52-70:
- 281 | 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 "lib/structures/ty.ml", line 605, characters 30-48:
- 605 | 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 "lib/structures/ty.ml", line 607, characters 26-40:
- 607 | let equal_subst = M.equal Pervasives.(=)
- ^^^^^^^^^^^^^^
- 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 "lib/structures/ty.ml", line 610, characters 45-63:
- 610 | 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__Numbers.{cmx,o}
- File "lib/util/numbers.ml", line 51, characters 11-25:
- 51 | if Pervasives.(<) v min_float then min_float
- ^^^^^^^^^^^^^^
- 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 "lib/util/numbers.ml", line 52, characters 16-30:
- 52 | else if Pervasives.(>) v max_float then max_float
- ^^^^^^^^^^^^^^
- 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 lib/.AltErgoLib.objs/byte/altErgoLib__Xliteral.{cmo,cmt}
- File "lib/structures/xliteral.ml", line 106, characters 22-40:
- 106 | 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 lib/.AltErgoLib.objs/byte/altErgoLib__Typed.{cmo,cmt}
- File "lib/structures/typed.ml", line 372, characters 6-20:
- 372 | try Pervasives.(=) (String.sub s 0 2) "@L" with Invalid_argument _ -> false
- ^^^^^^^^^^^^^^
- 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 "lib/structures/typed.ml", line 375, characters 6-20:
- 375 | try Pervasives.(=) (String.sub s 0 2) "@H" with Invalid_argument _ -> false
- ^^^^^^^^^^^^^^
- 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 lib/.AltErgoLib.objs/byte/altErgoLib__Options.{cmo,cmt}
- File "lib/util/options.ml", line 960, characters 33-51:
- 960 | let compare (a: int) (b: int) = Pervasives.compare a b
- ^^^^^^^^^^^^^^^^^^
- 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__Options.{cmx,o}
- File "lib/util/options.ml", line 960, characters 33-51:
- 960 | let compare (a: int) (b: int) = Pervasives.compare a b
- ^^^^^^^^^^^^^^^^^^
- 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 lib/.AltErgoLib.objs/byte/altErgoLib__Profiling.{cmo,cmt}
- File "lib/structures/profiling.ml", line 88, characters 7-21:
- 88 | if Pervasives.(>) v 0. then v else -. v
- ^^^^^^^^^^^^^^
- 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 "lib/structures/profiling.ml", line 632, characters 5-19:
- 632 | if Pervasives.(=) v 0. then fprintf fmt "-- "
- ^^^^^^^^^^^^^^
- 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 "lib/structures/profiling.ml", line 633, characters 10-24:
- 633 | else if Pervasives.(<) v 10. then fprintf fmt "%0.5f" v
- ^^^^^^^^^^^^^^
- 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 "lib/structures/profiling.ml", line 634, characters 10-24:
- 634 | else if Pervasives.(<) v 100. then fprintf fmt "%0.4f" v
- ^^^^^^^^^^^^^^
- 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 lib/.AltErgoLib.objs/byte/altErgoLib__Ite_rel.{cmo,cmt}
- File "lib/reasoners/ite_rel.ml", line 35, characters 30-48:
- 35 | if c <> 0 then c else Pervasives.compare b1 b2
- ^^^^^^^^^^^^^^^^^^
- 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 lib/.AltErgoLib.objs/byte/altErgoLib__Typechecker.{cmo,cmt}
- File "lib/frontend/typechecker.ml", line 40, characters 48-66:
- 40 | 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
- File "lib/frontend/typechecker.ml", line 89, characters 32-46:
- 89 | | PPTvarid (y, _) -> Pervasives.(=) 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 "lib/frontend/typechecker.ml", line 108, characters 35-49:
- 108 | | PPTexternal (l, s, loc) when Pervasives.(=) s "farray" ->
- ^^^^^^^^^^^^^^
- 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 "lib/frontend/typechecker.ml", line 119, characters 35-49:
- 119 | | Some (id, vars, ty) when Pervasives.(=) s id &&
- ^^^^^^^^^^^^^^
- 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__Ty.{cmx,o}
- File "lib/structures/ty.ml", line 204, characters 45-63:
- 204 | | 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 "lib/structures/ty.ml", line 237, characters 15-33:
- 237 | | 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 "lib/structures/ty.ml", line 281, characters 52-70:
- 281 | 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 "lib/structures/ty.ml", line 605, characters 30-48:
- 605 | 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 "lib/structures/ty.ml", line 607, characters 26-40:
- 607 | let equal_subst = M.equal Pervasives.(=)
- ^^^^^^^^^^^^^^
- 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 "lib/structures/ty.ml", line 610, characters 45-63:
- 610 | 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 lib/.AltErgoLib.objs/byte/altErgoLib__Satml_frontend.{cmo,cmt}
- File "lib/reasoners/satml_frontend.ml", line 511, characters 16-34:
- 511 | let res = Pervasives.compare w2 w1 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
- File "lib/reasoners/satml_frontend.ml", line 847, characters 24-38:
- 847 | {Util.nb_triggers = Pervasives.max 2 (nb_triggers () * 2);
- ^^^^^^^^^^^^^^
- 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 "lib/reasoners/satml_frontend.ml", line 856, characters 24-38:
- 856 | {Util.nb_triggers = Pervasives.max 10 (nb_triggers () * 10);
- ^^^^^^^^^^^^^^
- 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 "lib/reasoners/satml_frontend.ml", line 954, characters 19-33:
- 954 | let aux mx f = Pervasives.max mx (E.depth f) 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 lib/.AltErgoLib.objs/byte/altErgoLib__Satml.{cmo,cmt}
- File "lib/reasoners/satml.ml", line 364, characters 4-18:
- 364 | Pervasives.(<) (Vec.get env.vars j).weight (Vec.get env.vars i).weight
- ^^^^^^^^^^^^^^
- 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 "lib/reasoners/satml.ml", line 378, characters 7-21:
- 378 | if Pervasives.(>) v.weight 1e100 then begin
- ^^^^^^^^^^^^^^
- 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 "lib/reasoners/satml.ml", line 390, characters 7-21:
- 390 | if Pervasives.(>) c.activity 1e20 then begin
- ^^^^^^^^^^^^^^
- 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 lib/.AltErgoLib.objs/byte/altErgoLib__Fun_sat.{cmo,cmt}
- File "lib/reasoners/fun_sat.ml", line 78, characters 34-49:
- 78 | stable := !stable && Pervasives.(<=) w 1e100;
- ^^^^^^^^^^^^^^^
- 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 "lib/reasoners/fun_sat.ml", line 121, characters 21-39:
- 121 | let c = Pervasives.compare b2 b1 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
- File "lib/reasoners/fun_sat.ml", line 123, characters 18-36:
- 123 | else Pervasives.compare x2 x1
- ^^^^^^^^^^^^^^^^^^
- 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 "lib/reasoners/fun_sat.ml", line 1174, characters 7-22:
- 1174 | Pervasives.(<>) (Options.interpretation_timelimit ()) 0. then
- ^^^^^^^^^^^^^^^
- 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__Symbols.{cmx,o}
- File "lib/structures/symbols.ml", line 127, characters 16-34:
- 127 | let c = Pervasives.compare b1 b2 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
- File "lib/structures/symbols.ml", line 158, characters 36-54:
- 158 | | F_Clause b1, F_Clause b2 -> Pervasives.compare b1 b2
- ^^^^^^^^^^^^^^^^^^
- 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 "lib/structures/symbols.ml", line 176, characters 12-30:
- 176 | let c = Pervasives.compare a.is_open b.is_open 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
- File "lib/structures/symbols.ml", line 179, characters 14-32:
- 179 | let c = Pervasives.compare a.is_lower b.is_lower 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 lib/.AltErgoLib.objs/byte/altErgoLib__Expr.{cmo,cmt}
- File "lib/structures/expr.ml", line 1034, characters 6-20:
- 1034 | try Pervasives.(=) (String.sub (Sy.to_string v.f) 0 4) "_sko"
- ^^^^^^^^^^^^^^
- 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 "lib/structures/expr.ml", line 1672, characters 30-48:
- 1672 | let l1 = List.fast_sort Pervasives.compare l1 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
- File "lib/structures/expr.ml", line 1673, characters 30-48:
- 1673 | let l2 = List.fast_sort Pervasives.compare l2 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
- File "lib/structures/expr.ml", line 1674, characters 36-54:
- 1674 | let c = Util.cmp_lists l1 l2 Pervasives.compare 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
- File "lib/structures/expr.ml", line 1705, characters 14-32:
- 1705 | let c = Pervasives.compare a1 a2 in (* should be Hstring.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 "lib/structures/expr.ml", line 1713, characters 14-32:
- 1713 | let c = Pervasives.compare a1 a2 in (* should be Hstring.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 "lib/structures/expr.ml", line 1728, characters 30-48:
- 1728 | let l1 = List.fast_sort Pervasives.compare l1 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
- File "lib/structures/expr.ml", line 1729, characters 30-48:
- 1729 | let l2 = List.fast_sort Pervasives.compare l2 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
- File "lib/structures/expr.ml", line 1730, characters 35-53:
- 1730 | let c = Util.cmp_lists l1 l2 Pervasives.compare 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
- File "lib/structures/expr.ml", line 1744, characters 38-56:
- 1744 | let l1 = List.rev (List.fast_sort Pervasives.compare l1) 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
- File "lib/structures/expr.ml", line 1745, characters 38-56:
- 1745 | let l2 = List.rev (List.fast_sort Pervasives.compare l2) 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
- File "lib/structures/expr.ml", line 1746, characters 33-51:
- 1746 | let c = Util.cmp_lists l1 l2 Pervasives.compare 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__Typed.{cmx,o}
- File "lib/structures/typed.ml", line 372, characters 6-20:
- 372 | try Pervasives.(=) (String.sub s 0 2) "@L" with Invalid_argument _ -> false
- ^^^^^^^^^^^^^^
- 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 "lib/structures/typed.ml", line 375, characters 6-20:
- 375 | try Pervasives.(=) (String.sub s 0 2) "@H" with Invalid_argument _ -> false
- ^^^^^^^^^^^^^^
- 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__Xliteral.{cmx,o}
- File "lib/structures/xliteral.ml", line 106, characters 22-40:
- 106 | 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__Expr.{cmx,o}
- File "lib/structures/expr.ml", line 1034, characters 6-20:
- 1034 | try Pervasives.(=) (String.sub (Sy.to_string v.f) 0 4) "_sko"
- ^^^^^^^^^^^^^^
- 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 "lib/structures/expr.ml", line 1672, characters 30-48:
- 1672 | let l1 = List.fast_sort Pervasives.compare l1 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
- File "lib/structures/expr.ml", line 1673, characters 30-48:
- 1673 | let l2 = List.fast_sort Pervasives.compare l2 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
- File "lib/structures/expr.ml", line 1674, characters 36-54:
- 1674 | let c = Util.cmp_lists l1 l2 Pervasives.compare 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
- File "lib/structures/expr.ml", line 1705, characters 14-32:
- 1705 | let c = Pervasives.compare a1 a2 in (* should be Hstring.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 "lib/structures/expr.ml", line 1713, characters 14-32:
- 1713 | let c = Pervasives.compare a1 a2 in (* should be Hstring.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 "lib/structures/expr.ml", line 1728, characters 30-48:
- 1728 | let l1 = List.fast_sort Pervasives.compare l1 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
- File "lib/structures/expr.ml", line 1729, characters 30-48:
- 1729 | let l2 = List.fast_sort Pervasives.compare l2 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
- File "lib/structures/expr.ml", line 1730, characters 35-53:
- 1730 | let c = Util.cmp_lists l1 l2 Pervasives.compare 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
- File "lib/structures/expr.ml", line 1744, characters 38-56:
- 1744 | let l1 = List.rev (List.fast_sort Pervasives.compare l1) 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
- File "lib/structures/expr.ml", line 1745, characters 38-56:
- 1745 | let l2 = List.rev (List.fast_sort Pervasives.compare l2) 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
- File "lib/structures/expr.ml", line 1746, characters 33-51:
- 1746 | let c = Util.cmp_lists l1 l2 Pervasives.compare 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__Profiling.{cmx,o}
- File "lib/structures/profiling.ml", line 88, characters 7-21:
- 88 | if Pervasives.(>) v 0. then v else -. v
- ^^^^^^^^^^^^^^
- 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 "lib/structures/profiling.ml", line 632, characters 5-19:
- 632 | if Pervasives.(=) v 0. then fprintf fmt "-- "
- ^^^^^^^^^^^^^^
- 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 "lib/structures/profiling.ml", line 633, characters 10-24:
- 633 | else if Pervasives.(<) v 10. then fprintf fmt "%0.5f" v
- ^^^^^^^^^^^^^^
- 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 "lib/structures/profiling.ml", line 634, characters 10-24:
- 634 | else if Pervasives.(<) v 100. then fprintf fmt "%0.4f" v
- ^^^^^^^^^^^^^^
- 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__Typechecker.{cmx,o}
- File "lib/frontend/typechecker.ml", line 40, characters 48-66:
- 40 | 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
- File "lib/frontend/typechecker.ml", line 89, characters 32-46:
- 89 | | PPTvarid (y, _) -> Pervasives.(=) 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 "lib/frontend/typechecker.ml", line 108, characters 35-49:
- 108 | | PPTexternal (l, s, loc) when Pervasives.(=) s "farray" ->
- ^^^^^^^^^^^^^^
- 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 "lib/frontend/typechecker.ml", line 119, characters 35-49:
- 119 | | Some (id, vars, ty) when Pervasives.(=) s id &&
- ^^^^^^^^^^^^^^
- 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__Ite_rel.{cmx,o}
- File "lib/reasoners/ite_rel.ml", line 35, characters 30-48:
- 35 | if c <> 0 then c else Pervasives.compare b1 b2
- ^^^^^^^^^^^^^^^^^^
- 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__Satml.{cmx,o}
- File "lib/reasoners/satml.ml", line 364, characters 4-18:
- 364 | Pervasives.(<) (Vec.get env.vars j).weight (Vec.get env.vars i).weight
- ^^^^^^^^^^^^^^
- 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 "lib/reasoners/satml.ml", line 378, characters 7-21:
- 378 | if Pervasives.(>) v.weight 1e100 then begin
- ^^^^^^^^^^^^^^
- 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 "lib/reasoners/satml.ml", line 390, characters 7-21:
- 390 | if Pervasives.(>) c.activity 1e20 then begin
- ^^^^^^^^^^^^^^
- 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__Satml_frontend.{cmx,o}
- File "lib/reasoners/satml_frontend.ml", line 511, characters 16-34:
- 511 | let res = Pervasives.compare w2 w1 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
- File "lib/reasoners/satml_frontend.ml", line 847, characters 24-38:
- 847 | {Util.nb_triggers = Pervasives.max 2 (nb_triggers () * 2);
- ^^^^^^^^^^^^^^
- 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 "lib/reasoners/satml_frontend.ml", line 856, characters 24-38:
- 856 | {Util.nb_triggers = Pervasives.max 10 (nb_triggers () * 10);
- ^^^^^^^^^^^^^^
- 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 "lib/reasoners/satml_frontend.ml", line 954, characters 19-33:
- 954 | let aux mx f = Pervasives.max mx (E.depth f) 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
- ocamlopt lib/.AltErgoLib.objs/native/altErgoLib__Fun_sat.{cmx,o}
- File "lib/reasoners/fun_sat.ml", line 78, characters 34-49:
- 78 | stable := !stable && Pervasives.(<=) w 1e100;
- ^^^^^^^^^^^^^^^
- 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 "lib/reasoners/fun_sat.ml", line 121, characters 21-39:
- 121 | let c = Pervasives.compare b2 b1 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
- File "lib/reasoners/fun_sat.ml", line 123, characters 18-36:
- 123 | else Pervasives.compare x2 x1
- ^^^^^^^^^^^^^^^^^^
- 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 "lib/reasoners/fun_sat.ml", line 1174, characters 7-22:
- 1174 | Pervasives.(<>) (Options.interpretation_timelimit ()) 0. then
- ^^^^^^^^^^^^^^^
- 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
-> compiled alt-ergo-lib.2.3.1
-> installed alt-ergo-lib.2.3.1
[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
=== STDERR ===
2026-06-24 12:04.05: OK: build alt-ergo-lib.2.3.1 (runc: 22.1s, disk: 47KB)
2026-06-24 12:04.05: Job succeeded