Building on m1-c.ocamllabs.io
(from ocurrent/opam:debian-unstable)
WARNING: Error loading config file: .dockercfg: $HOME is not defined
2021-07-03 18:18.00 ---> 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 '72695bfac80dbcd1d2f10287b2626d18d4acc9f2'\
\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 '9c3fe9d253394788e95360e5c2bcb22722fae6f5'\
\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 re]
- install cmdliner 1.0.4 [required by opam-devel]
- install dune 2.9.0 [required by opam-0install-cudf, opam-devel]
- install ocamlbuild 0.14.0 [required by cudf]
- install base-bytes base [required by extlib]
- install stdlib-shims 0.3.0 [required by ocamlgraph]
- install re 1.9.0 [required by opam-client]
- install opam-file-format 2.1.3 [required by opam-format]
- install cppo 1.6.7 [required by extlib]
- install 0install-solver 2.17 [required by opam-0install-cudf]
- install ocamlgraph 2.0.0 [required by dose3]
- install extlib 1.7.7-1 [required by cudf, opam-client]
- 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.2
- install mccs 1.1+13 [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*
===== 24 to install =====
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[cppo.1.6.7] downloaded from https://github.com/ocaml-community/cppo/releases/download/v1.6.7/cppo-v1.6.7.tbz
[0install-solver.2.17] downloaded from https://github.com/0install/0install/releases/download/v2.17/0install-v2.17.tbz
[cmdliner.1.0.4] downloaded from http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.4.tbz
[dune.2.9.0] downloaded from https://github.com/ocaml/dune/releases/download/2.9.0/dune-2.9.0.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
[extlib.1.7.7-1] downloaded from https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.7.tar.gz
[mccs.1.1+13] downloaded from https://github.com/AltGr/ocaml-mccs/archive/1.1+13.tar.gz
[ocamlbuild.0.14.0] downloaded from https://github.com/ocaml/ocamlbuild/archive/0.14.0.tar.gz
[ocamlgraph.2.0.0] downloaded from https://github.com/backtracking/ocamlgraph/releases/download/2.0.0/ocamlgraph-2.0.0.tbz
[ocamlfind.1.9.1] downloaded from http://download.camlcity.org/download/findlib-1.9.1.tar.gz
[opam-0install-cudf.0.4.2] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4.2/opam-0install-cudf-v0.4.2.tbz
[opam-file-format.2.1.3] downloaded from https://github.com/ocaml/opam-file-format/archive/2.1.3.tar.gz
[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
<><> 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.9.0
-> installed stdlib-shims.0.3.0
-> installed opam-file-format.2.1.3
-> installed 0install-solver.2.17
-> installed cppo.1.6.7
-> installed re.1.9.0
-> installed ocamlgraph.2.0.0
-> installed extlib.1.7.7-1
-> installed opam-core.2.1.0~beta4
-> installed cudf.0.9-1
-> installed opam-0install-cudf.0.4.2
-> installed mccs.1.1+13
-> 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
2021-07-03 18:18.00 ---> using "307be9aa5cdafafceded4bdc6f1d2d6cc6421661c3851f395cf39dd0065265a9" from cache
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (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-07-03 18:18.00 ---> using "f9d18559158c26cb0236b11f8c3f1aca1927d54f77b8b978800f7461ab605d60" 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-07-03 18:18.00 ---> using "0123e084a7b7841fc01d674ea3cc62b640a19885601c401c0149be13108a5da4" from cache
/: (run (shell "opam repository add --dont-select 'beta' ~/'beta'"))
[beta] Initialised
2021-07-03 18:18.00 ---> using "4382217c65ee8c899c1e38e76fe879b949ffb708f73e6e0a95f0a3814d01dd54" 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 (https://github.com/ocaml/ocaml/archive/4.09.1.tar.gz)
-> 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-07-03 18:18.00 ---> using "30c3d39df674e8db599ff0e392a09549c3e56cbb1cad72b70139f22032ffe024" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [161 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 [8640 kB]
- Fetched 8865 kB in 2s (5608 kB/s)
- Reading package lists...
-
2021-07-03 18:18.00 ---> using "68bcee7e8bdf250f1699b391e916ffba9a43a109e9987e0ca77a0e11aa965b1f" 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-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.6+dfsg-1_amd64.deb ...
- Unpacking bison (2:3.7.6+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.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.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]
+ /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 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]
+ /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 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]
+ /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.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]
+ /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 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]
+ /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 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)
+ /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/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]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "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]
+ /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 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]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "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]
+ /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 29/30: [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 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: /opam-tmp/ccmH5jz3.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/opam-init/hooks/sandbox.sh "build" "./remake" "--jobs=47" (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/numbers/interval.o
- Finished src/parameters.o
- Finished src/proofs/updater.o
- Finished src/numbers/io.o
- Finished src/parser/lexer.o
- Finished src/numbers/round.o
- Finished src/arithmetic/homogen.o
- Finished src/backends/coq_lambda.o
- Finished src/arithmetic/fixed.o
- Finished src/backends/latex.o
- Finished src/parser/parser_aux.o
- Finished src/backends/coq.o
- Finished src/parser/parser.o
- Finished src/arithmetic/relative.o
- Finished src/proofs/property.o
- Finished src/proofs/dichotomy.o
- Finished src/parser/pattern.o
- Finished src/proofs/basic_proof.o
- Finished src/main.o
- Finished src/arithmetic/float.o
- Finished src/parser/ring.o
- Finished src/proofs/rewriting.o
- Finished src/backends/holl.o
- Finished src/parser/ast.o
- Finished src/proofs/schemes.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 30/30: [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-07-03 18:18.44 ---> saved as "f9b1729ee2bf7ff4f1fcb2d892e8659a921ed6234eac023a51f9b6b3b8aaa991"
Job succeeded
Home|Differences with the last checks|Previous runs