2026-09-04 16:54.34: New job: build psmt2-frontend.0.2 (11916dd20feb)
2026-09-04 16:54.34: Waiting for resource in pool day11-builds
2026-09-04 18:10.00: Got resource from pool day11-builds
2026-09-04 18:10.00: [profile full] build psmt2-frontend.0.2
2026-09-04 18:10.00: build psmt2-frontend.0.2 (11916dd20feb)
=== DEPENDENCIES (12 transitive) ===
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  compiler-cloning.enabled                           966a2e6839f0
  conf-autoconf.1                                    788c5c60b51c
  dune.3.24.2                                        25fbaa318de6
  menhir.20211012                                    6a95187d82a4
  menhirLib.20211012                                 7cdf9b54a17c
  menhirSdk.20211012                                 09847803a6cb
  ocaml.5.5.1                                        70ca0c66e0e8
  ocaml-base-compiler.5.5.1                          59841d7ed85e
  ocaml-compiler.5.5.1                               492c0c740bd1
  ocamlfind.1.9.9~preview                            5e0261154b58
=== STDOUT ===
Processing: [default: loading data]
[psmt2-frontend.0.2: dl]
[psmt2-frontend.0.2: extract]
-> retrieved psmt2-frontend.0.2  (https://opam.ocaml.org/cache)
[psmt2-frontend: autoconf]
+ /usr/bin/autoconf  (CWD=/home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.2)
- configure.in:161: warning: AC_OUTPUT should be used without arguments.
- configure.in:161: You should run autoupdate.
[psmt2-frontend: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.2/./configure "-prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.2)
- checking for ocamlc... ocamlc
- ocaml version is 5.5.1
- ocaml library path is /home/opam/.opam/default/lib/ocaml
- checking for ocamlfind... yes
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlopt.opt version... ok
- checking for ocamldep... ocamldep
- checking platform... checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for menhir... menhir
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: WARNING:  'Makefile.in' seems to ignore the --datarootdir setting
[psmt2-frontend: make]
+ /usr/bin/make  (CWD=/home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.2)
- menhir -v src/smtlib_parser.mly
- Note: the nonterminal symbol option (from src/smtlib_parser.mly) is renamed src_smtlib_parser_option.
- Warning: 22 end-of-stream conflicts were arbitrarily resolved.
- File "<standard.mly>", line 209, characters 16-16:
- Warning: production list(term) -> is never reduced.
- Warning: in total, 1 production is never reduced.
- ocamllex.opt src/smtlib_lexer.mll > /dev/null
- ocamldep -I src src/*.ml* > .depend
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/version.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/version.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/options.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/options.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_error.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_ty.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_syntax.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_parser.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_parser.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_lexer.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typed_env.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typed_logic.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_printer.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typing.ml
- ocamlc.opt   -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -pack -o src/psmt2Frontend.cmo src/version.cmo src/options.cmo src/smtlib_error.cmo src/smtlib_ty.cmo src/smtlib_syntax.cmo src/smtlib_parser.cmo src/smtlib_lexer.cmo src/smtlib_typed_env.cmo src/smtlib_typed_logic.cmo src/smtlib_printer.cmo src/smtlib_typing.cmo
- ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -o src/psmt2Frontend.cma src/psmt2Frontend.cmo
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/version.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/options.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_error.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_ty.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_syntax.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_parser.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_lexer.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typed_env.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typed_logic.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_printer.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typing.ml
- ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -pack -o src/psmt2Frontend.cmx src/version.cmx src/options.cmx src/smtlib_error.cmx src/smtlib_ty.cmx src/smtlib_syntax.cmx src/smtlib_parser.cmx src/smtlib_lexer.cmx src/smtlib_typed_env.cmx src/smtlib_typed_logic.cmx src/smtlib_printer.cmx src/smtlib_typing.cmx
- ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -o src/psmt2Frontend.cmxa src/psmt2Frontend.cmx
- ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -o src/psmt2Frontend.cmxs src/psmt2Frontend.cmx
-> compiled  psmt2-frontend.0.2
[psmt2-frontend: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.2)
- mkdir -p /home/opam/.opam/default/lib
- OCAMLFIND_DESTDIR=/home/opam/.opam/default/lib \
-   ocamlfind install psmt2-frontend src/psmt2Frontend.* src/*.mli META
- Installed /home/opam/.opam/default/lib/psmt2-frontend/version.mli
- Installed /home/opam/.opam/default/lib/psmt2-frontend/smtlib_parser.mli
- Installed /home/opam/.opam/default/lib/psmt2-frontend/options.mli
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.o
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.cmxs
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.cmxa
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.cmx
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.cmt
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.cmo
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.cmi
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.cma
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.a
- Installed /home/opam/.opam/default/lib/psmt2-frontend/META
-> installed psmt2-frontend.0.2

=== STDERR ===

2026-09-04 18:10.31: OK: build psmt2-frontend.0.2 (runc: 19.6s, disk: 13KB)
2026-09-04 18:10.31: Job succeeded