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/b3ijxswrcsl3l4406aawbmby4nc0lc0b-autoconf-2.69/bin:/gnu/store/pwnl32gbma9xw5sjyhfv5n25c75bsl1d-automake-1.16.2/bin:/gnu/store/0n43gkkd4565sii8qv31asjj9b4n3rqy-ocaml-4.11.1/bin:/gnu/store/n3gp6sh4fb3ar05mmkwp2avn55sn9mj1-which-2.21/bin:/gnu/store/jaryidlibxa6hbymx0qs7ndlbdrr8g7p-coq-8.13.2/bin:/gnu/store/6h907snwcc3gjcxi6b41wx8nzim3390q-camlp5-7.13/bin:/gnu/store/ixj77prjzmg6qixw8j5bh0gamzsl5sfg-bison-3.5.3/bin:/gnu/store/6gh900rx9gb6f6y8dfg8ka0l64mjn8xw-flex-2.6.4/bin:/gnu/store/krsbvgjjc67wv646p06caxi1g80vdg16-ocaml-zarith-1.12/bin:/gnu/store/am3imbjafa1wdvw9j6qabrxc09w169lz-tar-1.32/bin:/gnu/store/chqjscapsg928dy8pg6yrdhw3ypk8c9x-gzip-1.10/bin:/gnu/store/k3n5jh5579g2b17qmd2w89z2fy45pmr3-bzip2-1.0.8/bin:/gnu/store/k8ksi57ghm301zr0v7aq2vl2fa8hxfqi-xz-5.2.4/bin:/gnu/store/5ckix15mw8r509g68fbm7rla51lmd2zq-file-5.38/bin:/gnu/store/m8fnsfqs18c3srjiaw4frqadb9rqsq16-diffutils-3.7/bin:/gnu/store/2cfnrxy8icrz3sxfn86k0klmvsnj1n82-patch-2.7.6/bin:/gnu/store/0bmzacdzdhi41kkjbsq7iakwjzxkv6fm-findutils-4.7.0/bin:/gnu/store/x9qzb42hmzszg9y16m1gbz3vv54yyi00-gawk-5.0.1/bin:/gnu/store/qy7gpiba7s7ylpfxaay6i76rk892j52n-sed-4.8/bin:/gnu/store/74d5jq5sj2fhy5j0j07jqdclf8nyxgqn-grep-3.4/bin:/gnu/store/wy177cwa387g9kaf3ss716d4fhzb21wx-coreutils-8.32/bin:/gnu/store/wsxnp4k7mp7b705kxp94j7hs8as5fmsl-make-4.3/bin:/gnu/store/7zp9ifpgm3zj481nk6jg1im13g4mza2g-bash-minimal-5.0.16/bin:/gnu/store/y4iy1jvfq07gxynkb9jl1f69jmy349vi-ld-wrapper-0/bin:/gnu/store/1iwrsjwmhcdifc8i3v7qdr59k6gq4z24-binutils-2.34/bin:/gnu/store/z8954h4nvgxwcyy2in8c1l11g199m2yb-gcc-7.5.0/bin:/gnu/store/llkv94k15spryi6zf0gjm0fp7m8k3i8g-glibc-2.31/bin:/gnu/store/llkv94k15spryi6zf0gjm0fp7m8k3i8g-glibc-2.31/sbin:/gnu/store/vdr2k3irhssk102j8fbizrnx606hqlch-m4-1.4.18/bin' environment variable `ACLOCAL_PATH' set to `/gnu/store/pwnl32gbma9xw5sjyhfv5n25c75bsl1d-automake-1.16.2/share/aclocal:/gnu/store/ixj77prjzmg6qixw8j5bh0gamzsl5sfg-bison-3.5.3/share/aclocal' environment variable `OCAMLPATH' set to `/gnu/store/0n43gkkd4565sii8qv31asjj9b4n3rqy-ocaml-4.11.1/lib/ocaml:/gnu/store/jaryidlibxa6hbymx0qs7ndlbdrr8g7p-coq-8.13.2/lib/ocaml:/gnu/store/jaryidlibxa6hbymx0qs7ndlbdrr8g7p-coq-8.13.2/lib/ocaml/site-lib:/gnu/store/6h907snwcc3gjcxi6b41wx8nzim3390q-camlp5-7.13/lib/ocaml:/gnu/store/krsbvgjjc67wv646p06caxi1g80vdg16-ocaml-zarith-1.12/lib/ocaml:/gnu/store/krsbvgjjc67wv646p06caxi1g80vdg16-ocaml-zarith-1.12/lib/ocaml/site-lib' environment variable `CAML_LD_LIBRARY_PATH' set to `/gnu/store/jaryidlibxa6hbymx0qs7ndlbdrr8g7p-coq-8.13.2/lib/ocaml/site-lib/stublibs:/gnu/store/krsbvgjjc67wv646p06caxi1g80vdg16-ocaml-zarith-1.12/lib/ocaml/site-lib/stublibs' environment variable `COQPATH' set to `/gnu/store/zzd8f8dzlid6ry0sln843f3rih6mps9w-coq-flocq-3.3.1/lib/coq/user-contrib' environment variable `COQLIB' set to `/gnu/store/jaryidlibxa6hbymx0qs7ndlbdrr8g7p-coq-8.13.2/lib/ocaml/site-lib/coq' environment variable `BASH_LOADABLES_PATH' unset environment variable `C_INCLUDE_PATH' set to `/gnu/store/6gh900rx9gb6f6y8dfg8ka0l64mjn8xw-flex-2.6.4/include:/gnu/store/36c64cqp24i8i8p9m5402ig0pclmcvld-gmp-6.2.0/include:/gnu/store/qlz31qzh98l8v2kw35jx2m6f035lqsis-mpfr-4.0.2/include:/gnu/store/vyvx9p01y9q13grsh6bkzn5f0jhrick0-boost-1.72.0/include:/gnu/store/k3n5jh5579g2b17qmd2w89z2fy45pmr3-bzip2-1.0.8/include:/gnu/store/k8ksi57ghm301zr0v7aq2vl2fa8hxfqi-xz-5.2.4/include:/gnu/store/5ckix15mw8r509g68fbm7rla51lmd2zq-file-5.38/include:/gnu/store/x9qzb42hmzszg9y16m1gbz3vv54yyi00-gawk-5.0.1/include:/gnu/store/wsxnp4k7mp7b705kxp94j7hs8as5fmsl-make-4.3/include:/gnu/store/1iwrsjwmhcdifc8i3v7qdr59k6gq4z24-binutils-2.34/include:/gnu/store/z8954h4nvgxwcyy2in8c1l11g199m2yb-gcc-7.5.0/include:/gnu/store/llkv94k15spryi6zf0gjm0fp7m8k3i8g-glibc-2.31/include:/gnu/store/72z9rxrrmfw1xx9gf27jm2s8h5h0fkh0-linux-libre-headers-5.4.20/include' environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/6gh900rx9gb6f6y8dfg8ka0l64mjn8xw-flex-2.6.4/include:/gnu/store/36c64cqp24i8i8p9m5402ig0pclmcvld-gmp-6.2.0/include:/gnu/store/qlz31qzh98l8v2kw35jx2m6f035lqsis-mpfr-4.0.2/include:/gnu/store/vyvx9p01y9q13grsh6bkzn5f0jhrick0-boost-1.72.0/include:/gnu/store/k3n5jh5579g2b17qmd2w89z2fy45pmr3-bzip2-1.0.8/include:/gnu/store/k8ksi57ghm301zr0v7aq2vl2fa8hxfqi-xz-5.2.4/include:/gnu/store/5ckix15mw8r509g68fbm7rla51lmd2zq-file-5.38/include:/gnu/store/x9qzb42hmzszg9y16m1gbz3vv54yyi00-gawk-5.0.1/include:/gnu/store/wsxnp4k7mp7b705kxp94j7hs8as5fmsl-make-4.3/include:/gnu/store/1iwrsjwmhcdifc8i3v7qdr59k6gq4z24-binutils-2.34/include:/gnu/store/z8954h4nvgxwcyy2in8c1l11g199m2yb-gcc-7.5.0/include/c++:/gnu/store/z8954h4nvgxwcyy2in8c1l11g199m2yb-gcc-7.5.0/include:/gnu/store/llkv94k15spryi6zf0gjm0fp7m8k3i8g-glibc-2.31/include:/gnu/store/72z9rxrrmfw1xx9gf27jm2s8h5h0fkh0-linux-libre-headers-5.4.20/include' environment variable `LIBRARY_PATH' set to `/gnu/store/0n43gkkd4565sii8qv31asjj9b4n3rqy-ocaml-4.11.1/lib:/gnu/store/jaryidlibxa6hbymx0qs7ndlbdrr8g7p-coq-8.13.2/lib:/gnu/store/6h907snwcc3gjcxi6b41wx8nzim3390q-camlp5-7.13/lib:/gnu/store/ixj77prjzmg6qixw8j5bh0gamzsl5sfg-bison-3.5.3/lib:/gnu/store/6gh900rx9gb6f6y8dfg8ka0l64mjn8xw-flex-2.6.4/lib:/gnu/store/36c64cqp24i8i8p9m5402ig0pclmcvld-gmp-6.2.0/lib:/gnu/store/qlz31qzh98l8v2kw35jx2m6f035lqsis-mpfr-4.0.2/lib:/gnu/store/krsbvgjjc67wv646p06caxi1g80vdg16-ocaml-zarith-1.12/lib:/gnu/store/vyvx9p01y9q13grsh6bkzn5f0jhrick0-boost-1.72.0/lib:/gnu/store/zzd8f8dzlid6ry0sln843f3rih6mps9w-coq-flocq-3.3.1/lib:/gnu/store/k3n5jh5579g2b17qmd2w89z2fy45pmr3-bzip2-1.0.8/lib:/gnu/store/k8ksi57ghm301zr0v7aq2vl2fa8hxfqi-xz-5.2.4/lib:/gnu/store/5ckix15mw8r509g68fbm7rla51lmd2zq-file-5.38/lib:/gnu/store/x9qzb42hmzszg9y16m1gbz3vv54yyi00-gawk-5.0.1/lib:/gnu/store/1iwrsjwmhcdifc8i3v7qdr59k6gq4z24-binutils-2.34/lib:/gnu/store/llkv94k15spryi6zf0gjm0fp7m8k3i8g-glibc-2.31/lib:/gnu/store/m4l52mw8m0amgy4j129z5j0syryb7pkg-glibc-2.31-static/lib:/gnu/store/vispxhcwmvasm225pm373jhfn21q1sa1-glibc-utf8-locales-2.31/lib' environment variable `GUIX_LOCPATH' set to `/gnu/store/vispxhcwmvasm225pm373jhfn21q1sa1-glibc-utf8-locales-2.31/lib/locale' phase `set-paths' succeeded after 0.2 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/configure.in' -> `./configure.in' `/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/README.md' -> `./README.md' `/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/INSTALL.md' -> `./INSTALL.md' `/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/opam' -> `./opam' `/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/.gitlab-ci.yml' -> `./.gitlab-ci.yml' `/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/remake.cpp' -> `./remake.cpp' `/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/AUTHORS' -> `./AUTHORS' `/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/_CoqProject' -> `./_CoqProject' `/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/Remakefile.in' -> `./Remakefile.in' `/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/NEWS.md' -> `./NEWS.md' `/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/COPYING' -> `./COPYING' `/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_tactic.v' -> `./src/Gappa_tactic.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_definitions.v' -> `./src/Gappa_definitions.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_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_real.v' -> `./src/Gappa_real.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_round.v' -> `./src/Gappa_round.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/gappatac.c' -> `./src/gappatac.c' `/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_abs.v' -> `./src/Gappa_pred_abs.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/src/Gappa_fixed.v' -> `./src/Gappa_fixed.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_dyadic.v' -> `./src/Gappa_dyadic.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_pred_bnd.v' -> `./src/Gappa_pred_bnd.v' `/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/testsuite/bug-20200404.v' -> `./testsuite/bug-20200404.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/example-20101018.v' -> `./testsuite/example-20101018.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-20091016.v' -> `./testsuite/bug-20091016.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/bug-20091019.v' -> `./testsuite/bug-20091019.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/dichotomy-20130707.v' -> `./testsuite/dichotomy-20130707.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/bug-20121219.v' -> `./testsuite/bug-20121219.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/misc/ci.md' -> `./misc/ci.md' `/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout/misc/Dockerfile' -> `./misc/Dockerfile' 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/b3ijxswrcsl3l4406aawbmby4nc0lc0b-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 3.5 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/7zp9ifpgm3zj481nk6jg1im13g4mza2g-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/7zp9ifpgm3zj481nk6jg1im13g4mza2g-bash-minimal-5.0.16/bin/bash" "SHELL=/gnu/store/7zp9ifpgm3zj481nk6jg1im13g4mza2g-bash-minimal-5.0.16/bin/bash" "--prefix=/gnu/store/5h518w6r8dvvm42xh451k246kg0fqfiq-coq-gappa-1.4.6" "--enable-fast-install" "--build=arm-unknown-linux-gnueabihf" "COQUSERCONTRIB=/gnu/store/5h518w6r8dvvm42xh451k246kg0fqfiq-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/jaryidlibxa6hbymx0qs7ndlbdrr8g7p-coq-8.13.2/bin/coqc checking for coqdep... /gnu/store/jaryidlibxa6hbymx0qs7ndlbdrr8g7p-coq-8.13.2/bin/coqdep checking for ocamlfind... /gnu/store/bw2a27zxsrbcagmzhqk0dcrflk1wxba3-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/ccgBOO6T.o: in function `main': remake.cpp:(.text.startup+0x5c0): warning: the use of `tempnam' is dangerous, better use `mkstemp' === Summary === Installation directory /gnu/store/5h518w6r8dvvm42xh451k246kg0fqfiq-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 12.4 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 43.3 seconds starting phase `install' Building install Finished install phase `install' succeeded after 0.1 seconds starting phase `patch-shebangs' phase `patch-shebangs' succeeded after 0.0 seconds starting phase `strip' stripping binaries in "/gnu/store/5h518w6r8dvvm42xh451k246kg0fqfiq-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/5h518w6r8dvvm42xh451k246kg0fqfiq-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