nixbot

builds
sign in

ocaml4.14.0-alt-ergo-parsers-2.4.2 checks.i686-linux.alt-ergo · build #1 · raw

unpackPhase
1unpacking sources2unpacking source archive /nix/store/wyxs9c17yvxfwzn38lpwkycy39hihh4p-source3source root is source
patchPhase
4patching sources
configurePhase
5configuring6configure flags: --prefix=/nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2 alt-ergo-parsers7Using provided value for 'prefix' : /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.28Using default value for 'libdir' : /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib9Using default value for 'mandir' : /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/man10Generating file src/lib/util/config.ml...done.11Generating file src/bin/text/flags.dune...done.12Generating file Makefile.config...done.13Good to go!
buildPhase
14building
installPhase
15installing16Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.a17Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cma18Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cmxa19Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/META20Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.cmi21Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.cmt22Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.cmx23Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.ml24Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmi25Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmt26Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmti27Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmx28Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmi29Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmt30Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmx31Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmi32Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmt33Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmti34Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmx35Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmi36Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmt37Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmti38Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmx39Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmi40Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmt41Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmti42Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmx43Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmi44Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmt45Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti46Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmx47Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/dune-package48Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/missing_primitives.js49Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/myZip.ml50Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/myZip.mli51Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/native_lexer.ml52Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/native_parser.ml53Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/native_parser.mli54Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/opam55Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers.ml56Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers.mli57Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers_loader.ml58Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers_loader.mli59Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/psmt2_to_alt_ergo.ml60Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/psmt2_to_alt_ergo.mli61Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cmxs62Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc/alt-ergo-parsers/LICENSE.md63Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc/alt-ergo-parsers/README.md64Installing /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc/alt-ergo-parsers/odoc-pages/index.mld
fixupPhase
65post-installation fixup66moving /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc to /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/share/doc67shrinking RPATHs of ELF executables and libraries in /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.268shrinking /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cmxs69strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip70stripping (with command strip and flags -S) in /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib71patching script interpreter paths in /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.272checking for references to /build/ in /nix/store/dgij717sjk8bjk81fr37zlwkkwpl1rhw-ocaml4.14.0-alt-ergo-parsers-2.4.2...