elastic-arm-c7c4897b: building 3ngkq7nlnf8xni8ykmwl9dfkjazh0pni-ocaml4.14.0-alt-ergo-2.4.2.drv
Running phase: unpackPhase
unpacking sources
unpacking source archive /nix/store/wyxs9c17yvxfwzn38lpwkycy39hihh4p-source
source root is source
Running phase: patchPhase
patching sources
Running phase: updateAutotoolsGnuConfigScriptsPhase
updateAutotoolsGnuConfigScriptsPhase
Running phase: configurePhase
configuring
configure flags: --prefix=/nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2 alt-ergo
Using provided value for 'prefix' : /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2
Using default value for 'libdir' : /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/lib
Using default value for 'mandir' : /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-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/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo/META
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo/dune-package
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo/opam
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/bin/alt-ergo
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/AB-Why3-plugin.cma
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/AB-Why3-plugin.cmxs
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/fm-simplex-plugin.cma
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/fm-simplex-plugin.cmxs
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/b-set-theory-prelude-2018-09-28.ae
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/b-set-theory-prelude-2020-02-28.ae
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.ae
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/fpa-theory-2019-06-14-11h00.ae
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/fpa-theory-2019-10-08-19h00.ae
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/LICENSE.md
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/README.md
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index.mld
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index_abwhy3.mld
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index_common.mld
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index_fmsimplex.mld
Installing /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/man/man1/alt-ergo.1
Running phase: fixupPhase
post-installation fixup
moving /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/man
moving /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/doc
shrinking RPATHs of ELF executables and libraries in /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2
shrinking /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/fm-simplex-plugin.cmxs
shrinking /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/AB-Why3-plugin.cmxs
shrinking /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/bin/alt-ergo
gzipping man pages under /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2/share/man/
strip is /nix/store/jm6gqq369d0vd9pz3b7swn2vyycygdb9-gcc-wrapper-9.5.0/bin/strip
stripping (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/bin
patching script interpreter paths in /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2
checking for references to /build/ in /nix/store/nv18lgcdvdfp3pj0i38gglfllxcb77dy-ocaml4.14.0-alt-ergo-2.4.2...