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/k4r8r6k6bdr7p2p7m74ifamwbnkm5wqw-coq-8.11.2/bin:/gnu/store/vrjalg510ylw2s90i0ywv5w3jrvw6yqi-gcc-cross-i586-pc-gnu-7.5.0/bin:/gnu/store/3ybmf05adh3zn477mn9av44ni48y13gi-binutils-cross-i586-pc-gnu-2.34/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'
environment variable `CROSS_LIBRARY_PATH' set to `/gnu/store/iwpfpj7jsnp077c0az0bq2ad1sg09mpd-glibc-cross-i586-pc-gnu-2.31/lib:/gnu/store/5syrw9rra8aa7bm21b4ci4c8ahhw6prg-glibc-cross-i586-pc-gnu-2.31-static/lib:/gnu/store/04jhfdnvv3k7ni899g7pssc57j75jbn3-hurd-core-headers-cross-i586-pc-gnu-0.9-1.91a5167/lib'
environment variable `CROSS_C_INCLUDE_PATH' set to `/gnu/store/vrjalg510ylw2s90i0ywv5w3jrvw6yqi-gcc-cross-i586-pc-gnu-7.5.0/include:/gnu/store/iwpfpj7jsnp077c0az0bq2ad1sg09mpd-glibc-cross-i586-pc-gnu-2.31/include:/gnu/store/04jhfdnvv3k7ni899g7pssc57j75jbn3-hurd-core-headers-cross-i586-pc-gnu-0.9-1.91a5167/include'
environment variable `CROSS_CPLUS_INCLUDE_PATH' set to `/gnu/store/vrjalg510ylw2s90i0ywv5w3jrvw6yqi-gcc-cross-i586-pc-gnu-7.5.0/include/c++:/gnu/store/vrjalg510ylw2s90i0ywv5w3jrvw6yqi-gcc-cross-i586-pc-gnu-7.5.0/include:/gnu/store/iwpfpj7jsnp077c0az0bq2ad1sg09mpd-glibc-cross-i586-pc-gnu-2.31/include:/gnu/store/04jhfdnvv3k7ni899g7pssc57j75jbn3-hurd-core-headers-cross-i586-pc-gnu-0.9-1.91a5167/include'
environment variable `CROSS_OBJC_INCLUDE_PATH' set to `/gnu/store/vrjalg510ylw2s90i0ywv5w3jrvw6yqi-gcc-cross-i586-pc-gnu-7.5.0/include:/gnu/store/iwpfpj7jsnp077c0az0bq2ad1sg09mpd-glibc-cross-i586-pc-gnu-2.31/include:/gnu/store/04jhfdnvv3k7ni899g7pssc57j75jbn3-hurd-core-headers-cross-i586-pc-gnu-0.9-1.91a5167/include'
environment variable `CROSS_OBJCPLUS_INCLUDE_PATH' set to `/gnu/store/vrjalg510ylw2s90i0ywv5w3jrvw6yqi-gcc-cross-i586-pc-gnu-7.5.0/include:/gnu/store/iwpfpj7jsnp077c0az0bq2ad1sg09mpd-glibc-cross-i586-pc-gnu-2.31/include:/gnu/store/04jhfdnvv3k7ni899g7pssc57j75jbn3-hurd-core-headers-cross-i586-pc-gnu-0.9-1.91a5167/include'
environment variable `ACLOCAL_PATH' set to `/gnu/store/1l38jl5mhkb1ypw922njxmnsb6w8zwaw-automake-1.16.2/share/aclocal'
environment variable `OCAMLPATH' set to `/gnu/store/kl6nfdbxxblvzbi4rf5fl8bp80clrk6p-ocaml-4.11.1/lib/ocaml:/gnu/store/k4r8r6k6bdr7p2p7m74ifamwbnkm5wqw-coq-8.11.2/lib/ocaml:/gnu/store/k4r8r6k6bdr7p2p7m74ifamwbnkm5wqw-coq-8.11.2/lib/ocaml/site-lib'
environment variable `CAML_LD_LIBRARY_PATH' unset
environment variable `COQPATH' set to `/gnu/store/k4r8r6k6bdr7p2p7m74ifamwbnkm5wqw-coq-8.11.2/lib/coq/user-contrib'
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/vrjalg510ylw2s90i0ywv5w3jrvw6yqi-gcc-cross-i586-pc-gnu-7.5.0/include:/gnu/store/3ybmf05adh3zn477mn9av44ni48y13gi-binutils-cross-i586-pc-gnu-2.34/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/vrjalg510ylw2s90i0ywv5w3jrvw6yqi-gcc-cross-i586-pc-gnu-7.5.0/include/c++:/gnu/store/vrjalg510ylw2s90i0ywv5w3jrvw6yqi-gcc-cross-i586-pc-gnu-7.5.0/include:/gnu/store/3ybmf05adh3zn477mn9av44ni48y13gi-binutils-cross-i586-pc-gnu-2.34/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/k4r8r6k6bdr7p2p7m74ifamwbnkm5wqw-coq-8.11.2/lib:/gnu/store/3ybmf05adh3zn477mn9av44ni48y13gi-binutils-cross-i586-pc-gnu-2.34/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/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/COPYING' -> `./COPYING'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/.gitattributes' -> `./.gitattributes'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/Remakefile.in' -> `./Remakefile.in'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/configure.in' -> `./configure.in'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/remake.cpp' -> `./remake.cpp'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/.gitlab-ci.yml' -> `./.gitlab-ci.yml'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/_CoqProject' -> `./_CoqProject'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/INSTALL.md' -> `./INSTALL.md'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/README.md' -> `./README.md'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/AUTHORS' -> `./AUTHORS'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/.gitignore' -> `./.gitignore'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/NEWS.md' -> `./NEWS.md'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/.mailmap' -> `./.mailmap'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/opam' -> `./opam'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Version.v.in' -> `./src/Version.v.in'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Prop/Mult_error.v' -> `./src/Prop/Mult_error.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Prop/Round_odd.v' -> `./src/Prop/Round_odd.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Prop/Relative.v' -> `./src/Prop/Relative.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Prop/Double_rounding.v' -> `./src/Prop/Double_rounding.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Prop/Sterbenz.v' -> `./src/Prop/Sterbenz.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Prop/Div_sqrt_error.v' -> `./src/Prop/Div_sqrt_error.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Prop/Plus_error.v' -> `./src/Prop/Plus_error.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Core/Core.v' -> `./src/Core/Core.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Core/FLX.v' -> `./src/Core/FLX.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Core/Round_NE.v' -> `./src/Core/Round_NE.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Core/Defs.v' -> `./src/Core/Defs.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Core/FLT.v' -> `./src/Core/FLT.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Core/Round_pred.v' -> `./src/Core/Round_pred.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Core/FTZ.v' -> `./src/Core/FTZ.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Core/Digits.v' -> `./src/Core/Digits.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Core/Zaux.v' -> `./src/Core/Zaux.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Core/Float_prop.v' -> `./src/Core/Float_prop.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Core/Generic_fmt.v' -> `./src/Core/Generic_fmt.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Core/FIX.v' -> `./src/Core/FIX.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Core/Ulp.v' -> `./src/Core/Ulp.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Core/Raux.v' -> `./src/Core/Raux.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/IEEE754/SpecFloatCompat.v.in' -> `./src/IEEE754/SpecFloatCompat.v.in'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/IEEE754/Binary.v' -> `./src/IEEE754/Binary.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/IEEE754/PrimFloat.v' -> `./src/IEEE754/PrimFloat.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/IEEE754/BinarySingleNaN.v' -> `./src/IEEE754/BinarySingleNaN.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/IEEE754/SpecFloatCopy.v' -> `./src/IEEE754/SpecFloatCopy.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/IEEE754/Bits.v' -> `./src/IEEE754/Bits.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Calc/Div.v' -> `./src/Calc/Div.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Calc/Operations.v' -> `./src/Calc/Operations.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Calc/Bracket.v' -> `./src/Calc/Bracket.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Calc/Sqrt.v' -> `./src/Calc/Sqrt.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Calc/Round.v' -> `./src/Calc/Round.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Pff/Pff2Flocq.v' -> `./src/Pff/Pff2Flocq.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Pff/Pff.v' -> `./src/Pff/Pff.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/src/Pff/Pff2FlocqAux.v' -> `./src/Pff/Pff2FlocqAux.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/misc/template.html' -> `./misc/template.html'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/misc/ci.md' -> `./misc/ci.md'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/misc/Dockerfile' -> `./misc/Dockerfile'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/examples/Homogen.v' -> `./examples/Homogen.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/examples/Division_u16.v' -> `./examples/Division_u16.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/examples/Cody_Waite.v' -> `./examples/Cody_Waite.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/examples/Sqrt_sqr.v' -> `./examples/Sqrt_sqr.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/examples/Triangle.v' -> `./examples/Triangle.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/examples/Compute.v' -> `./examples/Compute.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/examples/Average.v' -> `./examples/Average.v'
`/gnu/store/xcwaj4hkyf93dvs2qydkrbp61y3j9sk2-coq-flocq-3.3.1-checkout/examples/Double_rounding_odd_radix.v' -> `./examples/Double_rounding_odd_radix.v'
phase `unpack' succeeded after 0.0 seconds
starting phase `remove-failing-examples'
phase `remove-failing-examples' 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.6 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-flocq-3.3.1.drv-0/source" (relative from build: ".")
build directory: "/tmp/guix-build-coq-flocq-3.3.1.drv-0/source"
configure flags: ("CC_FOR_BUILD=gcc" "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/p4rxfzdyhrsrr6kf7j47sm749axwimqi-coq-flocq-3.3.1" "--enable-fast-install" "--build=x86_64-unknown-linux-gnu" "--host=i586-pc-gnu" "--libdir=/gnu/store/p4rxfzdyhrsrr6kf7j47sm749axwimqi-coq-flocq-3.3.1/lib/coq/user-contrib/Flocq")
configure: WARNING: unrecognized options: --enable-fast-install
checking for i586-pc-gnu-g++... i586-pc-gnu-g++
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... yes
checking for suffix of object files... o
checking whether we are using the GNU C++ compiler... yes
checking whether i586-pc-gnu-g++ accepts -g... yes
checking for coqc... /gnu/store/k4r8r6k6bdr7p2p7m74ifamwbnkm5wqw-coq-8.11.2/bin/coqc
checking Coq version... 8.11.2
checking for coqdep... /gnu/store/k4r8r6k6bdr7p2p7m74ifamwbnkm5wqw-coq-8.11.2/bin/coqdep
checking for coqdoc... /gnu/store/k4r8r6k6bdr7p2p7m74ifamwbnkm5wqw-coq-8.11.2/bin/coqdoc
configure: building remake...
i586-pc-gnu-ld: /tmp/guix-build-coq-flocq-3.3.1.drv-0/ccXFbSzK.o: in function `main':
remake.cpp:(.text.startup+0x8a1): warning: the use of `tempnam' is dangerous, better use `mkstemp'
configure: creating ./config.status
config.status: creating Remakefile
config.status: creating src/Version.v
config.status: creating src/IEEE754/SpecFloatCompat.v
configure: WARNING: unrecognized options: --enable-fast-install
phase `configure' succeeded after 5.7 seconds
starting phase `patch-generated-file-shebangs'
phase `patch-generated-file-shebangs' succeeded after 0.0 seconds
starting phase `build'
command "./remake" failed with signal 11