2026-06-24 12:11.36: New job: build psmt2-frontend.0.1 (b581ab3439d5)
2026-06-24 12:11.36: Waiting for resource in pool day11-builds
2026-06-24 13:36.06: Got resource from pool day11-builds
2026-06-24 13:36.06: [profile full] build psmt2-frontend.0.1
2026-06-24 13:36.06: build psmt2-frontend.0.1 (b581ab3439d5)
=== DEPENDENCIES (11 transitive) ===
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  conf-autoconf.0.2                                  676e4452dc37
  dune.3.23.1                                        848a72441e15
  menhir.20211128                                    4d375e46691e
  menhirLib.20211128                                 84dec646e3db
  menhirSdk.20211128                                 fab0287522a3
  ocaml.4.14.4                                       b047fb9251f4
  ocaml-base-compiler.4.14.4                         d3b7ccb2c6fb
  ocaml-config.2                                     2d9c209f5590
  ocamlfind.1.9.8                                    214dd418ac02
=== STDOUT ===
Processing: [default: loading data]
[psmt2-frontend.0.1: dl]
[psmt2-frontend.0.1: extract]
-> retrieved psmt2-frontend.0.1  (https://opam.ocaml.org/cache)
[psmt2-frontend: autoconf]
+ /usr/bin/autoconf  (CWD=/home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.1)
- 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.1/./configure "-prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.1)
- checking for ocamlc... ocamlc
- ocaml version is 4.14.4
- 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.1)
- 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 206, 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_printer.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_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_printer.cmo src/smtlib_parser.cmo src/smtlib_lexer.cmo src/smtlib_typed_env.cmo src/smtlib_typed_logic.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_printer.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_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_printer.cmx src/smtlib_parser.cmx src/smtlib_lexer.cmx src/smtlib_typed_env.cmx src/smtlib_typed_logic.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.1
[psmt2-frontend: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.1)
- 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.1

=== STDERR ===

2026-06-24 13:36.26: OK: build psmt2-frontend.0.1 (runc: 15.1s, disk: 13KB)
2026-06-24 13:36.26: Job succeeded