WARNING: (guile-user): imported module (guix build utils) overrides core binding `delete'
starting phase `set-SOURCE-DATE-EPOCH'
phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds
starting phase `set-paths'
environment variable `PATH' set to `/gnu/store/yk3zw1pqbs5wlf1lapf25986yjd0g736-autoconf-2.69/bin:/gnu/store/1l38jl5mhkb1ypw922njxmnsb6w8zwaw-automake-1.16.2/bin:/gnu/store/kl6nfdbxxblvzbi4rf5fl8bp80clrk6p-ocaml-4.11.1/bin:/gnu/store/k30a2pgmc6b3ifmq3rn0dr5ng9gr8w81-which-2.21/bin:/gnu/store/v99lyix0mdybbdilwav4brxbkdy6220b-coq-8.13.2/bin:/gnu/store/wiv0qy4wc58iwhgwwn5frq8paxyh2vjq-camlp5-7.13/bin:/gnu/store/9iyfc2g1585ps9danh95p0mw56pw8ik5-bison-3.5.3/bin:/gnu/store/kp2b2p9kkd0ym6jdccwi415ksx6v0sxi-flex-2.6.4/bin:/gnu/store/w88r0rlcxhm5if72h1n0ih1v0s16hsg8-ocaml-zarith-1.12/bin:/gnu/store/v6f44zccwh9z5zk3pjlywjybbi8n2hjh-tar-1.32/bin:/gnu/store/ncydgq2znms5n1d2k5yqshhf58nsixwv-gzip-1.10/bin:/gnu/store/i8h2pcxqdq07ijm3ibkka8f4smn1w48v-bzip2-1.0.8/bin:/gnu/store/9860f1abqj8wjjnwl8a9v54pdcc3bhgf-xz-5.2.4/bin:/gnu/store/60g7r3l01fd7c58yjbm6krgcwj1jkpwg-file-5.38/bin:/gnu/store/n4n560pfvvw50a9369axw5vj5rrqfj1n-diffutils-3.7/bin:/gnu/store/cd5qf3kcnlq35p9k392pjdpdzpsnds70-patch-2.7.6/bin:/gnu/store/hic7snhayfl7m6cpfqqr73nmm19bpqkg-findutils-4.7.0/bin:/gnu/store/swqdvwri9dbv6zssg6v0by7l05hd6wxp-gawk-5.0.1/bin:/gnu/store/ishk7fswcs4gkwcp8mh788z4mvvl9bxh-sed-4.8/bin:/gnu/store/bhs4rj58v8j1narb2454raan2ps38xd8-grep-3.4/bin:/gnu/store/57xj5gcy1jbl9ai2lnrqnpr0dald9i65-coreutils-8.32/bin:/gnu/store/hm40bxnv8jxmbc1lpb7zfimii4xm9m81-make-4.3/bin:/gnu/store/pwcp239kjf7lnj5i4lkdzcfcxwcfyk72-bash-minimal-5.0.16/bin:/gnu/store/mpa04aq8lblbcviyxywxcsb1zbi0mf39-ld-wrapper-0/bin:/gnu/store/m1z7cdbqsqyp9xnjw5cvlb4a7gkcg3m4-binutils-2.34/bin:/gnu/store/rn75fm7adgx3pw5j8pg3bczfqq1y17lk-gcc-7.5.0/bin:/gnu/store/fa6wj5bxkj5ll1d7292a70knmyl7a0cr-glibc-2.31/bin:/gnu/store/fa6wj5bxkj5ll1d7292a70knmyl7a0cr-glibc-2.31/sbin:/gnu/store/jlm51s1gz6pah5bn7mc1i12kj5xilhck-m4-1.4.18/bin'
environment variable `ACLOCAL_PATH' set to `/gnu/store/1l38jl5mhkb1ypw922njxmnsb6w8zwaw-automake-1.16.2/share/aclocal:/gnu/store/9iyfc2g1585ps9danh95p0mw56pw8ik5-bison-3.5.3/share/aclocal'
environment variable `OCAMLPATH' set to `/gnu/store/kl6nfdbxxblvzbi4rf5fl8bp80clrk6p-ocaml-4.11.1/lib/ocaml:/gnu/store/v99lyix0mdybbdilwav4brxbkdy6220b-coq-8.13.2/lib/ocaml:/gnu/store/v99lyix0mdybbdilwav4brxbkdy6220b-coq-8.13.2/lib/ocaml/site-lib:/gnu/store/wiv0qy4wc58iwhgwwn5frq8paxyh2vjq-camlp5-7.13/lib/ocaml:/gnu/store/w88r0rlcxhm5if72h1n0ih1v0s16hsg8-ocaml-zarith-1.12/lib/ocaml:/gnu/store/w88r0rlcxhm5if72h1n0ih1v0s16hsg8-ocaml-zarith-1.12/lib/ocaml/site-lib'
environment variable `CAML_LD_LIBRARY_PATH' set to `/gnu/store/v99lyix0mdybbdilwav4brxbkdy6220b-coq-8.13.2/lib/ocaml/site-lib/stublibs:/gnu/store/w88r0rlcxhm5if72h1n0ih1v0s16hsg8-ocaml-zarith-1.12/lib/ocaml/site-lib/stublibs'
environment variable `COQPATH' set to `/gnu/store/zzswcxa8bz65434db8zscashf3dgdz2j-coq-flocq-3.3.1/lib/coq/user-contrib'
environment variable `COQLIB' set to `/gnu/store/v99lyix0mdybbdilwav4brxbkdy6220b-coq-8.13.2/lib/ocaml/site-lib/coq'
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/kp2b2p9kkd0ym6jdccwi415ksx6v0sxi-flex-2.6.4/include:/gnu/store/35afkywncrr5xsb4cxcljf6rpjcb7f61-gmp-6.2.0/include:/gnu/store/5jf395qa3v4amdi60850rz2a15zlsrza-mpfr-4.0.2/include:/gnu/store/vp2s1nxsc9vvc1ix66xpbf041f8nacxr-boost-1.72.0/include:/gnu/store/i8h2pcxqdq07ijm3ibkka8f4smn1w48v-bzip2-1.0.8/include:/gnu/store/9860f1abqj8wjjnwl8a9v54pdcc3bhgf-xz-5.2.4/include:/gnu/store/60g7r3l01fd7c58yjbm6krgcwj1jkpwg-file-5.38/include:/gnu/store/swqdvwri9dbv6zssg6v0by7l05hd6wxp-gawk-5.0.1/include:/gnu/store/hm40bxnv8jxmbc1lpb7zfimii4xm9m81-make-4.3/include:/gnu/store/m1z7cdbqsqyp9xnjw5cvlb4a7gkcg3m4-binutils-2.34/include:/gnu/store/rn75fm7adgx3pw5j8pg3bczfqq1y17lk-gcc-7.5.0/include:/gnu/store/fa6wj5bxkj5ll1d7292a70knmyl7a0cr-glibc-2.31/include:/gnu/store/gfapkk5c6hvl1d94m4sqnhn7f9l5gqyh-linux-libre-headers-5.4.20/include'
environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/kp2b2p9kkd0ym6jdccwi415ksx6v0sxi-flex-2.6.4/include:/gnu/store/35afkywncrr5xsb4cxcljf6rpjcb7f61-gmp-6.2.0/include:/gnu/store/5jf395qa3v4amdi60850rz2a15zlsrza-mpfr-4.0.2/include:/gnu/store/vp2s1nxsc9vvc1ix66xpbf041f8nacxr-boost-1.72.0/include:/gnu/store/i8h2pcxqdq07ijm3ibkka8f4smn1w48v-bzip2-1.0.8/include:/gnu/store/9860f1abqj8wjjnwl8a9v54pdcc3bhgf-xz-5.2.4/include:/gnu/store/60g7r3l01fd7c58yjbm6krgcwj1jkpwg-file-5.38/include:/gnu/store/swqdvwri9dbv6zssg6v0by7l05hd6wxp-gawk-5.0.1/include:/gnu/store/hm40bxnv8jxmbc1lpb7zfimii4xm9m81-make-4.3/include:/gnu/store/m1z7cdbqsqyp9xnjw5cvlb4a7gkcg3m4-binutils-2.34/include:/gnu/store/rn75fm7adgx3pw5j8pg3bczfqq1y17lk-gcc-7.5.0/include/c++:/gnu/store/rn75fm7adgx3pw5j8pg3bczfqq1y17lk-gcc-7.5.0/include:/gnu/store/fa6wj5bxkj5ll1d7292a70knmyl7a0cr-glibc-2.31/include:/gnu/store/gfapkk5c6hvl1d94m4sqnhn7f9l5gqyh-linux-libre-headers-5.4.20/include'
environment variable `LIBRARY_PATH' set to `/gnu/store/kl6nfdbxxblvzbi4rf5fl8bp80clrk6p-ocaml-4.11.1/lib:/gnu/store/v99lyix0mdybbdilwav4brxbkdy6220b-coq-8.13.2/lib:/gnu/store/wiv0qy4wc58iwhgwwn5frq8paxyh2vjq-camlp5-7.13/lib:/gnu/store/9iyfc2g1585ps9danh95p0mw56pw8ik5-bison-3.5.3/lib:/gnu/store/kp2b2p9kkd0ym6jdccwi415ksx6v0sxi-flex-2.6.4/lib:/gnu/store/35afkywncrr5xsb4cxcljf6rpjcb7f61-gmp-6.2.0/lib:/gnu/store/5jf395qa3v4amdi60850rz2a15zlsrza-mpfr-4.0.2/lib:/gnu/store/w88r0rlcxhm5if72h1n0ih1v0s16hsg8-ocaml-zarith-1.12/lib:/gnu/store/vp2s1nxsc9vvc1ix66xpbf041f8nacxr-boost-1.72.0/lib:/gnu/store/zzswcxa8bz65434db8zscashf3dgdz2j-coq-flocq-3.3.1/lib:/gnu/store/i8h2pcxqdq07ijm3ibkka8f4smn1w48v-bzip2-1.0.8/lib:/gnu/store/9860f1abqj8wjjnwl8a9v54pdcc3bhgf-xz-5.2.4/lib:/gnu/store/60g7r3l01fd7c58yjbm6krgcwj1jkpwg-file-5.38/lib:/gnu/store/swqdvwri9dbv6zssg6v0by7l05hd6wxp-gawk-5.0.1/lib:/gnu/store/m1z7cdbqsqyp9xnjw5cvlb4a7gkcg3m4-binutils-2.34/lib:/gnu/store/fa6wj5bxkj5ll1d7292a70knmyl7a0cr-glibc-2.31/lib:/gnu/store/s3dcqzwqaakv1yx37by9chksdbkgih17-glibc-2.31-static/lib:/gnu/store/hwcky7446s952w0mwchhmm211ll07zrq-glibc-utf8-locales-2.31/lib'
environment variable `GUIX_LOCPATH' set to `/gnu/store/hwcky7446s952w0mwchhmm211ll07zrq-glibc-utf8-locales-2.31/lib/locale'
phase `set-paths' succeeded after 0.0 seconds
starting phase `install-locale'
using 'en_US.utf8' locale for category "LC_ALL"
phase `install-locale' succeeded after 0.0 seconds
starting phase `unpack'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/INSTALL.md' -> `./INSTALL.md'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/NEWS.md' -> `./NEWS.md'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/Remakefile.in' -> `./Remakefile.in'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/configure.in' -> `./configure.in'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/opam' -> `./opam'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/.gitattributes' -> `./.gitattributes'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/.gitignore' -> `./.gitignore'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/.gitlab-ci.yml' -> `./.gitlab-ci.yml'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/AUTHORS' -> `./AUTHORS'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/COPYING' -> `./COPYING'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/README.md' -> `./README.md'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/_CoqProject' -> `./_CoqProject'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/remake.cpp' -> `./remake.cpp'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/testsuite/bug-20091016.v' -> `./testsuite/bug-20091016.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/testsuite/bug-20091019.v' -> `./testsuite/bug-20091019.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/testsuite/bug-20121219.v' -> `./testsuite/bug-20121219.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/testsuite/bug-20130220.v' -> `./testsuite/bug-20130220.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/testsuite/bug-20130708.v' -> `./testsuite/bug-20130708.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/testsuite/bug-20130713.v' -> `./testsuite/bug-20130713.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/testsuite/bug-20130716.v' -> `./testsuite/bug-20130716.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/testsuite/bug-20180309.v' -> `./testsuite/bug-20180309.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/testsuite/bug-20200404.v' -> `./testsuite/bug-20200404.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/testsuite/dichotomy-20130707.v' -> `./testsuite/dichotomy-20130707.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/testsuite/dichotomy-20160718.v' -> `./testsuite/dichotomy-20160718.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/testsuite/example-20080417.v' -> `./testsuite/example-20080417.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/testsuite/example-20090706.v' -> `./testsuite/example-20090706.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/testsuite/example-20101018.v' -> `./testsuite/example-20101018.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_dyadic.v' -> `./src/Gappa_dyadic.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_float.v' -> `./src/Gappa_float.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_pred_rel.v' -> `./src/Gappa_pred_rel.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_rewriting.v' -> `./src/Gappa_rewriting.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_round.v' -> `./src/Gappa_round.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_tactic.v' -> `./src/Gappa_tactic.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/gappatac.c' -> `./src/gappatac.c'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_common.v' -> `./src/Gappa_common.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_decimal.v' -> `./src/Gappa_decimal.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_definitions.v' -> `./src/Gappa_definitions.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_fixed.v' -> `./src/Gappa_fixed.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_library.v' -> `./src/Gappa_library.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_obfuscate.v' -> `./src/Gappa_obfuscate.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_pred_abs.v' -> `./src/Gappa_pred_abs.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_pred_bnd.v' -> `./src/Gappa_pred_bnd.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_pred_fixflt.v' -> `./src/Gappa_pred_fixflt.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_pred_nzr.v' -> `./src/Gappa_pred_nzr.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_real.v' -> `./src/Gappa_real.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_round_aux.v' -> `./src/Gappa_round_aux.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_round_def.v' -> `./src/Gappa_round_def.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_tree.v' -> `./src/Gappa_tree.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/src/Gappa_user.v' -> `./src/Gappa_user.v'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/misc/Dockerfile' -> `./misc/Dockerfile'
`/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/misc/ci.md' -> `./misc/ci.md'
phase `unpack' succeeded after 0.0 seconds
starting phase `bootstrap'
autoreconf: Entering directory `.'
autoreconf: configure.in: not using Gettext
autoreconf: running: aclocal --force 
aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in'
configure.in:5: warning: prefer named diversions
autoreconf: configure.in: tracing
configure.in:5: warning: prefer named diversions
autoreconf: configure.in: not using Libtool
autoreconf: running: /gnu/store/yk3zw1pqbs5wlf1lapf25986yjd0g736-autoconf-2.69/bin/autoconf --force
configure.in:5: warning: prefer named diversions
autoreconf: configure.in: not using Autoheader
autoreconf: configure.in: not using Automake
autoreconf: Leaving directory `.'
phase `bootstrap' succeeded after 2.3 seconds
starting phase `patch-usr-bin-file'
phase `patch-usr-bin-file' succeeded after 0.0 seconds
starting phase `patch-source-shebangs'
patch-shebang: ./configure: changing `/bin/sh' to `/gnu/store/pwcp239kjf7lnj5i4lkdzcfcxwcfyk72-bash-minimal-5.0.16/bin/sh'
phase `patch-source-shebangs' succeeded after 0.0 seconds
starting phase `fix-remake'
phase `fix-remake' succeeded after 0.0 seconds
starting phase `configure'
source directory: "/tmp/guix-build-coq-gappa-1.4.6.drv-0/source" (relative from build: ".")
build directory: "/tmp/guix-build-coq-gappa-1.4.6.drv-0/source"
configure flags: ("CONFIG_SHELL=/gnu/store/pwcp239kjf7lnj5i4lkdzcfcxwcfyk72-bash-minimal-5.0.16/bin/bash" "SHELL=/gnu/store/pwcp239kjf7lnj5i4lkdzcfcxwcfyk72-bash-minimal-5.0.16/bin/bash" "--prefix=/gnu/store/k9qjbrifcmi7ww6mgbz9gvp0xddrgj6i-coq-gappa-1.4.6" "--enable-fast-install" "--build=x86_64-unknown-linux-gnu" "COQUSERCONTRIB=/gnu/store/k9qjbrifcmi7ww6mgbz9gvp0xddrgj6i-coq-gappa-1.4.6/lib/coq/user-contrib")
configure: WARNING: unrecognized options: --enable-fast-install
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking how to run the C preprocessor... gcc -E
checking for coqc >= 8.8... /gnu/store/v99lyix0mdybbdilwav4brxbkdy6220b-coq-8.13.2/bin/coqc
checking for coqdep... /gnu/store/v99lyix0mdybbdilwav4brxbkdy6220b-coq-8.13.2/bin/coqdep
checking for ocamlfind... /gnu/store/9kcv6gxx0vkybz3353p5w7kh7v9fif6f-ocaml-findlib-1.8.1/bin/ocamlfind
checking for Flocq >= 3.0... yes
checking for native development files... yes
checking for bytecode development files... yes
checking for g++... g++
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
configure: building remake...
ld: /tmp/guix-build-coq-gappa-1.4.6.drv-0/ccEn4cRU.o: in function `main':
remake.cpp:(.text.startup+0x7d3): warning: the use of `tempnam' is dangerous, better use `mkstemp'

=== Summary ===
Installation directory   /gnu/store/k9qjbrifcmi7ww6mgbz9gvp0xddrgj6i-coq-gappa-1.4.6/lib/coq/user-contrib
Gappa tactic             native bytecode

configure: creating ./config.status
config.status: creating Remakefile
configure: WARNING: unrecognized options: --enable-fast-install
phase `configure' succeeded after 5.6 seconds
starting phase `patch-generated-file-shebangs'
phase `patch-generated-file-shebangs' succeeded after 0.0 seconds
starting phase `build'
Building src/Gappa_common.vo
Building src/Gappa_definitions.vo
Finished src/Gappa_definitions.vo
Building src/Gappa_dyadic.vo
Finished src/Gappa_dyadic.vo
Building src/Gappa_real.vo
Finished src/Gappa_real.vo
Finished src/Gappa_common.vo
Building src/Gappa_decimal.vo
Finished src/Gappa_decimal.vo
Building src/Gappa_fixed.vo
Building src/Gappa_pred_bnd.vo
Finished src/Gappa_pred_bnd.vo
Building src/Gappa_round.vo
Building src/Gappa_round_aux.vo
Finished src/Gappa_round_aux.vo
Building src/Gappa_round_def.vo
Finished src/Gappa_round_def.vo
Finished src/Gappa_round.vo
Finished src/Gappa_fixed.vo
Building src/Gappa_float.vo
Finished src/Gappa_float.vo
Building src/Gappa_library.vo
Building src/Gappa_pred_abs.vo
Building src/Gappa_pred_nzr.vo
Finished src/Gappa_pred_nzr.vo
Finished src/Gappa_pred_abs.vo
Building src/Gappa_pred_fixflt.vo
Finished src/Gappa_pred_fixflt.vo
Building src/Gappa_pred_rel.vo
Finished src/Gappa_pred_rel.vo
Building src/Gappa_rewriting.vo
Finished src/Gappa_rewriting.vo
Building src/Gappa_tree.vo
Finished src/Gappa_tree.vo
Building src/Gappa_user.vo
Finished src/Gappa_user.vo
Finished src/Gappa_library.vo
Building src/Gappa_obfuscate.vo
Finished src/Gappa_obfuscate.vo
Building src/gappatac.ml
Finished src/gappatac.ml
Building src/gappatac.cmxs
File "src/gappatac.c", line 33, characters 22-31:
Alert deprecated: EConstr.is_global
Use [EConstr.isRefX] instead.
File "src/gappatac.c", line 46, characters 26-65:
Alert deprecated: module Vernacstate.Declare
This module is internal and should not be used, instead, thread the proof state
File "src/gappatac.c", line 111, characters 37-61:
Alert deprecated: Coqlib.gen_reference_in_modules
Please use Coqlib.lib_ref
File "src/gappatac.c", line 809, characters 6-23:
Alert deprecated: Dumpglob.continue
Use pop_output
File "src/gappatac.c", line 812, characters 2-19:
Alert deprecated: Dumpglob.continue
Use pop_output
Finished src/gappatac.cmxs
Building src/gappatac.cmo
File "src/gappatac.c", line 33, characters 22-31:
Alert deprecated: EConstr.is_global
Use [EConstr.isRefX] instead.
File "src/gappatac.c", line 46, characters 26-65:
Alert deprecated: module Vernacstate.Declare
This module is internal and should not be used, instead, thread the proof state
File "src/gappatac.c", line 111, characters 37-61:
Alert deprecated: Coqlib.gen_reference_in_modules
Please use Coqlib.lib_ref
File "src/gappatac.c", line 809, characters 6-23:
Alert deprecated: Dumpglob.continue
Use pop_output
File "src/gappatac.c", line 812, characters 2-19:
Alert deprecated: Dumpglob.continue
Use pop_output
Finished src/gappatac.cmo
Building src/Gappa_tactic.vo
*** Warning: in file src/Gappa_tactic.v, declared ML module gappatac has not been found!
Finished src/Gappa_tactic.vo
Building all
Finished all
phase `build' succeeded after 27.8 seconds
starting phase `install'
Building install
Finished install
phase `install' succeeded after 0.0 seconds
starting phase `patch-shebangs'
phase `patch-shebangs' succeeded after 0.0 seconds
starting phase `strip'
stripping binaries in "/gnu/store/k9qjbrifcmi7ww6mgbz9gvp0xddrgj6i-coq-gappa-1.4.6/lib" with "strip" and flags ("--strip-debug" "--enable-deterministic-archives")
phase `strip' succeeded after 0.0 seconds
starting phase `validate-runpath'
validating RUNPATH of 1 binaries in "/gnu/store/k9qjbrifcmi7ww6mgbz9gvp0xddrgj6i-coq-gappa-1.4.6/lib"...
phase `validate-runpath' succeeded after 0.0 seconds
starting phase `validate-documentation-location'
phase `validate-documentation-location' succeeded after 0.0 seconds
starting phase `delete-info-dir-file'
phase `delete-info-dir-file' succeeded after 0.0 seconds
starting phase `patch-dot-desktop-files'
phase `patch-dot-desktop-files' succeeded after 0.0 seconds
starting phase `install-license-files'
installing 1 license files from '.'
phase `install-license-files' succeeded after 0.0 seconds
starting phase `reset-gzip-timestamps'
phase `reset-gzip-timestamps' succeeded after 0.0 seconds
starting phase `compress-documentation'
phase `compress-documentation' succeeded after 0.0 seconds