Building on fall
(from freebsd-ocaml-5.0)
2023-11-01 02:38.42 ---> using "b0ee167c73857b60ecf6c06eff6bbe96857a02ac84fefd2b9807cb2eea16bf97" 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/local/bin/opam-2.1 /usr/local/bin/opam"))
2023-11-01 02:38.42 ---> using "58da31f76f3dd28576bb2b11a05c1473a2cbc0bc8e959f83414ab7001888e94f" 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 7b4cedddee88c79d6bdb00eccf7b36a7b617b211"))
2023-11-01 02:38.43 ---> using "ceda9c602c42ecee62840706a0356388ac8fe9b4284a02972fb121a316518aa6" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using 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:
/usr/home/opam/.profile is already up-to-date.
[NOTE] Make sure that /usr/home/opam/.profile is well sourced in your ~/.bashrc.
2023-11-01 02:38.43 ---> using "3d69dd19638d580f9a84afa315c8a62fa2810666d83257cb65ea0af54a8f6211" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14.1' 'ocaml-base-compiler.4.14.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.1 (cached)
-> installed ocaml-base-compiler.4.14.1
-> installed ocaml-config.2
-> installed ocaml.4.14.1
Done.
# Run eval $(opam env --switch=4.14.1) to update the current shell environment
2023-11-01 02:38.43 ---> using "c4e27f19fd975d5c280de43fa93fccc258b31be75c65928c8e9a19b3e947d35b" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2023-11-01 02:38.43 ---> using "82fdb51c9bff51a089d72b27d56db2f7612532ea8873173b74f5196406d22ee8" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"gappa.1.4.1\"\
\nopam install -vy \"gappa.1.4.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"gappa.1.4.1\" | grep -q '\"freebsd\"'; 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.1 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-gmp 4 [required by gappa]
- install conf-pkg-config 3 [required by conf-mpfr]
- install conf-g++ 1.0 [required by gappa]
- install conf-boost 1 [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.4.1
===== 11 to install =====
The following system packages will first need to be installed:
autoconf boost-all devel/automake devel/bison gcc gmp mpfr textproc/flex
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/local/bin/sudo "pkg" "install" "-y" "autoconf" "boost-all" "devel/automake" "devel/bison" "gcc" "gmp" "mpfr" "textproc/flex"
- Updating FreeBSD repository catalogue...
- [fall] Fetching packagesite.pkg: .......... done
- Processing entries: .
- ...
- ...
- ... done
- FreeBSD repository update completed. 34058 packages processed.
- All repositories are up to date.
- The following 18 package(s) will be affected (of 0 checked):
-
- New packages to be INSTALLED:
- autoconf: 2.71
- autoconf-switch: 20220527
- automake: 1.16.5
- binutils: 2.40_4,1
- bison: 3.8.2,1
- boost-all: 1.83.0
- boost-docs: 1.83.0
- boost-jam: 1.83.0
- boost-libs: 1.83.0
- flex: 2.6.4_2
- gcc: 12_5
- gcc12: 12.2.0_6
- gmp: 6.3.0
- icu: 73.2,1
- libtextstyle: 0.22
- m4: 1.4.19,1
- mpc: 1.3.1_1
- mpfr: 4.2.1,1
-
- Number of packages to be installed: 18
-
- The process will require 1 GiB more space.
- 176 MiB to be downloaded.
- [fall] [1/18] Fetching gcc12-12.2.0_6.pkg: ....
- ...... done
- [fall] [2/18] Fetching icu-73.2,1.pkg: .......... done
- [fall] [3/18] Fetching m4-1.4.19,1.pkg: .......... done
- [fall] [4/18] Fetching automake-1.16.5.pkg: .......... done
- [fall] [5/18] Fetching mpc-1.3.1_1.pkg: ....... done
- [fall] [6/18] Fetching gcc-12_5.pkg: . done
- [fall] [7/18] Fetching boost-all-1.83.0.pkg: . done
- [fall] [8/18] Fetching boost-libs-1.83.0.pkg: .......... done
- [fall] [9/18] Fetching flex-2.6.4_2.pkg: .......... done
- [fall] [10/18] Fetching boost-jam-1.83.0.pkg: ......... done
- [fall] [11/18] Fetching boost-docs-1.83.0.pkg:
- .......... done
- [fall] [12/18] Fetching libtextstyle-0.22.pkg: .......... done
- [fall] [13/18] Fetching gmp-6.3.0.pkg: .......... done
- [fall] [14/18] Fetching mpfr-4.2.1,1.pkg: .......... done
- [fall] [15/18] Fetching binutils-2.40_4,1.pkg: .......... done
- [fall] [16/18] Fetching bison-3.8.2,1.pkg: .......... done
- [fall] [17/18] Fetching autoconf-switch-20220527.pkg: . done
- [fall] [18/18] Fetching autoconf-2.71.pkg: .......... done
- Checking integrity...
- done (0 conflicting)
- [fall] [1/18] Installing gmp-6.3.0...
- [fall] [1/18] Extracting gmp-6.3.0: .......... done
- [fall] [2/18] Installing mpfr-4.2.1,1...
- [fall] [2/18] Extracting mpfr-4.2.1,1: .......... done
- [fall] [3/18] Installing icu-73.2,1...
- [fall] [3/18] Extracting icu-73.2,1: ........
- .. done
- [fall] [4/18] Installing m4-1.4.19,1...
- [fall] [4/18] Extracting m4-1.4.19,1: .......... done
- [fall] [5/18] Installing mpc-1.3.1_1...
- [fall] [5/18] Extracting mpc-1.3.1_1: ......... done
- [fall] [6/18] Installing binutils-2.40_4,1...
- [fall] [6/18] Extracting binutils-2.40_4,1:
- .......... done
- [fall] [7/18] Installing autoconf-switch-20220527...
- [fall] [7/18] Extracting autoconf-switch-20220527: .......... done
- [fall] [8/18] Installing gcc12-12.2.0_6...
- [fall] [8/18] Extracting gcc12-12.2.0_6:
- .....
- ....
- . done
- [fall] [9/18] Installing boost-libs-1.83.0...
- [fall] [9/18] Extracting boost-libs-1.83.0: .
- .....
- ...
- . done
- [fall] [10/18] Installing boost-jam-1.83.0...
- [fall] [10/18] Extracting boost-jam-1.83.0: .... done
- [fall] [11/18] Installing boost-docs-1.83.0...
- [fall] [11/18] Extracting boost-docs-1.83.0: .
- ..
- .
- ..
- .
- .
- .
- . done
- [fall] [12/18] Installing libtextstyle-0.22...
- [fall] [12/18] Extracting libtextstyle-0.22: .......... done
- [fall] [13/18] Installing autoconf-2.71...
- [fall] [13/18] Extracting autoconf-2.71: .......... done
- [fall] [14/18] Installing automake-1.16.5...
- [fall] [14/18] Extracting automake-1.16.5: .......... done
- [fall] [15/18] Installing gcc-12_5...
- [fall] [15/18] Extracting gcc-12_5: ... done
- [fall] [16/18] Installing boost-all-1.83.0...
- [fall] [16/18] Extracting boost-all-1.83.0: ... done
- [fall] [17/18] Installing flex-2.6.4_2...
- [fall] [17/18] Extracting flex-2.6.4_2: .......... done
- [fall] [18/18] Installing bison-3.8.2,1...
- [fall] [18/18] Extracting bison-3.8.2,1: .......... done
- =====
- Message from gcc12-12.2.0_6:
-
- --
- To ensure binaries built with this toolchain find appropriate versions
- of the necessary run-time libraries, you may want to link using
-
- -Wl,-rpath=/usr/local/lib/gcc12
-
- For ports leveraging USE_GCC, USES=compiler, or USES=fortran this happens
- transparently.
- =====
- Message from boost-libs-1.83.0:
-
- --
- You have built the Boost library with thread support.
-
- Don't forget to add -pthread to your linker options when
- linking your code.
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 11/33: [gappa.1.4.1: http]
Processing 12/33: [gappa.1.4.1: http] [conf-bison: bison]
Processing 13/33: [gappa.1.4.1: http] [conf-bison: bison]
Processing 14/33: [gappa.1.4.1: http] [conf-bison: bison] [conf-flex: flex]
Processing 15/33: [gappa.1.4.1: http] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++]
Processing 16/33: [gappa.1.4.1: http] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh]
Processing 17/33: [gappa.1.4.1: http] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
Processing 18/33: [gappa.1.4.1: http] [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: [gappa.1.4.1: http] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config] [conf-which: which which]
- /usr/bin/which
-> compiled conf-which.1
Processing 19/33: [gappa.1.4.1: http] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
-> installed conf-which.1
Processing 20/33: [gappa.1.4.1: http] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
Processing 21/33: [gappa.1.4.1: http] [conf-autoconf: which autoconf] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh] [conf-pkg-config: pkg-config]
- usage: pkgconf [OPTIONS] [LIBRARIES]
-
- basic options:
-
- --help this message
- --about print pkgconf version and license to stdout
- --version print supported pkg-config version to stdout
- --verbose print additional information
- --atleast-pkgconfig-version check whether or not pkgconf is compatible
- with a specified pkg-config version
- --errors-to-stdout print all errors on stdout instead of stderr
- --print-errors ensure all errors are printed
- --short-errors be less verbose about some errors
- --silence-errors explicitly be silent about errors
- --list-all list all known packages
- --list-package-names list all known package names
- --simulate simulate walking the calculated dependency graph
- --no-cache do not cache already seen packages when
- walking the dependency graph
- --log-file=filename write an audit log to a specified file
- --with-path=path adds a directory to the search path
- --define-prefix override the prefix variable with one that is guessed based on
- the location of the .pc file
- --dont-define-prefix do not override the prefix variable under any circumstances
- --prefix-variable=varname sets the name of the variable that pkgconf considers
- to be the package prefix
- --relocate=path relocates a path and exits (mostly for testsuite)
- --dont-relocate-paths disables path relocation support
-
- cross-compilation personality support:
-
- --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename'
- --dump-personality dumps details concerning selected personality
-
- checking specific pkg-config database entries:
-
- --atleast-version require a specific version of a module
- --exact-version require an exact version of a module
- --max-version require a maximum version of a module
- --exists check whether or not a module exists
- --uninstalled check whether or not an uninstalled module will be used
- --no-uninstalled never use uninstalled modules when satisfying dependencies
- --no-provides do not use 'provides' rules to resolve dependencies
- --maximum-traverse-depth maximum allowed depth for dependency graph
- --static be more aggressive when computing dependency graph
- (for static linking)
- --shared use a simplified dependency graph (usually default)
- --pure optimize a static dependency graph as if it were a normal
- dependency graph
- --env-only look only for package entries in PKG_CONFIG_PATH
- --ignore-conflicts ignore 'conflicts' rules in modules
- --validate validate specific .pc files for correctness
-
- querying specific pkg-config database fields:
-
- --define-variable=varname=value define variable 'varname' as 'value'
- --variable=varname print specified variable entry to stdout
- --cflags print required CFLAGS to stdout
- --cflags-only-I print required include-dir CFLAGS to stdout
- --cflags-only-other print required non-include-dir CFLAGS to stdout
- --libs print required linker flags to stdout
- --libs-only-L print required LDPATH linker flags to stdout
- --libs-only-l print required LIBNAME linker flags to stdout
- --libs-only-other print required other linker flags to stdout
- --print-requires print required dependency frameworks to stdout
- --print-requires-private print required dependency frameworks for static
- linking to stdout
- --print-provides print provided dependencies to stdout
- --print-variables print all known variables in module to stdout
- --digraph print entire dependency graph in graphviz 'dot' format
- --keep-system-cflags keep -I/usr/include entries in cflags output
- --keep-system-libs keep -L/usr/lib entries in libs output
- --path show the exact filenames for any matching .pc files
- --modversion print the specified module's version to stdout
- --internal-cflags do not filter 'internal' cflags from output
- --license print the specified module's license to stdout if known
-
- filtering output:
-
- --msvc-syntax print translatable fragments in MSVC syntax
- --fragment-filter=types filter output fragments to the specified types
-
- report bugs to <https://github.com/pkgconf/pkgconf/issues/new>.
-> compiled conf-pkg-config.3
Processing 21/33: [gappa.1.4.1: http] [conf-autoconf: which autoconf] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh]
-> installed conf-pkg-config.3
Processing 22/33: [gappa.1.4.1: http] [conf-autoconf: which autoconf] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh]
- /usr/local/bin/autoconf
-> compiled conf-autoconf.0.1
Processing 22/33: [gappa.1.4.1: http] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh]
-> installed conf-autoconf.0.1
Processing 23/33: [gappa.1.4.1: http] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh]
Processing 24/33: [gappa.1.4.1: http] [conf-automake: automake] [conf-bison: bison] [conf-flex: flex] [conf-g++: g++] [conf-gmp: sh]
- g++ (FreeBSD Ports Collection) 12.2.0
- Copyright (C) 2022 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: [gappa.1.4.1: http] [conf-automake: automake] [conf-bison: bison] [conf-flex: flex] [conf-gmp: sh]
-> installed conf-g++.1.0
Processing 25/33: [gappa.1.4.1: http] [conf-automake: automake] [conf-bison: bison] [conf-flex: flex] [conf-gmp: sh]
- flex 2.6.4
-> compiled conf-flex.2
Processing 25/33: [gappa.1.4.1: http] [conf-automake: automake] [conf-bison: bison] [conf-gmp: sh]
-> installed conf-flex.2
Processing 26/33: [gappa.1.4.1: http] [conf-automake: automake] [conf-bison: bison] [conf-gmp: sh]
- 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 26/33: [gappa.1.4.1: http] [conf-automake: automake] [conf-gmp: sh]
-> installed conf-bison.2
Processing 27/33: [gappa.1.4.1: http] [conf-automake: automake] [conf-gmp: sh]
Processing 27/33: [conf-automake: automake] [conf-gmp: sh]
-> retrieved gappa.1.4.1 (https://gitlab.inria.fr/gappa/gappa/-/archive/gappa-1.4.1.tar.gz)
- Usage: /usr/local/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
Processing 27/33: [conf-gmp: sh]
-> installed conf-automake.1
Processing 28/33: [conf-gmp: sh]
+ /bin/sh "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/conf-gmp.4)
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.4
-> installed conf-gmp.4
Processing 30/33: [conf-mpfr: sh pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr]
+ /bin/sh "-exc" "pkg-config --print-errors --exists mpfr || cc test.c -lgmp -lmpfr" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/conf-mpfr.3)
- + pkg-config --print-errors --exists mpfr
-> compiled conf-mpfr.3
-> installed conf-mpfr.3
[gappa: patch] applying 0001-Added-configure-for-c-11.patch
Processing 32/33: [gappa: patch]
Processing 32/33: [gappa: autoreconf]
+ /usr/local/bin/autoreconf (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/gappa.1.4.1)
- autoreconf2.71: 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
- autoheader2.71: warning: autoconf input should be named 'configure.ac', not 'configure.in'
Processing 32/33: [gappa: touch stamp-config_h.in]
+ /usr/bin/touch "stamp-config_h.in" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/gappa.1.4.1)
Processing 32/33: [gappa: ./configure]
+ /usr/home/opam/.opam/4.14.1/.opam-switch/build/gappa.1.4.1/./configure "--prefix=/usr/home/opam/.opam/4.14.1" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/gappa.1.4.1)
- 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... -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 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/local/bin/ld: /tmp//cc3MvecR.o: in function `main':
- remake.cpp:(.text.startup+0xbbb): warning: warning: tempnam() possibly used unsafely; consider using 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]
+ /usr/home/opam/.opam/4.14.1/.opam-switch/build/gappa.1.4.1/./remake "--jobs=39" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/gappa.1.4.1)
- 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/backends/backend.o
- Finished src/parameters.o
- Finished src/arithmetic/homogen.o
- Finished src/parser/lexer.o
- Finished src/backends/coq_lambda.o
- Finished src/proofs/updater.o
- Finished src/numbers/io.o
- Finished src/numbers/round.o
- Finished src/arithmetic/relative.o
- Finished src/main.o
- Finished src/proofs/property.o
- Finished src/backends/coq.o
- Finished src/parser/parser_aux.o
- Finished src/arithmetic/fixed.o
- Finished src/numbers/interval.o
- Finished src/parser/pattern.o
- Finished src/parser/ring.o
- Finished src/proofs/dichotomy.o
- Finished src/arithmetic/float.o
- Finished src/backends/latex.o
- Finished src/parser/parser.o
- Finished src/proofs/proof_graph.o
- Finished src/proofs/schemes.o
- Finished src/parser/ast.o
- Finished src/proofs/rewriting.o
- Finished src/backends/holl.o
- Finished src/backends/coq_common.o
- Finished src/proofs/basic_proof.o
- Building src/gappa
- Finished src/gappa
- Building all
- Finished all
-> compiled gappa.1.4.1
Processing 33/33: [gappa: ./remake install]
+ /usr/home/opam/.opam/4.14.1/.opam-switch/build/gappa.1.4.1/./remake "-d" "install" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/gappa.1.4.1)
- Building install
- prefix=/usr/home/opam/.opam/4.14.1
- exec_prefix=${prefix}
- mkdir -p ${DESTDIR}${exec_prefix}/bin
- cp src/gappa ${DESTDIR}${exec_prefix}/bin
-
- Finished install
-> installed gappa.1.4.1
Done.
2023-11-01 02:39.59 ---> saved as "c1057e4aa62e31ab9cede092f5a217f01de72e9720c219cdb9bac3626243d4a7"
Job succeeded
Home|Differences with the last checks|Previous runs