nixbot

builds
sign in

ocaml4.14.0-alt-ergo-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/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2 alt-ergo7Using provided value for 'prefix' : /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.28Using default value for 'libdir' : /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/lib9Using default value for 'mandir' : /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-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/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo/META17Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo/dune-package18Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo/opam19Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/bin/alt-ergo20Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/AB-Why3-plugin.cma21Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/AB-Why3-plugin.cmxs22Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/fm-simplex-plugin.cma23Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/fm-simplex-plugin.cmxs24Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/b-set-theory-prelude-2018-09-28.ae25Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/b-set-theory-prelude-2020-02-28.ae26Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.ae27Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/fpa-theory-2019-06-14-11h00.ae28Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/fpa-theory-2019-10-08-19h00.ae29Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/LICENSE.md30Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/README.md31Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index.mld32Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index_abwhy3.mld33Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index_common.mld34Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index_fmsimplex.mld35Installing /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/man/man1/alt-ergo.1
fixupPhase
36post-installation fixup37moving /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/man to /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/share/man38moving /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/doc to /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/share/doc39shrinking RPATHs of ELF executables and libraries in /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.240shrinking /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/bin/alt-ergo41shrinking /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/AB-Why3-plugin.cmxs42shrinking /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/fm-simplex-plugin.cmxs43gzipping man pages under /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/share/man/44strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip45stripping (with command strip and flags -S) in /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/lib /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2/bin46patching script interpreter paths in /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.247checking for references to /build/ in /nix/store/40yhy0idqr521frhhwxazvkywf9dpxvc-ocaml4.14.0-alt-ergo-2.4.2...