Building on x86-bm-6.ocamllabs.io
(from ocaml/opam:debian-unstable)
WARNING: Error loading config file: .dockercfg: $HOME is not defined
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
Digest: sha256:a32e554d37007cabaf12da2261dad1c6890fb793357d4499f39865f3c85d81ab
Status: Downloaded newer image for ocaml/opam:debian-unstable
2021-09-03 21:44.23 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" 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-2.1 /usr/bin/opam"))
2021-09-03 21:44.23 ---> using "4d29eb3e0b7cd69a97ed90837671d5ca38aa41e2fb94346298af500378eca6fa" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'git://github.com/ocaml/opam-repository.git' ~/opam-repository && git -C ~/opam-repository checkout -q 8fc7af65ccb8f3b3709bf02b749ac492e6700b59"))
2021-09-03 21:44.23 ---> using "eb095db6df41eeadc708604343f7b0ce0892db9136dac67a38046f57271c5802" 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.
2021-09-03 21:44.23 ---> using "d245c9af6f86b2b97434d338a3fbb8270425ab7dc6ad1b5451665adc9698eabf" from cache
/: (run (network host)
(shell "git clone -q 'git://github.com/ocaml/ocaml-beta-repository.git' ~/'beta' && git -C ~/'beta' checkout -q 79aeeadd813bdae424ab53f882f08bee0a4e0b89"))
2021-09-03 21:44.23 ---> using "20d9850dcecd0523d6eddecad814e9bbd93882334348605bfa6e15ffd8f5ced5" from cache
/: (run (shell "opam repository add --dont-select 'beta' ~/'beta'"))
[beta] Initialised
2021-09-03 21:44.23 ---> using "6f8879c5099d2146b69bdcec3874fd111cad6c5c42ac63d5f9aa72a228fd8ee8" 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
2021-09-03 21:44.23 ---> using "f7eb24fb60dbb2e2cea3f340c748d8f48715ffb8e525b45da3b56bfe3f312bcf" 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]
- Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [8766 kB]
- Fetched 8994 kB in 4s (2322 kB/s)
- Reading package lists...
-
2021-09-03 21:44.23 ---> using "b112a285d5a4dddaa711d9dd630015f2fb5bb6d8c5e59fca3d0bd55f51cb91fe" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"gappa.1.3.5\"\
\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\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] gappa.1.3.5 is not installed.
Nothing to do.
The following actions will be performed:
- install conf-bison 2 [required by gappa]
- install conf-flex 2 [required by gappa]
- install conf-pkg-config 2 [required by conf-mpfr]
- 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 3 [required by gappa]
- install conf-automake 1 [required by gappa]
- install gappa 1.3.5
===== 11 to install =====
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 <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /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 ... 18048 files and directories currently installed.)
- Preparing to unpack .../00-libsigsegv2_2.13-1_amd64.deb ...
- Unpacking libsigsegv2:amd64 (2.13-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_20180224.1+nmu1_all.deb ...
- Unpacking autotools-dev (20180224.1+nmu1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../05-automake_1%3a1.16.4-1_all.deb ...
- Unpacking automake (1:1.16.4-1) ...
- Selecting previously unselected package bison.
- Preparing to unpack .../06-bison_2%3a3.7.6+dfsg-1_amd64.deb ...
- Unpacking bison (2:3.7.6+dfsg-1) ...
- Selecting previously unselected package libboost1.74-dev:amd64.
- Preparing to unpack .../07-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 .../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.68.4-1_amd64.deb ...
- Unpacking libglib2.0-0:amd64 (2.68.4-1) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../12-libglib2.0-data_2.68.4-1_all.deb ...
- Unpacking libglib2.0-data (2.68.4-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../13-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 .../14-libgmp-dev_2%3a6.2.1+dfsg-1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-1) ...
- Selecting previously unselected package libicu67:amd64.
- Preparing to unpack .../15-libicu67_67.1-7_amd64.deb ...
- Unpacking libicu67:amd64 (67.1-7) ...
- 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.12+dfsg-3_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.12+dfsg-3) ...
- 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.0-1_amd64.deb ...
- Unpacking shared-mime-info (2.0-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 libboost1.74-dev:amd64 (1.74.0-9) ...
- Setting up libicu67:amd64 (67.1-7) ...
- Setting up xdg-user-dirs (0.17-2) ...
- Setting up libglib2.0-0:amd64 (2.68.4-1) ...
- No schema files found: doing nothing.
- Setting up autotools-dev (20180224.1+nmu1) ...
- Setting up libglib2.0-data (2.68.4-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1) ...
- Setting up libsigsegv2:amd64 (2.13-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.12+dfsg-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 shared-mime-info (2.0-1) ...
- Setting up autoconf (2.71-2) ...
- Setting up bison (2:3.7.6+dfsg-1) ...
- update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode
- Setting up automake (1:1.16.4-1) ...
- 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-13) ...
<><> 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.3.5 (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "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 19/33: [conf-bison: bison] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config] [conf-which: which which]
-> installed conf-flex.2
Processing 20/33: [conf-bison: bison] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config] [conf-which: which which]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "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 20/33: [conf-bison: bison] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
-> installed conf-which.1
Processing 21/33: [conf-bison: bison] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
Processing 22/33: [conf-autoconf: which autoconf] [conf-bison: bison] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "bison" "--version" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/conf-bison.2)
- bison (GNU Bison) 3.7.6
- 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.6
- 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 22/33: [conf-autoconf: which autoconf] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
-> installed conf-bison.2
Processing 23/33: [conf-autoconf: which autoconf] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "pkg-config" "--help" (CWD=/home/opam/.opam/4.09.1/.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
-
- 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 23/33: [conf-autoconf: which autoconf] [conf-g++: g++] [conf-gmp: sh]
Processing 24/33: [conf-autoconf: which autoconf] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: mkdir]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "g++" "--version" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/conf-g++.1.0)
- g++ (Debian 10.2.1-6) 10.2.1 20210110
- 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.1-6) 10.2.1 20210110
- 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 24/33: [conf-autoconf: which autoconf] [conf-gmp: sh] [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.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 24/33: [conf-autoconf: which autoconf] [conf-pkg-config: mkdir]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "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/33: [conf-pkg-config: mkdir]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "mkdir" "-p" "/home/opam/.opam/4.09.1/lib/pkgconfig" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/conf-pkg-config.2)
-> installed conf-pkg-config.2
-> installed conf-autoconf.0.1
Processing 26/33: [conf-automake: automake]
-> installed conf-g++.1.0
Processing 27/33: [conf-automake: automake]
-> installed conf-gmp.3
Processing 28/33: [conf-automake: automake]
Processing 29/33: [conf-automake: automake] [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.09.1/.opam-switch/build/conf-mpfr.3)
- + pkg-config --print-errors --exists mpfr
- + pkg-config --print-errors --exists mpfr
-> compiled conf-mpfr.3
Processing 29/33: [conf-automake: automake]
-> installed conf-mpfr.3
Processing 30/33: [conf-automake: automake]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "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 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: <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 32/33: [gappa: patch]
[gappa: patch] applying 0001-Added-configure-for-c-11.patch
Processing 32/33: [gappa: autoreconf]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "autoreconf" (CWD=/home/opam/.opam/4.09.1/.opam-switch/build/gappa.1.3.5)
- 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:33: warning: The macro `AC_TRY_COMPILE' is obsolete.
- configure.in:33: You should run autoupdate.
- ./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from...
- configure.in:33: the top level
- configure.in:41: warning: The macro `AC_TRY_COMPILE' is obsolete.
- configure.in:41: You should run autoupdate.
- ./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from...
- configure.in:41: 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.09.1/.opam-switch/build/gappa.1.3.5)
Processing 32/33: [gappa: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./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 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/ccySmM9l.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 32/33: [gappa: ./remake]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./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/parser/lexer.o
- Finished src/arithmetic/homogen.o
- Finished src/numbers/io.o
- Finished src/numbers/interval.o
- Finished src/proofs/updater.o
- Finished src/backends/coq_lambda.o
- Finished src/numbers/round.o
- Finished src/parser/parser_aux.o
- Finished src/main.o
- Finished src/backends/coq.o
- Finished src/proofs/property.o
- Finished src/arithmetic/fixed.o
- Finished src/parser/parser.o
- Finished src/arithmetic/relative.o
- Finished src/arithmetic/float.o
- Finished src/proofs/dichotomy.o
- Finished src/backends/latex.o
- Finished src/parser/pattern.o
- Finished src/proofs/rewriting.o
- Finished src/proofs/schemes.o
- Finished src/proofs/basic_proof.o
- Finished src/parser/ring.o
- Finished src/backends/holl.o
- Finished src/parser/ast.o
- Finished src/proofs/proof_graph.o
- Finished src/backends/coq_common.o
- Building src/gappa
- Finished src/gappa
- Building all
- Finished all
-> compiled gappa.1.3.5
Processing 33/33: [gappa: ./remake install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "./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
2021-09-03 21:45.32 ---> saved as "536b565fa902d9ed2005fa852caa4c1b05ddaf0ce3dc88557db4bc89dad3fbe3"
Job succeeded
Home|Differences with the last checks|Previous runs