Running phase: unpackPhase
unpacking sources
unpacking source archive /nix/store/mfly5p391cknd9iwj6f8i57q74qw2zrl-source
source root is source
Running phase: patchPhase
patching sources
Running phase: configurePhase
configuring
no configure script, doing nothing
Running phase: buildPhase
building
      menhir src/lib/smtlib_parser__mock.ml.mock
Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option.
      menhir src/lib/smtlib_parser.{ml,mli}
Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_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.
Running phase: installPhase
installing
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/META
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/dune-package
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/main.ml
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/opam
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/options.ml
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/options.mli
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.a
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cma
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmi
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmt
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmx
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmxa
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.ml
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Main.cmi
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Main.cmt
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Main.cmx
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Options.cmi
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Options.cmt
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Options.cmti
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Options.cmx
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Version.cmi
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Version.cmt
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Version.cmti
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Version.cmx
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_error.ml
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_lexer.ml
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_parser.ml
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_parser.mli
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_printer.ml
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_syntax.ml
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_ty.ml
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_typed_env.ml
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_typed_logic.ml
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_typing.ml
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/version.ml
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/version.mli
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmxs
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/CHANGES.md
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/LICENSE
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/LICENSE.md
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/README.md
Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/odoc-pages/index.mld
Running phase: fixupPhase
post-installation fixup
moving /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/doc to /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/share/doc
shrinking RPATHs of ELF executables and libraries in /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0
shrinking /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmxs
strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip
stripping (with command strip and flags -S) in  /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib
patching script interpreter paths in /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0
checking for references to /build/ in /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0...