Building on x86-bm-2.ocamllabs.io (from ocurrent/opam:debian-unstable) ---> using "ec5d5faa8619574bfe663422158251f52f4b465bd9d157e348e692194b4f4a2a" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMDEPEXTYES 1) /: (env OPAMUTF8 never) /: (run (network host) (shell "\ \n set -e\ \n git clone -q git://github.com/kit-ty-kate/opam.git /tmp/opam\ \n git -C /tmp/opam checkout -q 'dcdba1db7b6ad3d18cc0b07e8337d02c160c62b3'\ \n opam remote set-url default git://github.com/ocaml/opam-repository.git\ \n opam pin add -yn /tmp/opam > /dev/null\ \n opam install -y opam-devel opam-0install-cudf 'ocamlfind>=1.9'\ \n sudo mv \"$(opam var opam-devel:lib)/opam\" /usr/bin/opam\ \n rm -rf /tmp/opam /tmp/depext.txt ~/.opam\ \n if ! test -d ~/opam-repository; then\ \n git clone -q git://github.com/ocaml/opam-repository.git ~/opam-repository\ \n else\ \n git -C ~/opam-repository pull -q origin master\ \n fi\ \n git -C ~/opam-repository checkout -q '7af4b295dc2de0b2b594c05ab4af40ef963bbc5c'\ \n ")) [default] Initialised <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [opam-devel.2.1.0~beta4] no changes from git+file:///tmp/opam#HEAD The following actions will be performed: - install ocamlfind 1.9.1 - install seq base [required by fmt] - install cmdliner 1.0.4 [required by opam-0install-cudf, opam-devel] - install dune 2.8.5 [required by opam-0install-cudf, opam-devel] - install ocamlbuild 0.14.0 [required by cudf, fmt] - install base-bytes base [required by extlib] - install stdlib-shims 0.3.0 [required by fmt] - install re 1.9.0 [required by opam-client] - install opam-file-format 2.3.0* [required by opam-format] - install cppo 1.6.7 [required by extlib] - install 0install-solver 2.17 [required by opam-0install-cudf] - install topkg 1.0.3 [required by fmt] - install ocamlgraph 2.0.0 [required by dose3] - install extlib 1.7.7-1 [required by cudf, opam-client] - install fmt 0.8.9 [required by opam-0install-cudf] - install opam-core 2.1.0~beta4* [required by opam-format] - install cudf 0.9-1 [required by opam-0install-cudf] - install opam-format 2.1.0~beta4* [required by opam-repository, opam-solver] - install opam-0install-cudf 0.4 - install mccs 1.1+12 [required by opam-solver] - install dose3 5.0.1-1 [required by opam-solver] - install opam-repository 2.1.0~beta4* [required by opam-client] - install opam-solver 2.1.0~beta4* [required by opam-client] - install opam-state 2.1.0~beta4* [required by opam-client] - install opam-client 2.1.0~beta4* [required by opam-devel] - install opam-devel 2.1.0~beta4* ===== 26 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [cmdliner.1.0.4] downloaded from http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.4.tbz [0install-solver.2.17] downloaded from https://github.com/0install/0install/releases/download/v2.17/0install-v2.17.tbz [cppo.1.6.7] downloaded from https://github.com/ocaml-community/cppo/releases/download/v1.6.7/cppo-v1.6.7.tbz [cudf.0.9-1] downloaded from https://gforge.inria.fr/frs/download.php/36602/cudf-0.9.tar.gz [dose3.5.0.1-1] downloaded from https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz [dune.2.8.5] downloaded from https://github.com/ocaml/dune/releases/download/2.8.5/dune-2.8.5.tbz [fmt.0.8.9] downloaded from https://erratique.ch/software/fmt/releases/fmt-0.8.9.tbz [extlib.1.7.7-1] downloaded from https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.7.tar.gz [mccs.1.1+12] downloaded from https://github.com/AltGr/ocaml-mccs/archive/1.1+12.tar.gz [ocamlbuild.0.14.0] downloaded from https://github.com/ocaml/ocamlbuild/archive/0.14.0.tar.gz [ocamlfind.1.9.1] downloaded from http://download.camlcity.org/download/findlib-1.9.1.tar.gz [ocamlgraph.2.0.0] downloaded from https://github.com/backtracking/ocamlgraph/releases/download/2.0.0/ocamlgraph-2.0.0.tbz [opam-0install-cudf.0.4] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4/opam-0install-cudf-v0.4.tbz [re.1.9.0] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.9.0/re-1.9.0.tbz [stdlib-shims.0.3.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.3.0/stdlib-shims-0.3.0.tbz [topkg.1.0.3] downloaded from http://erratique.ch/software/topkg/releases/topkg-1.0.3.tbz [opam-file-format.2.3.0] synchronised from git+https://github.com/rjbou/opam-file-format#endpos <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed cmdliner.1.0.4 -> installed ocamlfind.1.9.1 -> installed base-bytes.base -> installed ocamlbuild.0.14.0 -> installed dune.2.8.5 -> installed stdlib-shims.0.3.0 -> installed topkg.1.0.3 -> installed 0install-solver.2.17 -> installed cppo.1.6.7 -> installed opam-file-format.2.3.0 -> installed re.1.9.0 -> installed ocamlgraph.2.0.0 -> installed fmt.0.8.9 -> installed extlib.1.7.7-1 -> installed opam-core.2.1.0~beta4 -> installed cudf.0.9-1 -> installed opam-0install-cudf.0.4 -> installed mccs.1.1+12 -> installed opam-format.2.1.0~beta4 -> installed opam-repository.2.1.0~beta4 -> installed dose3.5.0.1-1 -> installed opam-state.2.1.0~beta4 -> installed opam-solver.2.1.0~beta4 -> installed opam-client.2.1.0~beta4 -> installed opam-devel.2.1.0~beta4 Done. <><> opam-devel.2.1.0~beta4 installed successfully ><><><><><><><><><><><><><><> => The development version of opam has been successfully compiled into /home/opam/.opam/4.11/lib/opam-devel. You should not run it from there, please install the binaries to your PATH, e.g. with sudo cp /home/opam/.opam/4.11/lib/opam-devel/opam /usr/local/bin If you just want to give it a try without altering your current installation, you could use instead: alias opam2="OPAMROOT=~/.opam2 /home/opam/.opam/4.11/lib/opam-devel/opam" # Run eval $(opam env) to update the current shell environment ---> using "310fb7594d9f0873efc277b6742d0667f048239b4a32d1032c7317df22d8acfe" from cache /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "rm -rf ~/.opam && opam init -ya --bare --disable-sandboxing ~/opam-repository")) Configuring from /home/opam/.opamrc and then 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. ---> using "6e0e4cb8d83a997aa93a89995166c703e50432ac925f85088097ad965e1b2fdd" from cache /: (run (network host) (shell "git clone -q 'git://github.com/ocaml/ocaml-beta-repository.git' ~/'beta' && git -C ~/'beta' checkout -q 79aeeadd813bdae424ab53f882f08bee0a4e0b89")) ---> using "fec8f0ca87dd016419bfc26712d0aae42451d64e2ffbfdfa9fb56f27d891d00e" from cache /: (run (shell "opam repository add --dont-select 'beta' ~/'beta'")) [beta] Initialised ---> using "9db56549e55b576bd26307f46fea6c6449257ac7eeae4cd6652544efa56b5957" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=beta,default 4.09.1")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.09.1"} | "ocaml-system" {= "4.09.1"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.09.1 (cached) -> installed ocaml-base-compiler.4.09.1 -> installed ocaml-config.1 -> installed ocaml.4.09.1 Done. # Run eval $(opam env --switch=4.09.1) to update the current shell environment ---> using "6aaa7f124904da00eeca568c59003c5302b23dda9c6eadf259b7412febace2e3" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [157 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [8625 kB] - Fetched 8846 kB in 7s (1315 kB/s) - Reading package lists... - ---> using "e1a2a2114c3af8bdd0e3f8e94569005ea0c503bd78ff3a0b2516a632c51050db" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam install -vy \"gappa.1.3.5\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"gappa.1.3.5\" | 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\ \n\ \nfi\ \nexit $res\ \n")) The following actions will be performed: - install conf-bison 2 [required by gappa] - install conf-flex 2 [required by gappa] - install conf-which 1 [required by conf-autoconf] - install conf-g++ 1.0 [required by gappa] - install conf-boost 1 [required by gappa] - install conf-gmp 3 [required by gappa] - install conf-autoconf 0.1 [required by gappa] - install conf-mpfr 2 [required by gappa] - install conf-automake 1 [required by gappa] - install gappa 1.3.5 ===== 10 to install ===== The following system packages will first need to be installed: autoconf automake bison flex libboost-dev libgmp-dev libmpfr-dev <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> Let opam run your package manager to install the required system packages? [Y/n] y + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf" "automake" "bison" "flex" "libboost-dev" "libgmp-dev" "libmpfr-dev" - 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 ... 17845 files and directories currently installed.) - Preparing to unpack .../libsigsegv2_2.13-1_amd64.deb ... - Unpacking libsigsegv2:amd64 (2.13-1) ... - Selecting previously unselected package m4. - Preparing to unpack .../archives/m4_1.4.18-5_amd64.deb ... - Unpacking m4 (1.4.18-5) ... - Selecting previously unselected package flex. - Preparing to unpack .../flex_2.6.4-8_amd64.deb ... - Unpacking flex (2.6.4-8) ... - Preparing to unpack .../libgmp10_2%3a6.2.1+dfsg-1_amd64.deb ... - Unpacking libgmp10:amd64 (2:6.2.1+dfsg-1) over (2:6.2.0+dfsg-6) ... - Setting up libgmp10:amd64 (2:6.2.1+dfsg-1) ... - Selecting previously unselected package autoconf. - (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 ... 18013 files and directories currently installed.) - Preparing to unpack .../00-autoconf_2.69-14_all.deb ... - Unpacking autoconf (2.69-14) ... - Selecting previously unselected package autotools-dev. - Preparing to unpack .../01-autotools-dev_20180224.1+nmu1_all.deb ... - Unpacking autotools-dev (20180224.1+nmu1) ... - Selecting previously unselected package automake. - Preparing to unpack .../02-automake_1%3a1.16.3-2_all.deb ... - Unpacking automake (1:1.16.3-2) ... - Selecting previously unselected package bison. - Preparing to unpack .../03-bison_2%3a3.7.5+dfsg-1_amd64.deb ... - Unpacking bison (2:3.7.5+dfsg-1) ... - Selecting previously unselected package libboost1.74-dev:amd64. - Preparing to unpack .../04-libboost1.74-dev_1.74.0-9_amd64.deb ... - Unpacking libboost1.74-dev:amd64 (1.74.0-9) ... - Selecting previously unselected package libboost-dev:amd64. - Preparing to unpack .../05-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 .../06-libfl2_2.6.4-8_amd64.deb ... - Unpacking libfl2:amd64 (2.6.4-8) ... - Selecting previously unselected package libfl-dev:amd64. - Preparing to unpack .../07-libfl-dev_2.6.4-8_amd64.deb ... - Unpacking libfl-dev:amd64 (2.6.4-8) ... - Selecting previously unselected package libgmpxx4ldbl:amd64. - Preparing to unpack .../08-libgmpxx4ldbl_2%3a6.2.1+dfsg-1_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../09-libgmp-dev_2%3a6.2.1+dfsg-1_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-1) ... - Selecting previously unselected package libmpfr-dev:amd64. - Preparing to unpack .../10-libmpfr-dev_4.1.0-3_amd64.deb ... - Unpacking libmpfr-dev:amd64 (4.1.0-3) ... - Setting up libboost1.74-dev:amd64 (1.74.0-9) ... - Setting up autotools-dev (20180224.1+nmu1) ... - Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1) ... - Setting up libsigsegv2:amd64 (2.13-1) ... - Setting up libfl2:amd64 (2.6.4-8) ... - Setting up libboost-dev:amd64 (1.74.0.3) ... - Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-1) ... - Setting up m4 (1.4.18-5) ... - Setting up libmpfr-dev:amd64 (4.1.0-3) ... - Setting up autoconf (2.69-14) ... - Setting up bison (2:3.7.5+dfsg-1) ... - update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode - Setting up automake (1:1.16.3-2) ... - 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.31-4) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 10/30: [gappa.1.3.5: http] Processing 11/30: [gappa.1.3.5: http] [conf-bison: bison] Processing 12/30: [gappa.1.3.5: http] [conf-bison: bison] Processing 13/30: [gappa.1.3.5: http] [conf-bison: bison] [conf-flex: flex] Processing 14/30: [gappa.1.3.5: http] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] Processing 15/30: [gappa.1.3.5: http] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] Processing 16/30: [gappa.1.3.5: http] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-which: which which] -> installed conf-boost.1 Processing 17/30: [gappa.1.3.5: http] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-which: which which] Processing 17/30: [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-which: which which] + /usr/bin/bison "--version" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/conf-bison.2) - bison (GNU Bison) 3.7.5 - 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. - bison (GNU Bison) 3.7.5 - 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 17/30: [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-which: which which] -> installed conf-bison.2 Processing 18/30: [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-which: which which] + /usr/bin/flex "--version" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/conf-flex.2) - flex 2.6.4 - flex 2.6.4 -> compiled conf-flex.2 Processing 18/30: [conf-g++: g++] [conf-gmp: sh] [conf-which: which which] -> installed conf-flex.2 Processing 19/30: [conf-g++: g++] [conf-gmp: sh] [conf-which: which which] + /usr/bin/g++ "--version" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/conf-g++.1.0) - g++ (Debian 10.2.0-15) 10.2.0 - Copyright (C) 2020 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. - - g++ (Debian 10.2.0-15) 10.2.0 - Copyright (C) 2020 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 19/30: [conf-gmp: sh] [conf-which: which which] -> installed conf-g++.1.0 Processing 20/30: [conf-gmp: sh] [conf-which: which which] + /bin/sh "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/conf-gmp.3) - + cc -c -I/usr/local/include test.c - + cc -c -I/usr/local/include test.c -> compiled conf-gmp.3 Processing 20/30: [conf-which: which which] -> installed conf-gmp.3 Processing 21/30: [conf-which: which which] Processing 22/30: [conf-mpfr: cc test.c] [conf-which: which which] + /usr/bin/which "which" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/conf-which.1) - /usr/bin/which - /usr/bin/which -> compiled conf-which.1 Processing 22/30: [conf-mpfr: cc test.c] -> installed conf-which.1 Processing 23/30: [conf-mpfr: cc test.c] Processing 24/30: [conf-autoconf: which autoconf] [conf-mpfr: cc test.c] -> retrieved gappa.1.3.5 (https://gitlab.inria.fr/gappa/gappa/-/archive/gappa-1.3.5.tar.gz) + /usr/bin/which "autoconf" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/conf-autoconf.0.1) - /usr/bin/autoconf - /usr/bin/autoconf -> compiled conf-autoconf.0.1 Processing 24/30: [conf-mpfr: cc test.c] -> installed conf-autoconf.0.1 Processing 25/30: [conf-mpfr: cc test.c] Processing 26/30: [conf-automake: automake] [conf-mpfr: cc test.c] + /usr/bin/cc "test.c" "-I/usr/local/include" "-L/usr/local/lib" "-lgmp" "-lmpfr" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/conf-mpfr.2) -> compiled conf-mpfr.2 Processing 26/30: [conf-automake: automake] -> installed conf-mpfr.2 Processing 27/30: [conf-automake: automake] + /usr/bin/automake "--help" (CWD=/home/opam/.opam/4.09.1/.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 INSTALL config.rpath ltconfig - ABOUT-NLS NEWS config.sub ltmain.sh - AUTHORS README depcomp mdate-sh - BACKLOG THANKS install-sh missing - COPYING TODO libversion.in mkinstalldirs - COPYING.DOC ar-lib ltcf-c.sh py-compile - COPYING.LESSER compile ltcf-cxx.sh texinfo.tex - COPYING.LIB config.guess ltcf-gcj.sh ylwrap - ChangeLog - - Files automatically distributed if found (under certain conditions): - acconfig.h config.h.bot configure configure.in - aclocal.m4 config.h.top configure.ac stamp-vti - - Report bugs to <bug-automake@gnu.org>. - GNU Automake home page: <http://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 remake.patch Processing 29/30: [gappa: patch] [gappa: patch] applying 0001-Added-configure-for-c-11.patch Processing 29/30: [gappa: autoreconf] + /usr/bin/autoreconf (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/gappa.1.3.5) - aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in' Processing 29/30: [gappa: touch stamp-config_h.in] + /usr/bin/touch "stamp-config_h.in" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/gappa.1.3.5) Processing 29/30: [gappa: ./configure] + /home/opam/.opam/4.09.1/.opam-switch/build/gappa.1.3.5/./configure "CXXFLAGS=-I/opt/local/include" "--prefix=/home/opam/.opam/4.09.1" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/gappa.1.3.5) - 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 we are using the GNU C++ compiler... yes - checking whether g++ accepts -g... yes - checking for gcc... gcc - 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 for flex... flex - checking lex output file root... lex.yy - checking lex library... - -lfl - 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 we are using the GNU C compiler... (cached) yes - checking whether gcc accepts -g... yes - checking for gcc option to accept ISO C89... (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 we are using the GNU C++ compiler... (cached) yes - checking whether g++ accepts -g... yes - 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: /tmp/ccdwC5H9.o: in function `main': - remake.cpp:(.text.startup+0xb87): 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 29/30: [gappa: ./remake] + /home/opam/.opam/4.09.1/.opam-switch/build/gappa.1.3.5/./remake "--jobs=31" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/gappa.1.3.5) - Building src/parser/parser.cpp src/parser/parser.hpp - Building src/parser/lexer.cpp - src/parser/parser.ypp:89.1-14: warning: POSIX Yacc does not support %error-verbose [-Wyacc] - 89 | %error-verbose - | ^~~~~~~~~~~~~~ - src/parser/parser.ypp:89.1-14: warning: deprecated directive: '%error-verbose', use '%define parse.error verbose' [-Wdeprecated] - 89 | %error-verbose - | ^~~~~~~~~~~~~~ - | %define parse.error verbose - src/parser/parser.ypp:90.1-12: warning: POSIX Yacc does not support %pure-parser [-Wyacc] - 90 | %pure-parser - | ^~~~~~~~~~~~ - src/parser/parser.ypp:90.1-12: warning: deprecated directive: '%pure-parser', use '%define api.pure' [-Wdeprecated] - 90 | %pure-parser - | ^~~~~~~~~~~~ - | %define api.pure - src/parser/parser.ypp:110.25-30: warning: POSIX yacc reserves %type to nonterminals [-Wyacc] - 110 | %type <number> NUMBER - | ^~~~~~ - src/parser/parser.ypp:114.25-29: warning: POSIX yacc reserves %type to nonterminals [-Wyacc] - 114 | %type <ident> IDENT - | ^~~~~ - src/parser/parser.ypp:115.25-29: warning: POSIX yacc reserves %type to nonterminals [-Wyacc] - 115 | %type <ident> VARID - | ^~~~~ - src/parser/parser.ypp:116.25-29: warning: POSIX yacc reserves %type to nonterminals [-Wyacc] - 116 | %type <ident> FUNID - | ^~~~~ - src/parser/parser.ypp: warning: 46 reduce/reduce conflicts [-Wconflicts-rr] - src/parser/parser.ypp: note: rerun with option '-Wcounterexamples' to generate conflict counterexamples - Finished src/parser/lexer.cpp - src/parser/parser.ypp: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] - 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/backends/backend.o - Finished src/parameters.o - Finished src/numbers/interval.o - Finished src/arithmetic/homogen.o - Finished src/proofs/updater.o - Finished src/numbers/io.o - Finished src/parser/lexer.o - Finished src/arithmetic/relative.o - Finished src/backends/coq_lambda.o - Finished src/numbers/round.o - Finished src/backends/coq.o - Finished src/proofs/property.o - Finished src/parser/ring.o - Finished src/parser/pattern.o - Finished src/parser/parser_aux.o - Finished src/backends/latex.o - Finished src/parser/parser.o - Finished src/arithmetic/float.o - Finished src/main.o - Finished src/arithmetic/fixed.o - Finished src/proofs/basic_proof.o - Finished src/proofs/rewriting.o - Finished src/proofs/dichotomy.o - Finished src/backends/holl.o - Finished src/proofs/proof_graph.o - Finished src/proofs/schemes.o - Finished src/backends/coq_common.o - Finished src/parser/ast.o - Building src/gappa - Finished src/gappa - Building all - Finished all -> compiled gappa.1.3.5 Processing 30/30: [gappa: ./remake install] + /home/opam/.opam/4.09.1/.opam-switch/build/gappa.1.3.5/./remake "-d" "install" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/gappa.1.3.5) - Building install - prefix=/home/opam/.opam/4.09.1 - exec_prefix=${prefix} - mkdir -p ${exec_prefix}/bin - cp src/gappa ${exec_prefix}/bin - - Finished install -> installed gappa.1.3.5 Done. # Run eval $(opam env) to update the current shell environment ---> saved as "0cbc27650d3ec37001f9c57818195a63896c0f19658d17d1b0865ebdb4258ef2" Job succeeded