← Back to PR #28914
Build Log: gappa.1.6.0
Status: SUCCESS
Log Output
Processing: [default: loading data]
[gappa.1.6.0: http]
[gappa.1.6.0: extract]
[gappa.1.6.0/0001-Added-configure-for-c-11.patch: dl]
-> retrieved gappa.1.6.0 (https://gappa.gitlabpages.inria.fr/releases/gappa-1.6.0.tar.gz)
[gappa: patch] applying 0001-Added-configure-for-c-11.patch
[gappa: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/gappa.1.6.0/./configure "--prefix=/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/gappa.1.6.0)
- checking for g++... g++
- checking whether the C++ compiler works... yes
- checking for C++ compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether the compiler supports GNU C++... yes
- checking whether g++ accepts -g... yes
- checking for g++ option to enable C++11 features... none needed
- checking for gcc... gcc
- checking whether the compiler supports GNU C... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to enable C11 features... none needed
- checking for flex... no
- checking for lex... no
- checking for bison... no
- checking for byacc... no
- 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 for stdio.h... yes
- checking for stdlib.h... yes
- checking for string.h... yes
- checking for inttypes.h... yes
- checking for stdint.h... yes
- checking for strings.h... yes
- checking for sys/stat.h... yes
- checking for sys/types.h... yes
- checking for unistd.h... yes
- checking for gmp.h...
- yes
- checking for __gmpz_init in -lgmp... yes
- checking for mpfr.h... yes
- checking for mpfr_snprintf in -lmpfr... yes
- checking for boost/numeric/interval.hpp... yes
- configure: building remake...
- /usr/bin/ld: /tmp/ccc2WQzM.o: in function `main':
- remake.cpp:(.text.startup+0xc76): 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
[gappa: ./remake]
+ /home/opam/.opam/default/.opam-switch/build/gappa.1.6.0/./remake "--jobs=255" (CWD=/home/opam/.opam/default/.opam-switch/build/gappa.1.6.0)
- Building src/arithmetic/fixed.o
- Building src/arithmetic/float.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/backends/d2.o
- Building src/numbers/interval.o
- Building src/numbers/io.o
- Building src/numbers/real.o
- Building src/numbers/round.o
- Building src/parser/ast.o
- Building src/parser/lexer.o
- Building src/parser/parser_aux.o
- Building src/parser/parser.o
- Building src/parser/pattern.o
- Building src/parser/ring.o
- Building src/proofs/basic_proof.o
- Building src/proofs/dichotomy.o
- Building src/proofs/proof_graph.o
- Building src/proofs/property.o
- Building src/proofs/rewriting.o
- Building src/proofs/schemes.o
- Building src/proofs/updater.o
- Building src/main.o
- Building src/parameters.o
- Finished src/numbers/real.o
- Finished src/parameters.o
- Finished src/backends/backend.o
- Finished src/proofs/updater.o
- Finished src/numbers/io.o
- Finished src/backends/coq_lambda.o
- Finished src/numbers/round.o
- Finished src/parser/lexer.o
- Finished src/main.o
- Finished src/proofs/property.o
- Finished src/backends/coq.o
- Finished src/numbers/interval.o
- Finished src/parser/parser_aux.o
- Finished src/arithmetic/fixed.o
- Finished src/proofs/dichotomy.o
- Finished src/parser/ring.o
- Finished src/backends/latex.o
- Finished src/parser/pattern.o
- Finished src/backends/d2.o
- Finished src/arithmetic/float.o
- Finished src/proofs/proof_graph.o
- Finished src/parser/parser.o
- Finished src/proofs/schemes.o
- Finished src/backends/holl.o
- Finished src/parser/ast.o
- Finished src/proofs/rewriting.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.6.0
[gappa: ./remake install]
+ /home/opam/.opam/default/.opam-switch/build/gappa.1.6.0/./remake "-d" "install" (CWD=/home/opam/.opam/default/.opam-switch/build/gappa.1.6.0)
- Building install
- prefix=/home/opam/.opam/default
- exec_prefix=${prefix}
- mkdir -p ${DESTDIR}${exec_prefix}/bin
- cp src/gappa ${DESTDIR}${exec_prefix}/bin
-
- Finished install
-> installed gappa.1.6.0
[WARNING] Opam package conf-boost.1 depends on the following system package that can no longer be found: libboost-dev
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"conf-mpfr.3" -> {"conf-gmp.5" "conf-pkg-config.4"}
"gappa.1.6.0" -> {"conf-boost.1" "conf-g++.1.0" "conf-gmp.5" "conf-mpfr.3"}
}