Build:
- 0
2026-06-16 11:50.30: New job: build ocaml-sat-solvers.0.3 (15e0c7475e7e) 2026-06-16 11:50.30: Waiting for resource in pool day11-builds 2026-06-16 12:14.36: Got resource from pool day11-builds 2026-06-16 12:14.36: [profile full] build ocaml-sat-solvers.0.3 2026-06-16 12:14.36: build ocaml-sat-solvers.0.3 (15e0c7475e7e) === DEPENDENCIES (9 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d dune.3.23.1 5402470d931c minisat.0.6 55ed245a3bcf ocaml.4.14.4 cb826ea44eb2 ocaml-base-compiler.4.14.4 d2f775f983d7 ocaml-config.2 669e0fcf9e4d ocamlbuild.0.16.1 8f6c52e6fce8 ocamlfind.1.9.8 6025f4a8e98e === STDOUT === Processing: [default: loading data] [ocaml-sat-solvers.0.3: dl] [ocaml-sat-solvers.0.3: extract] -> retrieved ocaml-sat-solvers.0.3 (https://opam.ocaml.org/cache) [ocaml-sat-solvers: ocaml setup.ml] + /home/opam/.opam/default/bin/ocaml "setup.ml" "-configure" "--prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/ocaml-sat-solvers.0.3) - File "./setup.ml", line 581, characters 4-15: - 581 | Stream.from next - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 609, characters 19-36: - 609 | let strm = Stream.of_channel chn in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 616, characters 37-48: - 616 | Buffer.add_char buf (Stream.next strm); - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 619, characters 17-31: - 619 | with Stream.Failure -> - ^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 1437, characters 16-33: - 1437 | let lxr = Genlex.make_lexer [] in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1439, characters 22-38: - 1439 | let st = lxr (Stream.of_string s) in - ^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 1440, characters 14-26: - 1440 | match Stream.npeek 3 st with - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 1441, characters 11-23: - 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm) - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1441, characters 28-40: - 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm) - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1442, characters 11-23: - 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str) - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1442, characters 28-41: - 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str) - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1443, characters 11-24: - 1443 | | [Genlex.String str] -> String str - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1444, characters 11-23: - 1444 | | [Genlex.Ident nm] -> Ident nm - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1781, characters 22-40: - 1781 | 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 - File "setup.ml", line 3182, characters 8-19: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3185, characters 21-32: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3188, characters 18-32: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3190, characters 6-23: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3193, characters 12-24: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3194, characters 9-21: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3194, characters 26-36: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3194, characters 42-55: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3195, characters 8-19: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3195, characters 25-36: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3195, characters 42-53: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3207, characters 17-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3332, characters 16-33: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3351, characters 22-38: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3353, characters 17-29: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3354, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3354, characters 37-49: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3356, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3356, characters 37-50: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3358, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3358, characters 46-58: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3360, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3360, characters 46-59: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3362, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3375, characters 13-25: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3473, characters 16-34: - 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 "setup.ml", line 4524, characters 21-38: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4526, characters 19-31: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 4527, characters 16-29: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4527, characters 33-46: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4529, characters 15-26: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 4529, characters 32-43: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - - Configuration: - ocamlfind: ........................................... /home/opam/.opam/default/bin/ocamlfind - ocamlc: .............................................. /home/opam/.opam/default/bin/ocamlc.opt - ocamlopt: ............................................ /home/opam/.opam/default/bin/ocamlopt.opt - ocamlbuild: .......................................... /home/opam/.opam/default/bin/ocamlbuild - Package name: ........................................ ocaml-sat-solvers - Package version: ..................................... 0.3 - os_type: ............................................. Unix - system: .............................................. linux - architecture: ........................................ amd64 - ccomp_type: .......................................... cc - ocaml_version: ....................................... 4.14.4 - standard_library_default: ............................ /home/opam/.opam/default/lib/ocaml - standard_library: .................................... /home/opam/.opam/default/lib/ocaml - bytecomp_c_compiler: ................................. gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 - native_c_compiler: ................................... gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 - model: ............................................... default - ext_obj: ............................................. .o - ext_asm: ............................................. .s - ext_lib: ............................................. .a - ext_dll: ............................................. .so - default_executable_name: ............................. a.out - systhread_supported: ................................. true - Install architecture-independent files dir: .......... /home/opam/.opam/default - Install architecture-dependent files in dir: ......... $prefix - User executables: .................................... $exec_prefix/bin - System admin executables: ............................ $exec_prefix/sbin - Program executables: ................................. $exec_prefix/libexec - Read-only single-machine data: ....................... $prefix/etc - Modifiable architecture-independent data: ............ $prefix/com - Modifiable single-machine data: ...................... $prefix/var - Object code libraries: ............................... $exec_prefix/lib - Read-only arch-independent data root: ................ $prefix/share - Read-only architecture-independent data: ............. $datarootdir - Info documentation: .................................. $datarootdir/info - Locale-dependent data: ............................... $datarootdir/locale - Man documentation: ................................... $datarootdir/man - Documentation root: .................................. $datarootdir/doc/$pkg_name - HTML documentation: .................................. $docdir - DVI documentation: ................................... $docdir - PDF documentation: ................................... $docdir - PS documentation: .................................... $docdir - findlib_version: ..................................... 1.9.8 - is_native: ........................................... true - suffix_program: ...................................... - Remove a file.: ...................................... rm -f - Remove a directory.: ................................. rm -rf - Turn ocaml debug flag on: ............................ true - Turn ocaml profile flag on: .......................... false - Compiler support generation of .cmxs.: ............... true - OCamlbuild additional flags: ......................... - Create documentations: ............................... true - Compile tests executable and library and run them: ... false - pkg_minisat: ......................................... /home/opam/.opam/default/lib/minisat - [ocaml-sat-solvers: ocaml setup.ml] + /home/opam/.opam/default/bin/ocaml "setup.ml" "-build" (CWD=/home/opam/.opam/default/.opam-switch/build/ocaml-sat-solvers.0.3) - File "./setup.ml", line 581, characters 4-15: - 581 | Stream.from next - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 609, characters 19-36: - 609 | let strm = Stream.of_channel chn in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 616, characters 37-48: - 616 | Buffer.add_char buf (Stream.next strm); - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 619, characters 17-31: - 619 | with Stream.Failure -> - ^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 1437, characters 16-33: - 1437 | let lxr = Genlex.make_lexer [] in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1439, characters 22-38: - 1439 | let st = lxr (Stream.of_string s) in - ^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 1440, characters 14-26: - 1440 | match Stream.npeek 3 st with - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 1441, characters 11-23: - 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm) - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1441, characters 28-40: - 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm) - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1442, characters 11-23: - 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str) - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1442, characters 28-41: - 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str) - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1443, characters 11-24: - 1443 | | [Genlex.String str] -> String str - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1444, characters 11-23: - 1444 | | [Genlex.Ident nm] -> Ident nm - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1781, characters 22-40: - 1781 | 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 - File "setup.ml", line 3182, characters 8-19: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3185, characters 21-32: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3188, characters 18-32: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3190, characters 6-23: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3193, characters 12-24: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3194, characters 9-21: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3194, characters 26-36: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3194, characters 42-55: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3195, characters 8-19: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3195, characters 25-36: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3195, characters 42-53: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3207, characters 17-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3332, characters 16-33: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3351, characters 22-38: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3353, characters 17-29: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3354, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3354, characters 37-49: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3356, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3356, characters 37-50: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3358, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3358, characters 46-58: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3360, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3360, characters 46-59: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3362, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3375, characters 13-25: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3473, characters 16-34: - 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 "setup.ml", line 4524, characters 21-38: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4526, characters 19-31: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 4527, characters 16-29: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4527, characters 33-46: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4529, characters 15-26: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 4529, characters 32-43: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - + ocamlfind ocamlc -config - + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/default/lib/ocamlbuild /home/opam/.opam/default/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - + ocamlfind ocamlc -config - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/satsolvers.mli > src/satsolvers.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/satwrapper.mli > src/satwrapper.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satwrapper.cmi src/satwrapper.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satsolvers.cmi src/satsolvers.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/satsolvers.ml > src/satsolvers.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/minisat/minisatwrapper.mli > src/minisat/minisatwrapper.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/satsolverregistry.mli > src/satsolverregistry.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/preprocessor -I src/pseudosat -I src/minisat -o src/minisat/minisatwrapper.cmi src/minisat/minisatwrapper.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satsolverregistry.cmi src/satsolverregistry.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/satwrapper.ml > src/satwrapper.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/pseudosat/pseudosatwrapper.mli > src/pseudosat/pseudosatwrapper.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/pseudosat/pseudosatwrapper.cmi src/pseudosat/pseudosatwrapper.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/pseudosat/pseudosatwrapper.ml > src/pseudosat/pseudosatwrapper.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/preprocessor/preprocessor.mli > src/preprocessor/preprocessor.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/pseudosat -I src/preprocessor -o src/preprocessor/preprocessor.cmi src/preprocessor/preprocessor.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/preprocessor/preprocessor.ml > src/preprocessor/preprocessor.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/externalsat/externalsat.mli > src/externalsat/externalsat.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/externalsat.cmi src/externalsat/externalsat.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/externalsat/externalsat.ml > src/externalsat/externalsat.ml.depends - + /home/opam/.opam/default/bin/ocamllex.opt -q src/externalsat/satsolutionlexer.mll - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/externalsat/satsolutionlexer.ml > src/externalsat/satsolutionlexer.ml.depends - + /home/opam/.opam/default/bin/ocamlyacc src/externalsat/satsolutionparser.mly - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/externalsat/satsolutionparser.mli > src/externalsat/satsolutionparser.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/externalsat/satsolutionparserhelper.mli > src/externalsat/satsolutionparserhelper.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/satsolutionparserhelper.cmi src/externalsat/satsolutionparserhelper.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/satsolutionparser.cmi src/externalsat/satsolutionparser.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/satsolutionlexer.cmo src/externalsat/satsolutionlexer.ml - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/externalsat/satsolutionparser.ml > src/externalsat/satsolutionparser.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/minisat/minisatwrapper.ml > src/minisat/minisatwrapper.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package minisat -modules src/satsolverregistry.ml > src/satsolverregistry.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satsolvers.cmo src/satsolvers.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satwrapper.cmo src/satwrapper.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/pseudosat/pseudosatwrapper.cmo src/pseudosat/pseudosatwrapper.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/pseudosat -I src/preprocessor -o src/preprocessor/preprocessor.cmo src/preprocessor/preprocessor.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/externalsat.cmo src/externalsat/externalsat.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/satsolutionparser.cmo src/externalsat/satsolutionparser.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/preprocessor -I src/pseudosat -I src/minisat -o src/minisat/minisatwrapper.cmo src/minisat/minisatwrapper.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satsolverregistry.cmo src/satsolverregistry.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -a -I src -I src/minisat -I src/pseudosat -I src/preprocessor -I src/externalsat src/satwrapper.cmo src/minisat/minisatwrapper.cmo src/satsolverregistry.cmo src/satsolvers.cmo src/pseudosat/pseudosatwrapper.cmo src/preprocessor/preprocessor.cmo src/externalsat/satsolutionparser.cmo src/externalsat/satsolutionlexer.cmo src/externalsat/externalsat.cmo -o src/ocaml-sat-solvers.cma - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satwrapper.cmx src/satwrapper.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/preprocessor -I src/pseudosat -I src/minisat -o src/minisat/minisatwrapper.cmx src/minisat/minisatwrapper.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satsolverregistry.cmx src/satsolverregistry.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/pseudosat/pseudosatwrapper.cmx src/pseudosat/pseudosatwrapper.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/satsolutionparser.cmx src/externalsat/satsolutionparser.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/satsolutionlexer.cmx src/externalsat/satsolutionlexer.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satsolvers.cmx src/satsolvers.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/pseudosat -I src/preprocessor -o src/preprocessor/preprocessor.cmx src/preprocessor/preprocessor.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/externalsat.cmx src/externalsat/externalsat.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -a -I src -I src/minisat -I src/pseudosat -I src/preprocessor -I src/externalsat src/satwrapper.cmx src/minisat/minisatwrapper.cmx src/satsolverregistry.cmx src/satsolvers.cmx src/pseudosat/pseudosatwrapper.cmx src/preprocessor/preprocessor.cmx src/externalsat/satsolutionparser.cmx src/externalsat/satsolutionlexer.cmx src/externalsat/externalsat.cmx -o src/ocaml-sat-solvers.cmxa - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -shared -I src -I src/minisat -I src/pseudosat -I src/preprocessor -I src/externalsat src/ocaml-sat-solvers.cmxa src/satwrapper.cmx src/minisat/minisatwrapper.cmx src/satsolverregistry.cmx src/satsolvers.cmx src/pseudosat/pseudosatwrapper.cmx src/preprocessor/preprocessor.cmx src/externalsat/satsolutionparser.cmx src/externalsat/satsolutionlexer.cmx src/externalsat/externalsat.cmx -o src/ocaml-sat-solvers.cmxs - + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/default/lib/ocamlbuild /home/opam/.opam/default/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - File "myocamlbuild.ml", line 460, characters 8-19: - 460 | Stream.from - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 463, characters 21-32: - 463 | match Stream.next st with - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 466, characters 18-32: - 466 | with Stream.Failure -> None) - ^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 468, characters 6-23: - 468 | Genlex.make_lexer ["="] st_line - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 471, characters 12-24: - 471 | match Stream.npeek 3 lxr with - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 472, characters 9-21: - 472 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 472, characters 26-36: - 472 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 472, characters 42-55: - 472 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 473, characters 8-19: - 473 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 473, characters 25-36: - 473 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 473, characters 42-53: - 473 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 485, characters 17-34: - 485 | let st = Stream.of_channel chn in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. -> compiled ocaml-sat-solvers.0.3 [ocaml-sat-solvers: ocaml setup.ml] + /home/opam/.opam/default/bin/ocaml "setup.ml" "-install" (CWD=/home/opam/.opam/default/.opam-switch/build/ocaml-sat-solvers.0.3) - File "./setup.ml", line 581, characters 4-15: - 581 | Stream.from next - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 609, characters 19-36: - 609 | let strm = Stream.of_channel chn in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 616, characters 37-48: - 616 | Buffer.add_char buf (Stream.next strm); - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 619, characters 17-31: - 619 | with Stream.Failure -> - ^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 1437, characters 16-33: - 1437 | let lxr = Genlex.make_lexer [] in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1439, characters 22-38: - 1439 | let st = lxr (Stream.of_string s) in - ^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 1440, characters 14-26: - 1440 | match Stream.npeek 3 st with - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "./setup.ml", line 1441, characters 11-23: - 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm) - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1441, characters 28-40: - 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm) - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1442, characters 11-23: - 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str) - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1442, characters 28-41: - 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str) - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1443, characters 11-24: - 1443 | | [Genlex.String str] -> String str - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1444, characters 11-23: - 1444 | | [Genlex.Ident nm] -> Ident nm - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "./setup.ml", line 1781, characters 22-40: - 1781 | 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 - File "setup.ml", line 3182, characters 8-19: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3185, characters 21-32: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3188, characters 18-32: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3190, characters 6-23: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3193, characters 12-24: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3194, characters 9-21: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3194, characters 26-36: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3194, characters 42-55: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3195, characters 8-19: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3195, characters 25-36: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3195, characters 42-53: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3207, characters 17-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3332, characters 16-33: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3351, characters 22-38: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3353, characters 17-29: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3354, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3354, characters 37-49: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3356, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3356, characters 37-50: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3358, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3358, characters 46-58: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3360, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3360, characters 46-59: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3362, characters 16-28: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3375, characters 13-25: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3473, characters 16-34: - 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 "setup.ml", line 4524, characters 21-38: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4526, characters 19-31: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 4527, characters 16-29: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4527, characters 33-46: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4529, characters 15-26: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 4529, characters 32-43: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - W: Cannot find source header for module library in pseudosat/Pseudosatwrapper ocaml-sat-solvers - W: Cannot find source header for module library in preprocessor/Preprocessor ocaml-sat-solvers - W: Cannot find source header for module library in externalsat/Externalsat ocaml-sat-solvers - W: Cannot find source header for module library in externalsat/Satsolutionlexer ocaml-sat-solvers - W: Cannot find source header for module library in externalsat/Satsolutionparser ocaml-sat-solvers - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolvers.mli - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satwrapper.mli - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/ocaml-sat-solvers.cma - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/ocaml-sat-solvers.cmxa - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/ocaml-sat-solvers.a - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/ocaml-sat-solvers.cmxs - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolutionparser.cmi - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolutionparser.cmti - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolutionparser.cmt - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolutionparser.annot - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolutionlexer.cmi - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolutionlexer.cmt - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolutionlexer.annot - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/externalsat.cmi - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/externalsat.cmti - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/externalsat.cmt - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/externalsat.annot - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/preprocessor.cmi - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/preprocessor.cmti - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/preprocessor.cmt - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/preprocessor.annot - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/pseudosatwrapper.cmi - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/pseudosatwrapper.cmti - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/pseudosatwrapper.cmt - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/pseudosatwrapper.annot - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satwrapper.cmi - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satwrapper.cmti - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satwrapper.cmt - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satwrapper.annot - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolvers.cmi - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolvers.cmti - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolvers.cmt - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolvers.annot - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolverregistry.cmx - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/minisatwrapper.cmx - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolutionparser.cmx - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolutionlexer.cmx - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/externalsat.cmx - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/preprocessor.cmx - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/pseudosatwrapper.cmx - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satwrapper.cmx - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/satsolvers.cmx - Installed /home/opam/.opam/default/lib/ocaml-sat-solvers/META -> installed ocaml-sat-solvers.0.3 === STDERR === 2026-06-16 12:15.00: OK: build ocaml-sat-solvers.0.3 (runc: 14.1s, disk: 49KB) 2026-06-16 12:15.00: Job succeeded