2026-06-24 10:59.57: New job: build gappa.1.6.0 (db7e1aa974a5)
2026-06-24 10:59.57: Waiting for resource in pool day11-builds
2026-06-24 11:02.24: Got resource from pool day11-builds
2026-06-24 11:02.24: [profile full] build gappa.1.6.0
2026-06-24 11:02.25: build gappa.1.6.0 (db7e1aa974a5)
=== DEPENDENCIES (5 transitive) ===
  conf-boost.1                                       00039ec33118
  conf-g++.1.0                                       6045961550b9
  conf-gmp.5                                         be11edf77089
  conf-mpfr.3                                        4ee405053a13
  conf-pkg-config.5                                  d5de2c6a88f9
=== STDOUT ===
Processing: [default: loading data]
[gappa.1.6.0: dl]
[gappa.1.6.0: extract]
[gappa.1.6.0/0001-Added-configure-for-c-11.patch: dl]
-> retrieved gappa.1.6.0  (https://opam.ocaml.org/cache)
[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/ccqwkEkn.o: in function `main':
- remake.cpp:(.text.startup+0xc40): 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=39" (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/parameters.o
- Finished src/numbers/real.o
- Finished src/arithmetic/fixed.o
- Finished src/backends/backend.o
- Finished src/proofs/updater.o
- Finished src/backends/coq_lambda.o
- Finished src/numbers/io.o
- Finished src/parser/parser_aux.o
- Finished src/proofs/property.o
- Finished src/numbers/round.o
- Finished src/main.o
- Finished src/parser/lexer.o
- Finished src/numbers/interval.o
- Finished src/backends/coq.o
- Finished src/parser/pattern.o
- Finished src/proofs/dichotomy.o
- Finished src/backends/latex.o
- Finished src/parser/ring.o
- Finished src/arithmetic/float.o
- Finished src/proofs/proof_graph.o
- Finished src/proofs/schemes.o
- Finished src/backends/d2.o
- Finished src/parser/parser.o
- Finished src/parser/ast.o
- Finished src/backends/holl.o
- Finished src/proofs/rewriting.o
- Finished src/proofs/basic_proof.o
- Finished src/backends/coq_common.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 packages conf-gmp.5, conf-mpfr.3 and conf-pkg-config.5 depend on the following system packages that are no longer installed: libgmp-dev libmpfr-dev pkg-config
  - conf-gmp.5: depends on libgmp-dev
  - conf-mpfr.3: depends on libmpfr-dev
  - conf-pkg-config.5: depends on pkg-config

=== STDERR ===

2026-06-24 11:03.43: OK: build gappa.1.6.0 (runc: 73.7s, disk: 11KB)
2026-06-24 11:03.43: Job succeeded