2026-10-29 08:52.42: New job: build frama-c.26.0~beta (c4d7f605099b)
2026-10-29 08:52.42: Waiting for resource in pool day11-builds
2026-10-29 11:27.10: Got resource from pool day11-builds
2026-10-29 11:27.10: [profile full] build frama-c.26.0~beta
2026-10-29 11:27.10: build frama-c.26.0~beta (c4d7f605099b)
=== DEPENDENCIES (55 transitive) ===
  alt-ergo-free.2.4.3                                f530595d7a88
  base-bigarray.base                                 1d3173eae0cb
  base-threads.base                                  f062ded5f7fe
  base-unix.base                                     200a1b731b4b
  cairo2.0.6.5                                       3d44e414dd18
  camlp-streams.5.0.1                                ec5ff7288e32
  camlzip.1.14                                       bc8b96509101
  cmdliner.1.3.0                                     a899f55bf5b7
  conf-autoconf.1                                    e81fbf756306
  conf-cairo.1                                       1847985155e2
  conf-gmp.5                                         8d91c6058444
  conf-gtk3.18                                       25fb5e771aee
  conf-gtksourceview3.0+2                            8f0acb8063d4
  conf-pkg-config.5                                  e30d9fba6ce2
  conf-zlib.1                                        1bfdd7a5c3d7
  cppo.1.8.0                                         8bc0cd6e0907
  csexp.1.5.2                                        11a47ac72b41
  dune.3.23.1                                        f86d6a69c750
  dune-build-info.3.23.1                             cba57ee6e611
  dune-configurator.3.23.1                           2297a1814aa8
  dune-private-libs.3.23.1                           e383282cd492
  dune-site.3.23.1                                   a8a4b82ab599
  dyn.3.23.1                                         2b4c49a08646
  fs-io.3.23.1                                       7c17ccdff67b
  lablgtk3.3.1.5                                     a536f96ef311
  lablgtk3-sourceview3.3.1.5                         ee6b3bedf6ad
  menhir.20260209                                    c9aa73e7e3ea
  menhirCST.20260209                                 feaf06d55932
  menhirGLR.20260209                                 2ae51a131a97
  menhirLib.20260209                                 d27df5cd6bb1
  menhirSdk.20260209                                 f8d879c82c42
  num.1.6                                            afb6f9bd507d
  ocaml.4.14.4                                       8e019940f2f8
  ocaml-base-compiler.4.14.4                         7d9ceb62053a
  ocaml-compiler-libs.v0.12.4                        72672493db0f
  ocaml-config.2                                     e2ab1053e8c9
  ocamlfind.1.9.8                                    0b2e2c6565be
  ocamlgraph.2.2.0                                   9e3ba624d84f
  ocplib-simplex.0.4.1                               825aebf88fe7
  ordering.3.23.1                                    dc47fed1549b
  pp.2.0.0                                           c604387b2d70
  ppx_derivers.1.2.1                                 8396460bf9a0
  ppx_deriving.6.2.0                                 718533c860ca
  ppx_deriving_yojson.3.10.0                         649bb97f4d19
  ppx_import.1.12.0                                  dc25a51c5801
  ppxlib.0.39.0                                      184c8464745b
  psmt2-frontend.0.4.0                               f4ebc9c5126f
  seq.base                                           3c235581632f
  sexplib0.v0.17.0                                   b31191b5c194
  stdlib-shims.0.3.0                                 52a65d84895e
  stdune.3.23.1                                      d49a2ee7563e
  top-closure.3.23.1                                 d6912534f85c
  why3.1.5.1                                         ff8f6f8f8fcc
  yojson.2.0.2                                       3e424e96ee8f
  zarith.1.14                                        35274bbb71fd
=== STDOUT ===
Processing: [default: loading data]
[frama-c.26.0~beta: dl]
[frama-c.26.0~beta: extract]
-> retrieved frama-c.26.0~beta  (https://opam.ocaml.org/cache)
[frama-c: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-j39" "-p" "frama-c" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c.26.0~beta)
-> compiled  frama-c.26.0~beta
[frama-c: make install]
+ /usr/bin/make "PREFIX=/home/opam/.opam/default" "MANDIR=" "install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c.26.0~beta)
- Installing Frama-C to current Opam switch
-   (copying and relocating files...)
- make: *** [share/Makefile.installation:62: install] Error 1
[ERROR] The installation of frama-c failed at "make PREFIX=/home/opam/.opam/default MANDIR= install".
[frama-c: make uninstall]
+ /usr/bin/make "PREFIX=/home/opam/.opam/default" "-f" "ivette/Makefile.installation" "uninstall" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c.26.0~beta)
- Removing Ivette
install failed... 

=== STDERR ===

2026-10-29 11:32.12: FAILED: build frama-c.26.0~beta
2026-10-29 11:32.12: Job failed: build failed: frama-c.26.0~beta