Build:
- 0
2026-06-16 12:15.16: New job: build dolmen.0.2 (45ea79b1bf9e) 2026-06-16 12:15.16: Waiting for resource in pool day11-builds 2026-06-16 12:54.24: Got resource from pool day11-builds 2026-06-16 12:54.24: [profile full] build dolmen.0.2 2026-06-16 12:54.24: build dolmen.0.2 (45ea79b1bf9e) === DEPENDENCIES (12 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d dune.3.23.1 5402470d931c menhir.20250912 61eab87689db menhirCST.20250912 128cd608e6c2 menhirLib.20250912 fa16ed32cb6a menhirSdk.20250912 7ba9c80ffd88 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] [dolmen.0.2: dl] [dolmen.0.2: extract] -> retrieved dolmen.0.2 (https://opam.ocaml.org/cache) [dolmen: make src] + /usr/bin/make "-C" "src" "lib" (CWD=/home/opam/.opam/default/.opam-switch/build/dolmen.0.2) - make: Entering directory '/home/opam/.opam/default/.opam-switch/build/dolmen.0.2/src' - ocamlbuild -use-ocamlfind -yaccflag '--table' dolmen.cma dolmen.cmxa dolmen.cmxs dolmen.a - + 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 - + ocamlfind ocamldep -modules standard/id.mli > standard/id.mli.depends - + ocamlfind ocamldep -package menhirLib -modules interface/id_intf.ml > interface/id_intf.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I interface -I standard -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o interface/id_intf.cmo interface/id_intf.ml - + ocamlfind ocamlc -c -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/id.cmi standard/id.mli - + ocamlfind ocamldep -modules standard/id.ml > standard/id.ml.depends - + ocamlfind ocamldep -modules standard/term.mli > standard/term.mli.depends - + ocamlfind ocamldep -modules standard/parseLocation.mli > standard/parseLocation.mli.depends - + ocamlfind ocamldep -package menhirLib -modules interface/location_intf.ml > interface/location_intf.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I interface -I standard -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o interface/location_intf.cmo interface/location_intf.ml - + ocamlfind ocamldep -package menhirLib -modules interface/term_intf.ml > interface/term_intf.ml.depends - + ocamlfind ocamlc -c -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/parseLocation.cmi standard/parseLocation.mli - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I interface -I standard -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o interface/term_intf.cmo interface/term_intf.ml - + ocamlfind ocamlc -c -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/term.cmi standard/term.mli - + ocamlfind ocamldep -modules standard/term.ml > standard/term.ml.depends - + ocamlfind ocamldep -modules standard/misc.mli > standard/misc.mli.depends - + ocamlfind ocamlc -c -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/misc.cmi standard/misc.mli - + ocamlfind ocamldep -modules standard/statement.mli > standard/statement.mli.depends - + ocamlfind ocamldep -package menhirLib -modules interface/stmt_intf.ml > interface/stmt_intf.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I interface -I standard -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o interface/stmt_intf.cmo interface/stmt_intf.ml - + ocamlfind ocamlc -c -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/statement.cmi standard/statement.mli - + ocamlfind ocamldep -modules standard/statement.ml > standard/statement.ml.depends - + ocamlfind ocamldep -modules standard/parseLocation.ml > standard/parseLocation.ml.depends - + ocamlfind ocamldep -package menhirLib -modules languages/dimacs/dimacs.mli > languages/dimacs/dimacs.mli.depends - + ocamlfind ocamldep -package menhirLib -modules languages/dimacs/ast_dimacs.ml > languages/dimacs/ast_dimacs.ml.depends - + ocamlfind ocamldep -package menhirLib -modules interface/language_intf.ml > interface/language_intf.ml.depends - + ocamlfind ocamldep -package menhirLib -modules interface/lex_intf.ml > interface/lex_intf.ml.depends - + ocamlfind ocamldep -package menhirLib -modules interface/parse_intf.ml > interface/parse_intf.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I interface -I standard -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o interface/lex_intf.cmo interface/lex_intf.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I interface -I standard -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o interface/parse_intf.cmo interface/parse_intf.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf -o languages/dimacs/ast_dimacs.cmo languages/dimacs/ast_dimacs.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I interface -I standard -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o interface/language_intf.cmo interface/language_intf.ml - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf -o languages/dimacs/dimacs.cmi languages/dimacs/dimacs.mli - + ocamlfind ocamldep -package menhirLib -modules languages/dimacs/dimacs.ml > languages/dimacs/dimacs.ml.depends - + /home/opam/.opam/default/bin/ocamllex.opt -q languages/dimacs/lexDimacs.mll - + ocamlfind ocamldep -package menhirLib -modules languages/dimacs/lexDimacs.ml > languages/dimacs/lexDimacs.ml.depends - + menhir --only-tokens --raw-depend --ocamldep 'ocamlfind ocamldep -modules' --base languages/dimacs/tokens_dimacs languages/dimacs/tokens_dimacs.mly > languages/dimacs/tokens_dimacs.mlypack.depends - + menhir --ocamlc 'ocamlfind ocamlc -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf' --table --explain --infer --only-tokens --base languages/dimacs/tokens_dimacs languages/dimacs/tokens_dimacs.mly - + ocamlfind ocamldep -package menhirLib -modules languages/dimacs/tokens_dimacs.mli > languages/dimacs/tokens_dimacs.mli.depends - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf -o languages/dimacs/tokens_dimacs.cmi languages/dimacs/tokens_dimacs.mli - + menhir --external-tokens Tokens_dimacs --raw-depend --ocamldep 'ocamlfind ocamldep -modules' --base languages/dimacs/parseDimacs languages/dimacs/tokens_dimacs.mly languages/dimacs/parseDimacs.mly > languages/dimacs/parseDimacs.mlypack.depends - + menhir --ocamlc 'ocamlfind ocamlc -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf' --table --explain --infer --external-tokens Tokens_dimacs --base languages/dimacs/parseDimacs languages/dimacs/tokens_dimacs.mly languages/dimacs/parseDimacs.mly - + ocamlfind ocamldep -package menhirLib -modules languages/dimacs/parseDimacs.mli > languages/dimacs/parseDimacs.mli.depends - + ocamlfind ocamldep -modules standard/transformer.ml > standard/transformer.ml.depends - + ocamlfind ocamldep -package menhirLib -modules languages/line/line.mli > languages/line/line.mli.depends - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/line -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/zf -o languages/line/line.cmi languages/line/line.mli - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf -o languages/dimacs/lexDimacs.cmo languages/dimacs/lexDimacs.ml - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf -o languages/dimacs/parseDimacs.cmi languages/dimacs/parseDimacs.mli - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/transformer.cmo standard/transformer.ml - + ocamlfind ocamldep -package menhirLib -modules languages/dimacs/parseDimacs.ml > languages/dimacs/parseDimacs.ml.depends - + ocamlfind ocamldep -package menhirLib -modules languages/icnf/iCNF.mli > languages/icnf/iCNF.mli.depends - + ocamlfind ocamldep -package menhirLib -modules languages/icnf/ast_iCNF.ml > languages/icnf/ast_iCNF.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf -o languages/icnf/ast_iCNF.cmo languages/icnf/ast_iCNF.ml - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf -o languages/icnf/iCNF.cmi languages/icnf/iCNF.mli - + ocamlfind ocamldep -package menhirLib -modules languages/icnf/iCNF.ml > languages/icnf/iCNF.ml.depends - + /home/opam/.opam/default/bin/ocamllex.opt -q languages/icnf/lexiCNF.mll - + ocamlfind ocamldep -package menhirLib -modules languages/icnf/lexiCNF.ml > languages/icnf/lexiCNF.ml.depends - + menhir --only-tokens --raw-depend --ocamldep 'ocamlfind ocamldep -modules' --base languages/icnf/tokens_iCNF languages/icnf/tokens_iCNF.mly > languages/icnf/tokens_iCNF.mlypack.depends - + menhir --ocamlc 'ocamlfind ocamlc -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf' --table --explain --infer --only-tokens --base languages/icnf/tokens_iCNF languages/icnf/tokens_iCNF.mly - + ocamlfind ocamldep -package menhirLib -modules languages/icnf/tokens_iCNF.mli > languages/icnf/tokens_iCNF.mli.depends - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf -o languages/icnf/tokens_iCNF.cmi languages/icnf/tokens_iCNF.mli - + menhir --external-tokens Tokens_iCNF --raw-depend --ocamldep 'ocamlfind ocamldep -modules' --base languages/icnf/parseiCNF languages/icnf/tokens_iCNF.mly languages/icnf/parseiCNF.mly > languages/icnf/parseiCNF.mlypack.depends - + menhir --ocamlc 'ocamlfind ocamlc -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf' --table --explain --infer --external-tokens Tokens_iCNF --base languages/icnf/parseiCNF languages/icnf/tokens_iCNF.mly languages/icnf/parseiCNF.mly - + ocamlfind ocamldep -package menhirLib -modules languages/icnf/parseiCNF.mli > languages/icnf/parseiCNF.mli.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf -o languages/icnf/lexiCNF.cmo languages/icnf/lexiCNF.ml - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf -o languages/icnf/parseiCNF.cmi languages/icnf/parseiCNF.mli - + ocamlfind ocamldep -package menhirLib -modules languages/icnf/parseiCNF.ml > languages/icnf/parseiCNF.ml.depends - + ocamlfind ocamldep -package menhirLib -modules languages/smtlib/smtlib.mli > languages/smtlib/smtlib.mli.depends - + ocamlfind ocamldep -package menhirLib -modules languages/smtlib/ast_smtlib.ml > languages/smtlib/ast_smtlib.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/smtlib/ast_smtlib.cmo languages/smtlib/ast_smtlib.ml - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/smtlib/smtlib.cmi languages/smtlib/smtlib.mli - + ocamlfind ocamldep -package menhirLib -modules languages/smtlib/smtlib.ml > languages/smtlib/smtlib.ml.depends - + /home/opam/.opam/default/bin/ocamllex.opt -q languages/smtlib/lexSmtlib.mll - + ocamlfind ocamldep -package menhirLib -modules languages/smtlib/lexSmtlib.ml > languages/smtlib/lexSmtlib.ml.depends - + menhir --only-tokens --raw-depend --ocamldep 'ocamlfind ocamldep -modules' --base languages/smtlib/tokens_smtlib languages/smtlib/tokens_smtlib.mly > languages/smtlib/tokens_smtlib.mlypack.depends - + menhir --ocamlc 'ocamlfind ocamlc -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf' --table --explain --infer --only-tokens --base languages/smtlib/tokens_smtlib languages/smtlib/tokens_smtlib.mly - + ocamlfind ocamldep -package menhirLib -modules languages/smtlib/tokens_smtlib.mli > languages/smtlib/tokens_smtlib.mli.depends - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/smtlib/tokens_smtlib.cmi languages/smtlib/tokens_smtlib.mli - + menhir --external-tokens Tokens_smtlib --raw-depend --ocamldep 'ocamlfind ocamldep -modules' --base languages/smtlib/parseSmtlib languages/smtlib/tokens_smtlib.mly languages/smtlib/parseSmtlib.mly > languages/smtlib/parseSmtlib.mlypack.depends - + menhir --ocamlc 'ocamlfind ocamlc -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf' --table --explain --infer --external-tokens Tokens_smtlib --base languages/smtlib/parseSmtlib languages/smtlib/tokens_smtlib.mly languages/smtlib/parseSmtlib.mly - + ocamlfind ocamldep -package menhirLib -modules languages/smtlib/parseSmtlib.mli > languages/smtlib/parseSmtlib.mli.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/smtlib/lexSmtlib.cmo languages/smtlib/lexSmtlib.ml - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/smtlib/parseSmtlib.cmi languages/smtlib/parseSmtlib.mli - + ocamlfind ocamldep -package menhirLib -modules languages/smtlib/parseSmtlib.ml > languages/smtlib/parseSmtlib.ml.depends - + ocamlfind ocamldep -package menhirLib -modules languages/zf/zf.mli > languages/zf/zf.mli.depends - + ocamlfind ocamldep -package menhirLib -modules languages/zf/ast_zf.ml > languages/zf/ast_zf.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -o languages/zf/ast_zf.cmo languages/zf/ast_zf.ml - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -o languages/zf/zf.cmi languages/zf/zf.mli - + ocamlfind ocamldep -package menhirLib -modules languages/zf/zf.ml > languages/zf/zf.ml.depends - + /home/opam/.opam/default/bin/ocamllex.opt -q languages/zf/lexZf.mll - + ocamlfind ocamldep -package menhirLib -modules languages/zf/lexZf.ml > languages/zf/lexZf.ml.depends - + menhir --only-tokens --raw-depend --ocamldep 'ocamlfind ocamldep -modules' --base languages/zf/tokens_zf languages/zf/tokens_zf.mly > languages/zf/tokens_zf.mlypack.depends - + menhir --ocamlc 'ocamlfind ocamlc -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line' --table --explain --infer --only-tokens --base languages/zf/tokens_zf languages/zf/tokens_zf.mly - + ocamlfind ocamldep -package menhirLib -modules languages/zf/tokens_zf.mli > languages/zf/tokens_zf.mli.depends - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -o languages/zf/tokens_zf.cmi languages/zf/tokens_zf.mli - + menhir --external-tokens Tokens_zf --raw-depend --ocamldep 'ocamlfind ocamldep -modules' --base languages/zf/parseZf languages/zf/tokens_zf.mly languages/zf/parseZf.mly > languages/zf/parseZf.mlypack.depends - + menhir --ocamlc 'ocamlfind ocamlc -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line' --table --explain --infer --external-tokens Tokens_zf --base languages/zf/parseZf languages/zf/tokens_zf.mly languages/zf/parseZf.mly - + ocamlfind ocamldep -package menhirLib -modules languages/zf/parseZf.mli > languages/zf/parseZf.mli.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -o languages/zf/lexZf.cmo languages/zf/lexZf.ml - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -o languages/zf/parseZf.cmi languages/zf/parseZf.mli - + ocamlfind ocamldep -package menhirLib -modules languages/zf/parseZf.ml > languages/zf/parseZf.ml.depends - + ocamlfind ocamldep -package menhirLib -modules languages/tptp/tptp.mli > languages/tptp/tptp.mli.depends - + ocamlfind ocamldep -package menhirLib -modules languages/tptp/ast_tptp.ml > languages/tptp/ast_tptp.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/tptp/ast_tptp.cmo languages/tptp/ast_tptp.ml - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/tptp/tptp.cmi languages/tptp/tptp.mli - + ocamlfind ocamldep -package menhirLib -modules languages/tptp/tptp.ml > languages/tptp/tptp.ml.depends - + /home/opam/.opam/default/bin/ocamllex.opt -q languages/tptp/lexTptp.mll - + ocamlfind ocamldep -package menhirLib -modules languages/tptp/lexTptp.ml > languages/tptp/lexTptp.ml.depends - + menhir --only-tokens --raw-depend --ocamldep 'ocamlfind ocamldep -modules' --base languages/tptp/tokens_tptp languages/tptp/tokens_tptp.mly > languages/tptp/tokens_tptp.mlypack.depends - + menhir --ocamlc 'ocamlfind ocamlc -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf' --table --explain --infer --only-tokens --base languages/tptp/tokens_tptp languages/tptp/tokens_tptp.mly - + ocamlfind ocamldep -package menhirLib -modules languages/tptp/tokens_tptp.mli > languages/tptp/tokens_tptp.mli.depends - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/tptp/tokens_tptp.cmi languages/tptp/tokens_tptp.mli - + menhir --external-tokens Tokens_tptp --raw-depend --ocamldep 'ocamlfind ocamldep -modules' --base languages/tptp/parseTptp languages/tptp/tokens_tptp.mly languages/tptp/parseTptp.mly > languages/tptp/parseTptp.mlypack.depends - + menhir --ocamlc 'ocamlfind ocamlc -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf' --table --explain --infer --external-tokens Tokens_tptp --base languages/tptp/parseTptp languages/tptp/tokens_tptp.mly languages/tptp/parseTptp.mly - + ocamlfind ocamldep -package menhirLib -modules languages/tptp/parseTptp.mli > languages/tptp/parseTptp.mli.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/tptp/lexTptp.cmo languages/tptp/lexTptp.ml - + ocamlfind ocamlc -c -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/tptp/parseTptp.cmi languages/tptp/parseTptp.mli - + ocamlfind ocamldep -package menhirLib -modules languages/tptp/parseTptp.ml > languages/tptp/parseTptp.ml.depends - + ocamlfind ocamldep -modules classes/logic.mli > classes/logic.mli.depends - + ocamlfind ocamlc -c -color always -I classes -I standard -I interface -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o classes/logic.cmi classes/logic.mli - + ocamlfind ocamldep -modules classes/logic.ml > classes/logic.ml.depends - + ocamlfind ocamldep -modules standard/misc.ml > standard/misc.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/id.cmo standard/id.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/id.cmo standard/id.ml - File "standard/id.ml", line 17, characters 14-32: - 17 | 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 "standard/id.ml", line 18, characters 12-26: - 18 | let 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 - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/term.cmo standard/term.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/statement.cmo standard/statement.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/parseLocation.cmo standard/parseLocation.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf -o languages/dimacs/dimacs.cmo languages/dimacs/dimacs.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf -o languages/dimacs/parseDimacs.cmo languages/dimacs/parseDimacs.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf -o languages/icnf/iCNF.cmo languages/icnf/iCNF.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf -o languages/icnf/parseiCNF.cmo languages/icnf/parseiCNF.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/smtlib/smtlib.cmo languages/smtlib/smtlib.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/smtlib/parseSmtlib.cmo languages/smtlib/parseSmtlib.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -o languages/zf/zf.cmo languages/zf/zf.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -o languages/zf/parseZf.cmo languages/zf/parseZf.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/tptp/tptp.cmo languages/tptp/tptp.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/tptp/parseTptp.cmo languages/tptp/parseTptp.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -color always -I classes -I standard -I interface -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o classes/logic.cmo classes/logic.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/misc.cmo standard/misc.ml - + ocamlfind ocamlc -pack -g standard/id.cmo standard/misc.cmo standard/parseLocation.cmo standard/term.cmo standard/statement.cmo languages/dimacs/lexDimacs.cmo languages/dimacs/parseDimacs.cmo standard/transformer.cmo languages/dimacs/dimacs.cmo languages/icnf/lexiCNF.cmo languages/icnf/parseiCNF.cmo languages/icnf/iCNF.cmo languages/smtlib/lexSmtlib.cmo languages/smtlib/parseSmtlib.cmo languages/smtlib/smtlib.cmo languages/zf/lexZf.cmo languages/zf/parseZf.cmo languages/zf/zf.cmo languages/tptp/lexTptp.cmo languages/tptp/parseTptp.cmo languages/tptp/tptp.cmo classes/logic.cmo -o dolmen.cmo - + ocamlfind ocamldep -package menhirLib -modules languages/dimacs/tokens_dimacs.ml > languages/dimacs/tokens_dimacs.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf -o languages/dimacs/tokens_dimacs.cmo languages/dimacs/tokens_dimacs.ml - + ocamlfind ocamldep -package menhirLib -modules languages/line/line.ml > languages/line/line.ml.depends - + /home/opam/.opam/default/bin/ocamllex.opt -q languages/line/lexLine.mll - + ocamlfind ocamldep -package menhirLib -modules languages/line/lexLine.ml > languages/line/lexLine.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/line -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/zf -o languages/line/lexLine.cmo languages/line/lexLine.ml - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/line -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/zf -o languages/line/line.cmo languages/line/line.ml - + ocamlfind ocamldep -package menhirLib -modules languages/icnf/tokens_iCNF.ml > languages/icnf/tokens_iCNF.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf -o languages/icnf/tokens_iCNF.cmo languages/icnf/tokens_iCNF.ml - + ocamlfind ocamldep -package menhirLib -modules languages/smtlib/tokens_smtlib.ml > languages/smtlib/tokens_smtlib.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/smtlib/tokens_smtlib.cmo languages/smtlib/tokens_smtlib.ml - + ocamlfind ocamldep -package menhirLib -modules languages/zf/tokens_zf.ml > languages/zf/tokens_zf.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -o languages/zf/tokens_zf.cmo languages/zf/tokens_zf.ml - + ocamlfind ocamldep -package menhirLib -modules languages/tptp/tokens_tptp.ml > languages/tptp/tokens_tptp.ml.depends - + ocamlfind ocamlc -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/tptp/tokens_tptp.cmo languages/tptp/tokens_tptp.ml - + ocamlfind ocamlc -a -I interface -I languages/dimacs -I languages/icnf -I languages/line -I languages/smtlib -I languages/tptp -I languages/zf interface/id_intf.cmo interface/lex_intf.cmo interface/parse_intf.cmo interface/language_intf.cmo interface/location_intf.cmo interface/stmt_intf.cmo interface/term_intf.cmo languages/dimacs/ast_dimacs.cmo languages/dimacs/tokens_dimacs.cmo languages/icnf/ast_iCNF.cmo languages/icnf/tokens_iCNF.cmo languages/line/lexLine.cmo languages/line/line.cmo languages/smtlib/ast_smtlib.cmo languages/smtlib/tokens_smtlib.cmo languages/tptp/ast_tptp.cmo languages/tptp/tokens_tptp.cmo languages/zf/ast_zf.cmo languages/zf/tokens_zf.cmo dolmen.cmo -o dolmen.cma - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I interface -I standard -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o interface/id_intf.cmx interface/id_intf.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/id.cmx standard/id.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/id.cmx standard/id.ml - File "standard/id.ml", line 17, characters 14-32: - 17 | 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 "standard/id.ml", line 18, characters 12-26: - 18 | let 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 - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I interface -I standard -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o interface/location_intf.cmx interface/location_intf.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/misc.cmx standard/misc.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/parseLocation.cmx standard/parseLocation.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I interface -I standard -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o interface/term_intf.cmx interface/term_intf.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/term.cmx standard/term.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I interface -I standard -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o interface/stmt_intf.cmx interface/stmt_intf.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf -o languages/dimacs/tokens_dimacs.cmx languages/dimacs/tokens_dimacs.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf -o languages/dimacs/ast_dimacs.cmx languages/dimacs/ast_dimacs.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/line -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/zf -o languages/line/lexLine.cmx languages/line/lexLine.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I interface -I standard -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o interface/lex_intf.cmx interface/lex_intf.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/line -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/zf -o languages/line/line.cmx languages/line/line.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I interface -I standard -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o interface/parse_intf.cmx interface/parse_intf.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf -o languages/dimacs/lexDimacs.cmx languages/dimacs/lexDimacs.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf -o languages/dimacs/parseDimacs.cmx languages/dimacs/parseDimacs.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/transformer.cmx standard/transformer.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I interface -I standard -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o interface/language_intf.cmx interface/language_intf.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf -o languages/icnf/tokens_iCNF.cmx languages/icnf/tokens_iCNF.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf -o languages/icnf/ast_iCNF.cmx languages/icnf/ast_iCNF.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf -o languages/icnf/lexiCNF.cmx languages/icnf/lexiCNF.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf -o languages/icnf/parseiCNF.cmx languages/icnf/parseiCNF.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/smtlib/tokens_smtlib.cmx languages/smtlib/tokens_smtlib.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/smtlib/ast_smtlib.cmx languages/smtlib/ast_smtlib.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/smtlib/lexSmtlib.cmx languages/smtlib/lexSmtlib.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/smtlib/parseSmtlib.cmx languages/smtlib/parseSmtlib.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -o languages/zf/tokens_zf.cmx languages/zf/tokens_zf.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -o languages/zf/ast_zf.cmx languages/zf/ast_zf.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -o languages/zf/lexZf.cmx languages/zf/lexZf.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -o languages/zf/parseZf.cmx languages/zf/parseZf.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/tptp/tokens_tptp.cmx languages/tptp/tokens_tptp.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/tptp/ast_tptp.cmx languages/tptp/ast_tptp.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/tptp/lexTptp.cmx languages/tptp/lexTptp.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/tptp/parseTptp.cmx languages/tptp/parseTptp.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/dimacs -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/line -I languages/zf -o languages/dimacs/dimacs.cmx languages/dimacs/dimacs.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/icnf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/dimacs -I languages/line -I languages/zf -o languages/icnf/iCNF.cmx languages/icnf/iCNF.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/smtlib -I standard -I interface -I classes -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/smtlib/smtlib.cmx languages/smtlib/smtlib.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/tptp -I standard -I interface -I classes -I languages/smtlib -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o languages/tptp/tptp.cmx languages/tptp/tptp.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -package menhirLib -color always -I languages/zf -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -o languages/zf/zf.cmx languages/zf/zf.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -color always -I standard -I interface -I classes -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o standard/statement.cmx standard/statement.ml - + ocamlfind ocamlopt -c -g -safe-string -short-paths -w K -w X -w Y -strict-sequence -for-pack Dolmen -color always -I classes -I standard -I interface -I languages/smtlib -I languages/tptp -I languages/icnf -I languages/dimacs -I languages/line -I languages/zf -o classes/logic.cmx classes/logic.ml - + touch dolmen.mli ; if ocamlfind ocamlopt -pack -g -I standard -I languages/dimacs -I languages/icnf -I languages/smtlib -I languages/zf -I languages/tptp -I classes standard/id.cmx standard/misc.cmx standard/parseLocation.cmx standard/term.cmx standard/statement.cmx languages/dimacs/lexDimacs.cmx languages/dimacs/parseDimacs.cmx standard/transformer.cmx languages/dimacs/dimacs.cmx languages/icnf/lexiCNF.cmx languages/icnf/parseiCNF.cmx languages/icnf/iCNF.cmx languages/smtlib/lexSmtlib.cmx languages/smtlib/parseSmtlib.cmx languages/smtlib/smtlib.cmx languages/zf/lexZf.cmx languages/zf/parseZf.cmx languages/zf/zf.cmx languages/tptp/lexTptp.cmx languages/tptp/parseTptp.cmx languages/tptp/tptp.cmx classes/logic.cmx -o dolmen.cmx ; then rm -f dolmen.mli ; else rm -f dolmen.mli ; exit 1; fi - + ocamlfind ocamlopt -a -I interface -I languages/dimacs -I languages/icnf -I languages/line -I languages/smtlib -I languages/tptp -I languages/zf interface/id_intf.cmx interface/lex_intf.cmx interface/parse_intf.cmx interface/language_intf.cmx interface/location_intf.cmx interface/stmt_intf.cmx interface/term_intf.cmx languages/dimacs/ast_dimacs.cmx languages/dimacs/tokens_dimacs.cmx languages/icnf/ast_iCNF.cmx languages/icnf/tokens_iCNF.cmx languages/line/lexLine.cmx languages/line/line.cmx languages/smtlib/ast_smtlib.cmx languages/smtlib/tokens_smtlib.cmx languages/tptp/ast_tptp.cmx languages/tptp/tokens_tptp.cmx languages/zf/ast_zf.cmx languages/zf/tokens_zf.cmx dolmen.cmx -o dolmen.cmxa - + ocamlfind ocamlopt -shared -linkall dolmen.cmxa -o dolmen.cmxs - make: Leaving directory '/home/opam/.opam/default/.opam-switch/build/dolmen.0.2/src' -> compiled dolmen.0.2 [dolmen: make src] + /usr/bin/make "-C" "src" "install" (CWD=/home/opam/.opam/default/.opam-switch/build/dolmen.0.2) - make: Entering directory '/home/opam/.opam/default/.opam-switch/build/dolmen.0.2/src' - ocamlbuild -use-ocamlfind -yaccflag '--table' dolmen.cma dolmen.cmxa dolmen.cmxs dolmen.a - + ocamlfind ocamlc -config - + ocamlfind ocamlc -config - ocamlfind install dolmen META _build/dolmen.cma _build/dolmen.cmxa _build/dolmen.cmxs _build/dolmen.a _build/dolmen.a _build/dolmen.cmi _build/languages/zf/tokens_zf.cmx _build/languages/zf/ast_zf.cmx _build/languages/zf/lexZf.cmi _build/languages/zf/lexZf.cmx _build/languages/zf/ast_zf.cmi _build/languages/zf/zf.cmi _build/languages/zf/tokens_zf.cmi _build/languages/zf/parseZf.cmi _build/languages/zf/parseZf.cmx _build/languages/zf/zf.cmx _build/languages/line/lexLine.cmx _build/languages/line/lexLine.cmi _build/languages/line/line.cmx _build/languages/line/line.cmi _build/languages/dimacs/lexDimacs.cmi _build/languages/dimacs/tokens_dimacs.cmx _build/languages/dimacs/lexDimacs.cmx _build/languages/dimacs/ast_dimacs.cmx _build/languages/dimacs/dimacs.cmx _build/languages/dimacs/ast_dimacs.cmi _build/languages/dimacs/parseDimacs.cmx _build/languages/dimacs/parseDimacs.cmi _build/languages/dimacs/tokens_dimacs.cmi _build/languages/dimacs/dimacs.cmi _build/languages/icnf/tokens_iCNF.cmx _build/languages/icnf/iCNF.cmi _build/languages/icnf/lexiCNF.cmi _build/languages/icnf/ast_iCNF.cmx _build/languages/icnf/iCNF.cmx _build/languages/icnf/parseiCNF.cmi _build/languages/icnf/ast_iCNF.cmi _build/languages/icnf/lexiCNF.cmx _build/languages/icnf/tokens_iCNF.cmi _build/languages/icnf/parseiCNF.cmx _build/languages/tptp/lexTptp.cmi _build/languages/tptp/parseTptp.cmi _build/languages/tptp/ast_tptp.cmx _build/languages/tptp/ast_tptp.cmi _build/languages/tptp/tptp.cmi _build/languages/tptp/tokens_tptp.cmx _build/languages/tptp/lexTptp.cmx _build/languages/tptp/tokens_tptp.cmi _build/languages/tptp/parseTptp.cmx _build/languages/tptp/tptp.cmx _build/languages/smtlib/smtlib.cmx _build/languages/smtlib/ast_smtlib.cmx _build/languages/smtlib/lexSmtlib.cmx _build/languages/smtlib/tokens_smtlib.cmx _build/languages/smtlib/tokens_smtlib.cmi _build/languages/smtlib/lexSmtlib.cmi _build/languages/smtlib/smtlib.cmi _build/languages/smtlib/ast_smtlib.cmi _build/languages/smtlib/parseSmtlib.cmx _build/languages/smtlib/parseSmtlib.cmi _build/myocamlbuild.cmx _build/classes/logic.cmx _build/classes/logic.cmi _build/dolmen.cmx _build/dolmen.cmi _build/interface/language_intf.cmi _build/interface/location_intf.cmi _build/interface/language_intf.cmx _build/interface/term_intf.cmi _build/interface/parse_intf.cmi _build/interface/stmt_intf.cmi _build/interface/lex_intf.cmx _build/interface/lex_intf.cmi _build/interface/id_intf.cmi _build/interface/stmt_intf.cmx _build/interface/location_intf.cmx _build/interface/term_intf.cmx _build/interface/id_intf.cmx _build/interface/parse_intf.cmx _build/standard/statement.cmx _build/standard/misc.cmi _build/standard/parseLocation.cmi _build/standard/misc.cmx _build/standard/id.cmx _build/standard/transformer.cmx _build/standard/transformer.cmi _build/standard/parseLocation.cmx _build/standard/term.cmi _build/standard/statement.cmi _build/standard/id.cmi _build/standard/term.cmx _build/myocamlbuild.cmi - Installed /home/opam/.opam/default/lib/dolmen/myocamlbuild.cmi - Installed /home/opam/.opam/default/lib/dolmen/term.cmx - Installed /home/opam/.opam/default/lib/dolmen/id.cmi - Installed /home/opam/.opam/default/lib/dolmen/statement.cmi - Installed /home/opam/.opam/default/lib/dolmen/term.cmi - Installed /home/opam/.opam/default/lib/dolmen/parseLocation.cmx - Installed /home/opam/.opam/default/lib/dolmen/transformer.cmi - Installed /home/opam/.opam/default/lib/dolmen/transformer.cmx - Installed /home/opam/.opam/default/lib/dolmen/id.cmx - Installed /home/opam/.opam/default/lib/dolmen/misc.cmx - Installed /home/opam/.opam/default/lib/dolmen/parseLocation.cmi - Installed /home/opam/.opam/default/lib/dolmen/misc.cmi - Installed /home/opam/.opam/default/lib/dolmen/statement.cmx - Installed /home/opam/.opam/default/lib/dolmen/parse_intf.cmx - Installed /home/opam/.opam/default/lib/dolmen/id_intf.cmx - Installed /home/opam/.opam/default/lib/dolmen/term_intf.cmx - Installed /home/opam/.opam/default/lib/dolmen/location_intf.cmx - Installed /home/opam/.opam/default/lib/dolmen/stmt_intf.cmx - Installed /home/opam/.opam/default/lib/dolmen/id_intf.cmi - Installed /home/opam/.opam/default/lib/dolmen/lex_intf.cmi - Installed /home/opam/.opam/default/lib/dolmen/lex_intf.cmx - Installed /home/opam/.opam/default/lib/dolmen/stmt_intf.cmi - Installed /home/opam/.opam/default/lib/dolmen/parse_intf.cmi - Installed /home/opam/.opam/default/lib/dolmen/term_intf.cmi - Installed /home/opam/.opam/default/lib/dolmen/language_intf.cmx - Installed /home/opam/.opam/default/lib/dolmen/location_intf.cmi - Installed /home/opam/.opam/default/lib/dolmen/language_intf.cmi - Installed /home/opam/.opam/default/lib/dolmen/dolmen.cmi - Installed /home/opam/.opam/default/lib/dolmen/dolmen.cmx - Installed /home/opam/.opam/default/lib/dolmen/logic.cmi - Installed /home/opam/.opam/default/lib/dolmen/logic.cmx - Installed /home/opam/.opam/default/lib/dolmen/myocamlbuild.cmx - Installed /home/opam/.opam/default/lib/dolmen/parseSmtlib.cmi - Installed /home/opam/.opam/default/lib/dolmen/parseSmtlib.cmx - Installed /home/opam/.opam/default/lib/dolmen/ast_smtlib.cmi - Installed /home/opam/.opam/default/lib/dolmen/smtlib.cmi - Installed /home/opam/.opam/default/lib/dolmen/lexSmtlib.cmi - Installed /home/opam/.opam/default/lib/dolmen/tokens_smtlib.cmi - Installed /home/opam/.opam/default/lib/dolmen/tokens_smtlib.cmx - Installed /home/opam/.opam/default/lib/dolmen/lexSmtlib.cmx - Installed /home/opam/.opam/default/lib/dolmen/ast_smtlib.cmx - Installed /home/opam/.opam/default/lib/dolmen/smtlib.cmx - Installed /home/opam/.opam/default/lib/dolmen/tptp.cmx - Installed /home/opam/.opam/default/lib/dolmen/parseTptp.cmx - Installed /home/opam/.opam/default/lib/dolmen/tokens_tptp.cmi - Installed /home/opam/.opam/default/lib/dolmen/lexTptp.cmx - Installed /home/opam/.opam/default/lib/dolmen/tokens_tptp.cmx - Installed /home/opam/.opam/default/lib/dolmen/tptp.cmi - Installed /home/opam/.opam/default/lib/dolmen/ast_tptp.cmi - Installed /home/opam/.opam/default/lib/dolmen/ast_tptp.cmx - Installed /home/opam/.opam/default/lib/dolmen/parseTptp.cmi - Installed /home/opam/.opam/default/lib/dolmen/lexTptp.cmi - Installed /home/opam/.opam/default/lib/dolmen/parseiCNF.cmx - Installed /home/opam/.opam/default/lib/dolmen/tokens_iCNF.cmi - Installed /home/opam/.opam/default/lib/dolmen/lexiCNF.cmx - Installed /home/opam/.opam/default/lib/dolmen/ast_iCNF.cmi - Installed /home/opam/.opam/default/lib/dolmen/parseiCNF.cmi - Installed /home/opam/.opam/default/lib/dolmen/iCNF.cmx - Installed /home/opam/.opam/default/lib/dolmen/ast_iCNF.cmx - Installed /home/opam/.opam/default/lib/dolmen/lexiCNF.cmi - Installed /home/opam/.opam/default/lib/dolmen/iCNF.cmi - Installed /home/opam/.opam/default/lib/dolmen/tokens_iCNF.cmx - Installed /home/opam/.opam/default/lib/dolmen/dimacs.cmi - Installed /home/opam/.opam/default/lib/dolmen/tokens_dimacs.cmi - Installed /home/opam/.opam/default/lib/dolmen/parseDimacs.cmi - Installed /home/opam/.opam/default/lib/dolmen/parseDimacs.cmx - Installed /home/opam/.opam/default/lib/dolmen/ast_dimacs.cmi - Installed /home/opam/.opam/default/lib/dolmen/dimacs.cmx - Installed /home/opam/.opam/default/lib/dolmen/ast_dimacs.cmx - Installed /home/opam/.opam/default/lib/dolmen/lexDimacs.cmx - Installed /home/opam/.opam/default/lib/dolmen/tokens_dimacs.cmx - Installed /home/opam/.opam/default/lib/dolmen/lexDimacs.cmi - Installed /home/opam/.opam/default/lib/dolmen/line.cmi - Installed /home/opam/.opam/default/lib/dolmen/line.cmx - Installed /home/opam/.opam/default/lib/dolmen/lexLine.cmi - Installed /home/opam/.opam/default/lib/dolmen/lexLine.cmx - Installed /home/opam/.opam/default/lib/dolmen/zf.cmx - Installed /home/opam/.opam/default/lib/dolmen/parseZf.cmx - Installed /home/opam/.opam/default/lib/dolmen/parseZf.cmi - Installed /home/opam/.opam/default/lib/dolmen/tokens_zf.cmi - Installed /home/opam/.opam/default/lib/dolmen/zf.cmi - Installed /home/opam/.opam/default/lib/dolmen/ast_zf.cmi - Installed /home/opam/.opam/default/lib/dolmen/lexZf.cmx - Installed /home/opam/.opam/default/lib/dolmen/lexZf.cmi - Installed /home/opam/.opam/default/lib/dolmen/ast_zf.cmx - Installed /home/opam/.opam/default/lib/dolmen/tokens_zf.cmx - ocamlfind: [WARNING] Overwriting file /home/opam/.opam/default/lib/dolmen/dolmen.cmi - Installed /home/opam/.opam/default/lib/dolmen/dolmen.cmi - Installed /home/opam/.opam/default/lib/dolmen/dolmen.a - ocamlfind: [WARNING] Overwriting file /home/opam/.opam/default/lib/dolmen/dolmen.a - Installed /home/opam/.opam/default/lib/dolmen/dolmen.a - Installed /home/opam/.opam/default/lib/dolmen/dolmen.cmxs - Installed /home/opam/.opam/default/lib/dolmen/dolmen.cmxa - Installed /home/opam/.opam/default/lib/dolmen/dolmen.cma - Installed /home/opam/.opam/default/lib/dolmen/META - make: Leaving directory '/home/opam/.opam/default/.opam-switch/build/dolmen.0.2/src' -> installed dolmen.0.2 === STDERR === 2026-06-16 12:55.05: OK: build dolmen.0.2 (runc: 11.6s, disk: 64KB) 2026-06-16 12:55.05: Job succeeded