ocaml4.14.0-alt-ergo-parsers-2.4.2
checks.aarch64-linux.alt-ergo
· build #1
· raw
1elastic-arm-c7c4897b: building 7lv1wf7jb2b7b2cw3bgmkqp9ll3z35yl-ocaml4.14.0-alt-ergo-parsers-2.4.2.drv
unpackPhase
2unpacking sources3unpacking source archive /nix/store/wyxs9c17yvxfwzn38lpwkycy39hihh4p-source4source root is sourcepatchPhase
5patching sourcesupdateAutotoolsGnuConfigScriptsPhase
6updateAutotoolsGnuConfigScriptsPhaseconfigurePhase
7configuring8configure flags: --prefix=/nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2 alt-ergo-parsers9Using provided value for 'prefix' : /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.210Using default value for 'libdir' : /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib11Using default value for 'mandir' : /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/man12Generating file src/lib/util/config.ml...done.13Generating file src/bin/text/flags.dune...done.14Generating file Makefile.config...done.15Good to go!buildPhase
16buildinginstallPhase
17installing18Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.a19Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cma20Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cmxa21Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/META22Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.cmi23Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.cmt24Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.cmx25Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.ml26Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmi27Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmt28Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmti29Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmx30Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmi31Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmt32Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmx33Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmi34Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmt35Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmti36Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmx37Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmi38Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmt39Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmti40Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmx41Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmi42Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmt43Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmti44Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmx45Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmi46Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmt47Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti48Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmx49Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/dune-package50Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/missing_primitives.js51Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/myZip.ml52Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/myZip.mli53Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/native_lexer.ml54Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/native_parser.ml55Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/native_parser.mli56Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/opam57Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers.ml58Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers.mli59Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers_loader.ml60Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers_loader.mli61Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/psmt2_to_alt_ergo.ml62Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/psmt2_to_alt_ergo.mli63Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cmxs64Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc/alt-ergo-parsers/LICENSE.md65Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc/alt-ergo-parsers/README.md66Installing /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc/alt-ergo-parsers/odoc-pages/index.mldfixupPhase
67post-installation fixup68moving /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc to /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/share/doc69shrinking RPATHs of ELF executables and libraries in /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.270shrinking /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cmxs71strip is /nix/store/jm6gqq369d0vd9pz3b7swn2vyycygdb9-gcc-wrapper-9.5.0/bin/strip72stripping (with command strip and flags -S) in /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib73patching script interpreter paths in /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.274checking for references to /build/ in /nix/store/li2pqlmzg5bwcc62185pph207r1nybkm-ocaml4.14.0-alt-ergo-parsers-2.4.2...