2026-11-07 23:46.30: New job: build frama-c.26.0~beta (7301eb57c896)
2026-11-07 23:46.30: Waiting for resource in pool day11-builds
2026-11-08 00:04.44: Got resource from pool day11-builds
2026-11-08 00:04.44: [profile full] build frama-c.26.0~beta
2026-11-08 00:04.44: build frama-c.26.0~beta (7301eb57c896)
=== DEPENDENCIES (55 transitive) ===
  alt-ergo-free.2.4.3                                5bc468e5b064
  base-bigarray.base                                 d76c7b762798
  base-threads.base                                  e5afefc1e615
  base-unix.base                                     52b3a79a2336
  cairo2.0.6.5                                       91b4183d9c5e
  camlp-streams.5.0.1                                546f08268efe
  camlzip.1.14                                       1cc53e459f69
  cmdliner.1.3.0                                     577406ba053a
  conf-autoconf.1                                    3137d14eaffd
  conf-cairo.1                                       5f6a36c72b7b
  conf-gmp.5                                         5fdec896ddcc
  conf-gtk3.18                                       d6b4b69b6e2b
  conf-gtksourceview3.0+2                            0043aa55383d
  conf-pkg-config.5                                  918c1ea9acfc
  conf-zlib.1                                        5f1d2d2856e8
  cppo.1.8.0                                         ffdb2c6e67e0
  csexp.1.5.2                                        fa4af6f81c30
  dune.3.23.1                                        c0237da0eb2e
  dune-build-info.3.23.1                             37a819a03a1d
  dune-configurator.3.23.1                           58e41f18bd52
  dune-private-libs.3.23.1                           5de951b4a7f9
  dune-site.3.23.1                                   ee2d29908187
  dyn.3.23.1                                         5cfbed929095
  fs-io.3.23.1                                       9e9385b7f83a
  lablgtk3.3.1.5                                     94e94b984f83
  lablgtk3-sourceview3.3.1.5                         67d7831ab9c3
  menhir.20260209                                    d3444ccaa004
  menhirCST.20260209                                 af15e36899c1
  menhirGLR.20260209                                 6bcb31286c29
  menhirLib.20260209                                 06ecfb471e01
  menhirSdk.20260209                                 a7ea82b1de35
  num.1.6                                            f10943c026fa
  ocaml.4.14.5                                       59c49aa9a147
  ocaml-base-compiler.4.14.5                         06eff73c29ec
  ocaml-compiler-libs.v0.12.4                        9c4216359eaf
  ocaml-config.2                                     69d9a96fd308
  ocamlfind.1.9.8                                    d07e0f862372
  ocamlgraph.2.2.0                                   68a3a444ec5f
  ocplib-simplex.0.4.1                               4b29f3402fce
  ordering.3.23.1                                    3346a755bf20
  pp.2.0.0                                           73c6aa01f7a4
  ppx_derivers.1.2.1                                 28ea9445a2c0
  ppx_deriving.6.2.0                                 13996cc5709c
  ppx_deriving_yojson.3.10.0                         ed88d246d972
  ppx_import.1.12.0                                  ce55d1852cf6
  ppxlib.0.39.0                                      b50628a1c0af
  psmt2-frontend.0.4.0                               cfdd802b1d57
  seq.base                                           ab5cbc7d7f1c
  sexplib0.v0.17.0                                   ddce9ca7769c
  stdlib-shims.0.3.0                                 8c428216bbf2
  stdune.3.23.1                                      8b0328213e41
  top-closure.3.23.1                                 7241c507e2cb
  why3.1.5.1                                         e68ecc46fbc0
  yojson.2.0.2                                       fc20b4ec87c4
  zarith.1.14                                        5ad414a5a9d0
=== 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-11-08 00:06.10: FAILED: build frama-c.26.0~beta
2026-11-08 00:06.10: Job failed: build failed: frama-c.26.0~beta