nixbot

builds
sign in

ocaml4.14.0-psmt2-frontend-0.4.0 checks.i686-linux.alt-ergo · build #1 · raw

unpackPhase
1unpacking sources2unpacking source archive /nix/store/mfly5p391cknd9iwj6f8i57q74qw2zrl-source3source root is source
patchPhase
4patching sources
configurePhase
5configuring6no configure script, doing nothing
buildPhase
7building8 menhir src/lib/smtlib_parser__mock.ml.mock9Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option.10 menhir src/lib/smtlib_parser.{ml,mli}11Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option.12Warning: 22 end-of-stream conflicts were arbitrarily resolved.13File "<standard.mly>", line 206, characters 16-16:14Warning: production list(term) -> is never reduced.15Warning: in total, 1 production is never reduced.
installPhase
16installing17Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/META18Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/dune-package19Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/main.ml20Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/opam21Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/options.ml22Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/options.mli23Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.a24Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cma25Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmi26Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmt27Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmx28Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmxa29Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.ml30Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Main.cmi31Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Main.cmt32Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Main.cmx33Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Options.cmi34Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Options.cmt35Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Options.cmti36Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Options.cmx37Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi38Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt39Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx40Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi41Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt42Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx43Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi44Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt45Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti46Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx47Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi48Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt49Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx50Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi51Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt52Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx53Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi54Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt55Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx56Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi57Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt58Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx59Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi60Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt61Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx62Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi63Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt64Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx65Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Version.cmi66Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Version.cmt67Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Version.cmti68Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Version.cmx69Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_error.ml70Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_lexer.ml71Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_parser.ml72Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_parser.mli73Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_printer.ml74Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_syntax.ml75Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_ty.ml76Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_typed_env.ml77Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_typed_logic.ml78Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_typing.ml79Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/version.ml80Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/version.mli81Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmxs82Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/CHANGES.md83Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/LICENSE84Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/LICENSE.md85Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/README.md86Installing /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/odoc-pages/index.mld
fixupPhase
87post-installation fixup88moving /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/doc89shrinking RPATHs of ELF executables and libraries in /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.090shrinking /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmxs91strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip92stripping (with command strip and flags -S) in /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0/lib93patching script interpreter paths in /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.094checking for references to /build/ in /nix/store/nkaakfyxzmxk2h2md3nzcv5nx93rsajz-ocaml4.14.0-psmt2-frontend-0.4.0...