ocaml-docs-ci

Build:
2026-06-16 11:30.48: New job: build gappa.1.4.0 (242a28b57200)
2026-06-16 11:30.48: Waiting for resource in pool day11-builds
2026-06-16 11:31.06: Got resource from pool day11-builds
2026-06-16 11:31.06: [profile full] build gappa.1.4.0
2026-06-16 11:31.10: build gappa.1.4.0 (242a28b57200)
=== DEPENDENCIES (9 transitive) ===
  conf-autoconf.0.2                                  b3cd190cf0b5
  conf-automake.1                                    f130f662f44b
  conf-bison.2                                       1e97d2b37b5d
  conf-boost.1                                       81564cfffe81
  conf-flex.2                                        3d31ec4fccd4
  conf-g++.1.0                                       3a490f76fc1d
  conf-gmp.5                                         61e3c79e0ddf
  conf-mpfr.3                                        23aceee3b9cc
  conf-pkg-config.5                                  64c6b37d622b
=== STDOUT ===
Processing: [default: loading data]
[gappa.1.4.0: dl]
[gappa.1.4.0: extract]
[gappa.1.4.0/0001-Added-configure-for-c-11.patch: dl]
-> retrieved gappa.1.4.0  (https://opam.ocaml.org/cache)
[gappa: patch] applying 0001-Added-configure-for-c-11.patch
[gappa: autoreconf]
+ /usr/bin/autoreconf  (CWD=/home/opam/.opam/default/.opam-switch/build/gappa.1.4.0)
- 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: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
- autoheader: warning: autoconf input should be named 'configure.ac', not 'configure.in'
[gappa: touch stamp-config_h.in]
+ /usr/bin/touch "stamp-config_h.in" (CWD=/home/opam/.opam/default/.opam-switch/build/gappa.1.4.0)
[gappa: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/gappa.1.4.0/./configure "--prefix=/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/gappa.1.4.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... 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: /tmp/ccyauijC.o: in function `main':
- remake.cpp:(.text.startup+0xbab): 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.4.0/./remake "--jobs=39" (CWD=/home/opam/.opam/default/.opam-switch/build/gappa.1.4.0)
- 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/parameters.o
- Finished src/backends/backend.o
- Finished src/parser/ring.o
- Finished src/proofs/updater.o
- Finished src/arithmetic/homogen.o
- Finished src/numbers/io.o
- Finished src/backends/coq_lambda.o
- Finished src/parser/lexer.o
- Finished src/numbers/round.o
- Finished src/proofs/property.o
- Finished src/main.o
- Finished src/arithmetic/relative.o
- Finished src/parser/ast.o
- Finished src/parser/parser_aux.o
- Finished src/backends/holl.o
- Finished src/numbers/interval.o
- Finished src/proofs/dichotomy.o
- Finished src/backends/coq.o
- Finished src/arithmetic/fixed.o
- Finished src/backends/latex.o
- Finished src/parser/pattern.o
- Finished src/arithmetic/float.o
- Finished src/parser/parser.o
- Finished src/proofs/schemes.o
- Finished src/proofs/proof_graph.o
- Finished src/proofs/basic_proof.o
- Finished src/backends/coq_common.o
- Finished src/proofs/rewriting.o
- Building src/gappa
- Finished src/gappa
- Building all
- Finished all
-> compiled  gappa.1.4.0
[gappa: ./remake install]
+ /home/opam/.opam/default/.opam-switch/build/gappa.1.4.0/./remake "-d" "install" (CWD=/home/opam/.opam/default/.opam-switch/build/gappa.1.4.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.4.0
[WARNING] Opam packages conf-bison.2, conf-boost.1, conf-flex.2, conf-gmp.5, conf-mpfr.3 and conf-pkg-config.5 depend on the following system packages that are no longer installed: bison flex libboost-dev libgmp-dev libmpfr-dev pkg-config
  - conf-bison.2: depends on bison
  - conf-boost.1: depends on libboost-dev
  - conf-flex.2: depends on flex
  - 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-16 11:33.34: OK: build gappa.1.4.0 (runc: 78.2s, disk: 13KB)
2026-06-16 11:33.34: Job succeeded