ocaml4.14.0-alt-ergo-2.4.2
checks.aarch64-linux.alt-ergo
· build #1
· raw
1elastic-arm-c7c4897b: building 3ngkq7nlnf8xni8ykmwl9dfkjazh0pni-ocaml4.14.0-alt-ergo-2.4.2.drv
unpackPhase
2unpacking sources3unpacking source archive /nix/store/wyxs9c17yvxfwzn38lpwkycy39hihh4p-source4source root is sourcepatchPhase
5patching sourcesupdateAutotoolsGnuConfigScriptsPhase
6updateAutotoolsGnuConfigScriptsPhaseconfigurePhase
7configuring8configure flags: --prefix=/nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2 alt-ergo9Using provided value for 'prefix' : /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.210Using default value for 'libdir' : /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/lib11Using default value for 'mandir' : /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-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/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo/META19Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo/dune-package20Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo/opam21Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/bin/alt-ergo22Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/AB-Why3-plugin.cma23Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/AB-Why3-plugin.cmxs24Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/fm-simplex-plugin.cma25Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/fm-simplex-plugin.cmxs26Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/b-set-theory-prelude-2018-09-28.ae27Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/b-set-theory-prelude-2020-02-28.ae28Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.ae29Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/fpa-theory-2019-06-14-11h00.ae30Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/fpa-theory-2019-10-08-19h00.ae31Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/LICENSE.md32Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/README.md33Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index.mld34Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index_abwhy3.mld35Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index_common.mld36Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index_fmsimplex.mld37Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/man/man1/alt-ergo.1fixupPhase
38post-installation fixup39moving /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/man to /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/man40moving /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/doc to /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/doc41shrinking RPATHs of ELF executables and libraries in /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.242shrinking /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/fm-simplex-plugin.cmxs43shrinking /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/AB-Why3-plugin.cmxs44shrinking /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/bin/alt-ergo45gzipping man pages under /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/man/46strip is /nix/store/jm6gqq369d0vd9pz3b7swn2vyycygdb9-gcc-wrapper-9.5.0/bin/strip47stripping (with command strip and flags -S) in /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/lib /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/bin48patching script interpreter paths in /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.249checking for references to /build/ in /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2...