2026-10-08 19:11.15: New job: build frama-c.26.1 (9c0395d501d3)
2026-10-08 19:11.15: Waiting for resource in pool day11-builds
2026-10-08 21:46.39: Got resource from pool day11-builds
2026-10-08 21:46.39: [profile full] build frama-c.26.1
2026-10-08 21:46.40: build frama-c.26.1 (9c0395d501d3)
=== DEPENDENCIES (55 transitive) ===
  alt-ergo-free.2.4.3                                1f7e054e211a
  base-bigarray.base                                 dce7dd6b7cf9
  base-threads.base                                  464810371b96
  base-unix.base                                     4596d20d2cf7
  cairo2.0.6.5                                       f949b41768c2
  camlp-streams.5.0.1                                ee7c1e87ba4d
  camlzip.1.14                                       d4e4aab6f1ca
  cmdliner.1.3.0                                     8c281666b167
  conf-autoconf.1                                    8ee1e3913008
  conf-cairo.1                                       4ac6c3832bbf
  conf-gmp.5                                         c2adbec9a470
  conf-gtk3.18                                       6eedff6ed0e0
  conf-gtksourceview3.0+2                            89c25806d439
  conf-pkg-config.5                                  e39f7209b38f
  conf-zlib.1                                        ef4bfe5217f4
  cppo.1.8.0                                         34cdcffcf230
  csexp.1.5.2                                        cd6fbdea7f56
  dune.3.23.1                                        cef292cc3276
  dune-build-info.3.23.1                             b3cb705eb029
  dune-configurator.3.23.1                           117e33568277
  dune-private-libs.3.23.1                           f008b5b6265e
  dune-site.3.23.1                                   a3260979d67d
  dyn.3.23.1                                         ef2dd79d393b
  fs-io.3.23.1                                       afa5de39ddac
  lablgtk3.3.1.5                                     63ff831be203
  lablgtk3-sourceview3.3.1.5                         7bf5f8a45428
  menhir.20260209                                    af57ac212f45
  menhirCST.20260209                                 971434f71f2b
  menhirGLR.20260209                                 e6e3ea201dee
  menhirLib.20260209                                 55ab988b100b
  menhirSdk.20260209                                 d09d44bba95f
  num.1.6                                            2b3f826c1e67
  ocaml.4.14.4                                       6cafabaae5fc
  ocaml-base-compiler.4.14.4                         65936044bfbc
  ocaml-compiler-libs.v0.12.4                        48f16464a52c
  ocaml-config.2                                     325020f5e1be
  ocamlfind.1.9.8                                    6e2563fa3f01
  ocamlgraph.2.2.0                                   444bff8f0409
  ocplib-simplex.0.4.1                               b6d2103885f1
  ordering.3.23.1                                    4779c8abb099
  pp.2.0.0                                           d1828f36915c
  ppx_derivers.1.2.1                                 3adf30ec0241
  ppx_deriving.6.2.0                                 496fae684cbb
  ppx_deriving_yojson.3.10.0                         b6cc96de26e4
  ppx_import.1.12.0                                  378123d1fefd
  ppxlib.0.39.0                                      9d3faea444de
  psmt2-frontend.0.4.0                               5be046ec884d
  seq.base                                           2fc662fbeebc
  sexplib0.v0.17.0                                   46c971f6ecdd
  stdlib-shims.0.3.0                                 f84bb25a4a9c
  stdune.3.23.1                                      ceda7dc371dc
  top-closure.3.23.1                                 e332464fd03a
  why3.1.5.1                                         29cb86e4d110
  yojson.2.0.2                                       214fee322a42
  zarith.1.14                                        1e9b23535aeb
=== STDOUT ===
Processing: [default: loading data]
[frama-c.26.1: dl]
[frama-c.26.1: extract]
-> retrieved frama-c.26.1  (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.1)
-> compiled  frama-c.26.1
[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.1)
- Installing Frama-C to current Opam switch
-   (copying and relocating files...)
- make: *** [share/Makefile.installation:65: 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.1)
- Removing Ivette
install failed... 

=== STDERR ===

2026-10-08 22:18.09: FAILED: build frama-c.26.1
2026-10-08 22:18.09: Job failed: build failed: frama-c.26.1