Building on x86-bm-2.ocamllabs.io (from ocaml/opam:debian-unstable@sha256:286b1a07f166d69599599e77d36ff670e397cb189a08f108911b5151b4668ce1) 2022-06-03 06:07.18 ---> using "47ed2e5e0feee1987ba23dd55270cc6ad201fc29c17004e34e901e030428f794" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMUTF8 never) /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam")) 2022-06-03 06:07.18 ---> using "4a75653e8e13af1975fafc6190bea646f6c5227de6a31d9a10c263381aa24cc1" from cache /: (run (network host) (shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q acdf0fda43c6ad752dca7fbab614d7a45df50538")) 2022-06-03 06:07.18 ---> using "e017e24311b2d1facae68aa054d4808ac0fd85da474fe18b5feb752a484a7401" from cache /: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository")) Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. <><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> [default] Initialised User configuration: ~/.profile is already up-to-date. [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. 2022-06-03 06:07.18 ---> using "fe4ab29b581b2ba4fc496c6fcd5cd0653b4902fb6da880b540dae71463661523" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.02' '4.02.3'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.02.3"} | "ocaml-system" {= "4.02.3"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.02.3 (https://github.com/ocaml/ocaml/archive/4.02.3.tar.gz) -> installed ocaml-base-compiler.4.02.3 -> installed ocaml-config.1 -> installed ocaml.4.02.3 -> installed base-ocamlbuild.base Done. # Run eval $(opam env --switch=4.02) to update the current shell environment 2022-06-03 06:07.18 ---> using "0e9292a7d2bdd2d0f831e0d924388c9fa8e1e9ca331331f0074d7467a0bbf700" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [165 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-06-02-2003.50-F-2022-06-01-1416.25.pdiff [73.9 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-06-02-2003.50-F-2022-06-01-1416.25.pdiff [73.9 kB] - Fetched 303 kB in 2s (174 kB/s) - Reading package lists... - 2022-06-03 06:07.18 ---> using "b367b46c1512171e819433561dae4a57f0a24bd3c42efeea1e7dfd7f73997218" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install -y ocaml-secondary-compiler")) The following actions will be performed: === install 1 package - install ocaml-secondary-compiler 4.08.1-1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocaml-secondary-compiler.4.08.1-1 (cached) -> installed ocaml-secondary-compiler.4.08.1-1 Done. # Run eval $(opam env) to update the current shell environment 2022-06-03 06:07.18 ---> using "6754c9d5bc4723cf1d77b8b7f37cdab77a1ee2293fdd5d87a97131d48a57dee0" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"gappa.1.4.0\"\ \nopam install -vy \"gappa.1.4.0\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"gappa.1.4.0\" | grep -q '\"debian-unstable\"'; then\ \n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\ \n exit 69\ \n fi\ \nfi\ \n\ \n\ \nexit $res\ \n")) [NOTE] gappa.1.4.0 is not installed. Nothing to do. The following actions will be performed: === install 11 packages - install conf-autoconf 0.1 [required by gappa] - install conf-automake 1 [required by gappa] - install conf-bison 2 [required by gappa] - install conf-boost 1 [required by gappa] - install conf-flex 2 [required by gappa] - install conf-g++ 1.0 [required by gappa] - install conf-gmp 4 [required by gappa] - install conf-mpfr 3 [required by gappa] - install conf-pkg-config 2 [required by conf-mpfr] - install conf-which 1 [required by conf-autoconf] - install gappa 1.4.0 The following system packages will first need to be installed: autoconf automake bison flex libboost-dev libgmp-dev libmpfr-dev pkg-config <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> opam believes some required external dependencies are missing. opam can: > 1. Run apt-get to install them (may need root/sudo access) 2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal) 3. Attempt installation anyway, and permanently register that this external dependency is present, but not detectable 4. Abort the installation [1/2/3/4] 1 + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf" "automake" "bison" "flex" "libboost-dev" "libgmp-dev" "libmpfr-dev" "pkg-config" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package libsigsegv2:amd64. - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 18687 files and directories currently installed.) - Preparing to unpack .../00-libsigsegv2_2.14-1_amd64.deb ... - Unpacking libsigsegv2:amd64 (2.14-1) ... - Selecting previously unselected package m4. - Preparing to unpack .../01-m4_1.4.18-5_amd64.deb ... - Unpacking m4 (1.4.18-5) ... - Selecting previously unselected package flex. - Preparing to unpack .../02-flex_2.6.4-8_amd64.deb ... - Unpacking flex (2.6.4-8) ... - Selecting previously unselected package autoconf. - Preparing to unpack .../03-autoconf_2.71-2_all.deb ... - Unpacking autoconf (2.71-2) ... - Selecting previously unselected package autotools-dev. - Preparing to unpack .../04-autotools-dev_20220109.1_all.deb ... - Unpacking autotools-dev (20220109.1) ... - Selecting previously unselected package automake. - Preparing to unpack .../05-automake_1%3a1.16.5-1.3_all.deb ... - Unpacking automake (1:1.16.5-1.3) ... - Selecting previously unselected package bison. - Preparing to unpack .../06-bison_2%3a3.8.2+dfsg-1_amd64.deb ... - Unpacking bison (2:3.8.2+dfsg-1) ... - Selecting previously unselected package libboost1.74-dev:amd64. - Preparing to unpack .../07-libboost1.74-dev_1.74.0-16_amd64.deb ... - Unpacking libboost1.74-dev:amd64 (1.74.0-16) ... - Selecting previously unselected package libboost-dev:amd64. - Preparing to unpack .../08-libboost-dev_1.74.0.3_amd64.deb ... - Unpacking libboost-dev:amd64 (1.74.0.3) ... - Selecting previously unselected package libfl2:amd64. - Preparing to unpack .../09-libfl2_2.6.4-8_amd64.deb ... - Unpacking libfl2:amd64 (2.6.4-8) ... - Selecting previously unselected package libfl-dev:amd64. - Preparing to unpack .../10-libfl-dev_2.6.4-8_amd64.deb ... - Unpacking libfl-dev:amd64 (2.6.4-8) ... - Selecting previously unselected package libglib2.0-0:amd64. - Preparing to unpack .../11-libglib2.0-0_2.72.1-1_amd64.deb ... - Unpacking libglib2.0-0:amd64 (2.72.1-1) ... - Selecting previously unselected package libglib2.0-data. - Preparing to unpack .../12-libglib2.0-data_2.72.1-1_all.deb ... - Unpacking libglib2.0-data (2.72.1-1) ... - Selecting previously unselected package libgmpxx4ldbl:amd64. - Preparing to unpack .../13-libgmpxx4ldbl_2%3a6.2.1+dfsg-3_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-3) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../14-libgmp-dev_2%3a6.2.1+dfsg-3_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-3) ... - Selecting previously unselected package libicu71:amd64. - Preparing to unpack .../15-libicu71_71.1-3_amd64.deb ... - Unpacking libicu71:amd64 (71.1-3) ... - Selecting previously unselected package libmpfr-dev:amd64. - Preparing to unpack .../16-libmpfr-dev_4.1.0-3_amd64.deb ... - Unpacking libmpfr-dev:amd64 (4.1.0-3) ... - Selecting previously unselected package libxml2:amd64. - Preparing to unpack .../17-libxml2_2.9.14+dfsg-1_amd64.deb ... - Unpacking libxml2:amd64 (2.9.14+dfsg-1) ... - Selecting previously unselected package pkg-config. - Preparing to unpack .../18-pkg-config_0.29.2-1_amd64.deb ... - Unpacking pkg-config (0.29.2-1) ... - Selecting previously unselected package shared-mime-info. - Preparing to unpack .../19-shared-mime-info_2.2-1_amd64.deb ... - Unpacking shared-mime-info (2.2-1) ... - Selecting previously unselected package xdg-user-dirs. - Preparing to unpack .../20-xdg-user-dirs_0.17-2_amd64.deb ... - Unpacking xdg-user-dirs (0.17-2) ... - Setting up libicu71:amd64 (71.1-3) ... - Setting up libboost1.74-dev:amd64 (1.74.0-16) ... - Setting up xdg-user-dirs (0.17-2) ... - Setting up libglib2.0-0:amd64 (2.72.1-1) ... - No schema files found: doing nothing. - Setting up autotools-dev (20220109.1) ... - Setting up libglib2.0-data (2.72.1-1) ... - Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-3) ... - Setting up libsigsegv2:amd64 (2.14-1) ... - Setting up pkg-config (0.29.2-1) ... - Setting up libfl2:amd64 (2.6.4-8) ... - Setting up libboost-dev:amd64 (1.74.0.3) ... - Setting up libxml2:amd64 (2.9.14+dfsg-1) ... - Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-3) ... - Setting up m4 (1.4.18-5) ... - Setting up libmpfr-dev:amd64 (4.1.0-3) ... - Setting up shared-mime-info (2.2-1) ... - Setting up autoconf (2.71-2) ... - Setting up bison (2:3.8.2+dfsg-1) ... - update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode - Setting up automake (1:1.16.5-1.3) ... - update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode - Setting up flex (2.6.4-8) ... - Setting up libfl-dev:amd64 (2.6.4-8) ... - Processing triggers for libc-bin (2.33-7) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 11/33: Processing 12/33: [conf-bison: bison] Processing 13/33: [conf-bison: bison] Processing 14/33: [conf-bison: bison] [conf-flex: flex] Processing 15/33: [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] Processing 16/33: [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] Processing 17/33: [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config] Processing 18/33: [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config] [conf-which: which which] -> installed conf-boost.1 Processing 19/33: [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config] [conf-which: which which] -> retrieved gappa.1.4.0 (cached) + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "bison" "--version" (CWD=/home/opam/.opam/4.02/.opam-switch/build/conf-bison.2) - bison (GNU Bison) 3.8.2 - Written by Robert Corbett and Richard Stallman. - - Copyright (C) 2021 Free Software Foundation, Inc. - This is free software; see the source for copying conditions. There is NO - warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. -> compiled conf-bison.2 Processing 19/33: [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config] [conf-which: which which] -> installed conf-bison.2 Processing 20/33: [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config] [conf-which: which which] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "flex" "--version" (CWD=/home/opam/.opam/4.02/.opam-switch/build/conf-flex.2) - flex 2.6.4 -> compiled conf-flex.2 Processing 20/33: [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config] [conf-which: which which] -> installed conf-flex.2 Processing 21/33: [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config] [conf-which: which which] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "g++" "--version" (CWD=/home/opam/.opam/4.02/.opam-switch/build/conf-g++.1.0) - g++ (Debian 11.3.0-3) 11.3.0 - Copyright (C) 2021 Free Software Foundation, Inc. - This is free software; see the source for copying conditions. There is NO - warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. - -> compiled conf-g++.1.0 Processing 21/33: [conf-gmp: sh] [conf-pkg-config: pkg-config] [conf-which: which which] -> installed conf-g++.1.0 Processing 22/33: [conf-gmp: sh] [conf-pkg-config: pkg-config] [conf-which: which which] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "pkg-config" "--help" (CWD=/home/opam/.opam/4.02/.opam-switch/build/conf-pkg-config.2) - Usage: - pkg-config [OPTION?] - - Help Options: - -h, --help Show help options - - Application Options: - --version output version of pkg-config - --modversion output version for package - --atleast-pkgconfig-version=VERSION require given version of pkg-config - --libs output all linker flags - --static output linker flags for static linking - --short-errors print short errors - --libs-only-l output -l flags - --libs-only-other output other libs (e.g. -pthread) - --libs-only-L output -L flags - --cflags output all pre-processor and compiler flags - --cflags-only-I output -I flags - --cflags-only-other output cflags not covered by the cflags-only-I option - --variable=NAME get the value of variable named NAME - --define-variable=NAME=VALUE set variable NAME to VALUE - --exists return 0 if the module(s) exist - --print-variables output list of variables defined by the module - --uninstalled return 0 if the uninstalled version of one or more module(s) or their dependencies will be used - --atleast-version=VERSION return 0 if the module is at least version VERSION - --exact-version=VERSION return 0 if the module is at exactly version VERSION - --max-version=VERSION return 0 if the module is at no newer than version VERSION - --list-all list all known packages - --debug show verbose debug information - --print-errors show verbose information about missing or conflicting packages (default unless --exists or --atleast/exact/max-version given on the command line) - --silence-errors be silent about errors (default when --exists or --atleast/exact/max-version given on the command line) - --errors-to-stdout print errors from --print-errors to stdout not stderr - --print-provides print which packages the package provides - --print-requires print which packages the package requires - --print-requires-private print which packages the package requires for static linking - --validate validate a package's .pc file - --define-prefix try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file - --dont-define-prefix don't try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file - --prefix-variable=PREFIX set the name of the variable that pkg-config automatically sets - -> compiled conf-pkg-config.2 Processing 22/33: [conf-gmp: sh] [conf-which: which which] Processing 23/33: [conf-gmp: sh] [conf-which: which which] [conf-pkg-config: mkdir] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/4.02/.opam-switch/build/conf-gmp.4) - + cc -c -I/usr/local/include test.c -> compiled conf-gmp.4 Processing 23/33: [conf-which: which which] [conf-pkg-config: mkdir] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "which" "which" (CWD=/home/opam/.opam/4.02/.opam-switch/build/conf-which.1) - /usr/bin/which -> compiled conf-which.1 Processing 23/33: [conf-pkg-config: mkdir] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "mkdir" "-p" "/home/opam/.opam/4.02/lib/pkgconfig" (CWD=/home/opam/.opam/4.02/.opam-switch/build/conf-pkg-config.2) -> installed conf-pkg-config.2 -> installed conf-gmp.4 Processing 25/33: [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr] -> installed conf-which.1 Processing 26/33: [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr] Processing 27/33: [conf-autoconf: which autoconf] [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr" (CWD=/home/opam/.opam/4.02/.opam-switch/build/conf-mpfr.3) - + pkg-config --print-errors --exists mpfr -> compiled conf-mpfr.3 Processing 27/33: [conf-autoconf: which autoconf] -> installed conf-mpfr.3 Processing 28/33: [conf-autoconf: which autoconf] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "which" "autoconf" (CWD=/home/opam/.opam/4.02/.opam-switch/build/conf-autoconf.0.1) - /usr/bin/autoconf -> compiled conf-autoconf.0.1 -> installed conf-autoconf.0.1 Processing 30/33: [conf-automake: automake] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "automake" "--help" (CWD=/home/opam/.opam/4.02/.opam-switch/build/conf-automake.1) - Usage: /usr/bin/automake [OPTION]... [Makefile]... - - Generate Makefile.in for configure from Makefile.am. - - Operation modes: - --help print this help, then exit - --version print version number, then exit - -v, --verbose verbosely list files processed - --no-force only update Makefile.in's that are out of date - -W, --warnings=CATEGORY report the warnings falling in CATEGORY - - Dependency tracking: - -i, --ignore-deps disable dependency tracking code - --include-deps enable dependency tracking code - - Flavors: - --foreign set strictness to foreign - --gnits set strictness to gnits - --gnu set strictness to gnu - - Library files: - -a, --add-missing add missing standard files to package - --libdir=DIR set directory storing library files - --print-libdir print directory storing library files - -c, --copy with -a, copy missing files (default is symlink) - -f, --force-missing force update of standard files - - Warning categories include: - cross cross compilation issues - gnu GNU coding standards (default in gnu and gnits modes) - obsolete obsolete features or constructions (default) - override user redefinitions of Automake rules or variables - portability portability issues (default in gnu and gnits modes) - portability-recursive nested Make variables (default with -Wportability) - extra-portability extra portability issues related to obscure tools - syntax dubious syntactic constructs (default) - unsupported unsupported or incomplete features (default) - all all the warnings - no-CATEGORY turn off warnings in CATEGORY - none turn off all the warnings - error treat warnings as errors - - Files automatically distributed if found (always): - ABOUT-GNU TODO install-sh mdate-sh - ABOUT-NLS ar-lib libversion.in missing - BACKLOG compile ltcf-c.sh mkinstalldirs - COPYING config.guess ltcf-cxx.sh py-compile - COPYING.DOC config.rpath ltcf-gcj.sh texinfo.tex - COPYING.LESSER config.sub ltconfig ylwrap - COPYING.LIB depcomp ltmain.sh - - Files automatically distributed if found (as .md if needed): - AUTHORS[.md] INSTALL[.md] README[.md] THANKS[.md] - ChangeLog[.md] NEWS[.md] - - Files automatically distributed if found (under certain conditions): - README-alpha[.md] config.h.bot configure configure.in - acconfig.h config.h.top configure.ac stamp-vti - aclocal.m4 - - Report bugs to <bug-automake@gnu.org>. - GNU Automake home page: <https://www.gnu.org/software/automake/>. - General help using GNU software: <https://www.gnu.org/gethelp/>. -> compiled conf-automake.1 -> installed conf-automake.1 [gappa: patch] applying 0001-Added-configure-for-c-11.patch Processing 32/33: [gappa: patch] Processing 32/33: [gappa: autoreconf] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "autoreconf" (CWD=/home/opam/.opam/4.02/.opam-switch/build/gappa.1.4.0) - autoreconf: warning: autoconf input should be named 'configure.ac', not 'configure.in' - aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in' - configure.in:8: warning: AC_PROG_LEX without either yywrap or noyywrap is obsolete - ./lib/autoconf/programs.m4:716: _AC_PROG_LEX is expanded from... - ./lib/autoconf/programs.m4:709: AC_PROG_LEX is expanded from... - configure.in:8: the top level - configure.in:23: warning: The macro `AC_TRY_COMPILE' is obsolete. - configure.in:23: You should run autoupdate. - ./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from... - configure.in:23: the top level - configure.in:31: warning: The macro `AC_TRY_COMPILE' is obsolete. - configure.in:31: You should run autoupdate. - ./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from... - configure.in:31: the top level - autoheader: warning: autoconf input should be named 'configure.ac', not 'configure.in' Processing 32/33: [gappa: touch stamp-config_h.in] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "touch" "stamp-config_h.in" (CWD=/home/opam/.opam/4.02/.opam-switch/build/gappa.1.4.0) Processing 32/33: [gappa: ./configure] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "--prefix=/home/opam/.opam/4.02" (CWD=/home/opam/.opam/4.02/.opam-switch/build/gappa.1.4.0) - checking for g++... 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... no - checking for suffix of object files... o - checking whether the compiler supports GNU C++... yes - checking whether g++ accepts -g... yes - checking for g++ option to enable C++11 features... none needed - checking for gcc... gcc - checking whether the compiler supports GNU C... yes - checking whether gcc accepts -g... yes - checking for gcc option to enable C11 features... none needed - checking for flex... flex - checking for lex output file root... lex.yy - checking for lex library... none needed - checking for library containing yywrap... - -ll - checking whether yytext is a pointer... yes - checking for bison... bison -y - checking how to run the C preprocessor... gcc -E - checking for gcc... gcc - checking whether the compiler supports GNU C... (cached) yes - checking whether gcc accepts -g... yes - checking for gcc option to enable C11 features... (cached) none needed - checking how to run the C preprocessor... gcc -E - checking how to run the C++ preprocessor... g++ -E - checking for g++... g++ - checking whether the compiler supports GNU C++... (cached) yes - checking whether g++ accepts -g... yes - checking for g++ option to enable C++11 features... (cached) none needed - checking how to run the C++ preprocessor... g++ -E - checking whether g++ supports C++11 features with -std=gnu++11... yes - checking for __gmpz_init in -lgmp... yes - checking for mpfr_snprintf in -lmpfr... yes - checking for Boost (>=1.32)... yes - checking for tr1/unordered_map... - yes - configure: building remake... - /usr/bin/ld: /opam-tmp/ccczQqp8.o: in function `main': - remake.cpp:(.text.startup+0xbb2): warning: the use of `tempnam' is dangerous, better use `mkstemp' - configure: creating ./config.status - config.status: creating stamp-config_h - config.status: creating Remakefile - config.status: creating config.h Processing 32/33: [gappa: ./remake] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./remake" "--jobs=31" (CWD=/home/opam/.opam/4.02/.opam-switch/build/gappa.1.4.0) - Building src/parser/parser.cpp src/parser/parser.hpp - Building src/parser/lexer.cpp - src/parser/parser.ypp:89.1-7: warning: POSIX Yacc does not support %define [-Wyacc] - 89 | %define parse.error verbose - | ^~~~~~~ - src/parser/parser.ypp:90.1-7: warning: POSIX Yacc does not support %define [-Wyacc] - 90 | %define api.pure - | ^~~~~~~ - Finished src/parser/lexer.cpp - Finished src/parser/parser.cpp src/parser/parser.hpp - Building src/arithmetic/fixed.o - Building src/arithmetic/float.o - Building src/arithmetic/homogen.o - Building src/arithmetic/relative.o - Building src/backends/backend.o - Building src/backends/coq.o - Building src/backends/coq_common.o - Building src/backends/coq_lambda.o - Building src/backends/holl.o - Building src/backends/latex.o - Building src/numbers/interval.o - Building src/numbers/io.o - Building src/numbers/real.o - Building src/numbers/round.o - Building src/parser/ast.o - Building src/parser/lexer.o - Building src/parser/parser_aux.o - Building src/parser/parser.o - Building src/parser/pattern.o - Building src/parser/ring.o - Building src/proofs/basic_proof.o - Building src/proofs/dichotomy.o - Building src/proofs/proof_graph.o - Building src/proofs/property.o - Building src/proofs/rewriting.o - Building src/proofs/schemes.o - Building src/proofs/updater.o - Building src/main.o - Building src/parameters.o - Finished src/numbers/real.o - Finished src/parameters.o - Finished src/backends/backend.o - Finished src/arithmetic/homogen.o - Finished src/numbers/io.o - Finished src/proofs/updater.o - Finished src/backends/coq_lambda.o - Finished src/numbers/round.o - Finished src/parser/lexer.o - Finished src/arithmetic/relative.o - Finished src/main.o - Finished src/proofs/property.o - Finished src/numbers/interval.o - Finished src/parser/parser_aux.o - Finished src/backends/coq.o - Finished src/parser/ring.o - Finished src/arithmetic/fixed.o - Finished src/parser/pattern.o - Finished src/proofs/dichotomy.o - Finished src/backends/latex.o - Finished src/proofs/schemes.o - Finished src/arithmetic/float.o - Finished src/parser/parser.o - Finished src/proofs/proof_graph.o - Finished src/backends/holl.o - Finished src/parser/ast.o - Finished src/proofs/basic_proof.o - Finished src/backends/coq_common.o - Finished src/proofs/rewriting.o - Building src/gappa - Finished src/gappa - Building all - Finished all -> compiled gappa.1.4.0 Processing 33/33: [gappa: ./remake install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "./remake" "-d" "install" (CWD=/home/opam/.opam/4.02/.opam-switch/build/gappa.1.4.0) - Building install - prefix=/home/opam/.opam/4.02 - exec_prefix=${prefix} - mkdir -p ${DESTDIR}${exec_prefix}/bin - cp src/gappa ${DESTDIR}${exec_prefix}/bin - - Finished install -> installed gappa.1.4.0 Done. # Run eval $(opam env) to update the current shell environment 2022-06-03 06:07.57 ---> saved as "dcd23c303f5bf3bbacbf42e4e4dc6fc645df66a8b437fd1d2a5f1089314f0298" Job succeeded