Running phase: unpackPhase
unpacking sources
unpacking source archive /nix/store/wyxs9c17yvxfwzn38lpwkycy39hihh4p-source
source root is source
Running phase: patchPhase
patching sources
Running phase: configurePhase
configuring
configure flags: --prefix=/nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2 alt-ergo-parsers
Using provided value for 'prefix' : /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2
Using default value for 'libdir' : /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib
Using default value for 'mandir' : /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/man
Generating file src/lib/util/config.ml...done.
Generating file src/bin/text/flags.dune...done.
Generating file Makefile.config...done.
Good to go!
Running phase: buildPhase
building
Running phase: installPhase
installing
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.a
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cma
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cmxa
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/META
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.cmi
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.cmt
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.cmx
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.ml
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmi
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmt
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmti
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmx
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmi
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmt
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmx
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmi
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmt
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmti
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmx
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmi
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmt
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmti
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmx
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmi
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmt
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmti
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmx
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmi
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmt
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmx
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/dune-package
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/missing_primitives.js
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/myZip.ml
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/myZip.mli
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/native_lexer.ml
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/native_parser.ml
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/native_parser.mli
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/opam
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers.ml
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers.mli
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers_loader.ml
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers_loader.mli
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/psmt2_to_alt_ergo.ml
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/psmt2_to_alt_ergo.mli
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cmxs
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc/alt-ergo-parsers/LICENSE.md
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc/alt-ergo-parsers/README.md
Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc/alt-ergo-parsers/odoc-pages/index.mld
Running phase: fixupPhase
post-installation fixup
moving /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc to /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/share/doc
shrinking RPATHs of ELF executables and libraries in /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2
shrinking /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cmxs
strip is /nix/store/wn31i3dzwahz6ccws8bs1nwyqrpgsvj7-gcc-wrapper-11.3.0/bin/strip
stripping (with command strip and flags -S) in  /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib
patching script interpreter paths in /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2
checking for references to /build/ in /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2...