2026-10-21 23:33.25: New job: build frama-c.26.0~beta (938846e74ae3)
2026-10-21 23:33.25: Waiting for resource in pool day11-builds
2026-10-22 02:06.44: Got resource from pool day11-builds
2026-10-22 02:06.44: [profile full] build frama-c.26.0~beta
2026-10-22 02:06.44: build frama-c.26.0~beta (938846e74ae3)
=== DEPENDENCIES (55 transitive) ===
  alt-ergo-free.2.4.3                                cc20b2e48435
  base-bigarray.base                                 af90e15e33c9
  base-threads.base                                  ca51096a9c5b
  base-unix.base                                     88a83b7ed333
  cairo2.0.6.5                                       914855f851e2
  camlp-streams.5.0.1                                a4083cfe72f7
  camlzip.1.14                                       7f2b13abb60c
  cmdliner.1.3.0                                     d087df1229ce
  conf-autoconf.1                                    5ab3ab11f357
  conf-cairo.1                                       86f959ec30fa
  conf-gmp.5                                         d0211a82c71f
  conf-gtk3.18                                       af2b3a6823e6
  conf-gtksourceview3.0+2                            198996bbebc5
  conf-pkg-config.5                                  26be2768a637
  conf-zlib.1                                        1bee7a3e7aa2
  cppo.1.8.0                                         e2e6a668fdd4
  csexp.1.5.2                                        402ebfc32bc2
  dune.3.23.1                                        7b01aa278608
  dune-build-info.3.23.1                             f182efabb850
  dune-configurator.3.23.1                           2f7910b29a16
  dune-private-libs.3.23.1                           71a687846c68
  dune-site.3.23.1                                   c4d84170f4f2
  dyn.3.23.1                                         89e797630b7b
  fs-io.3.23.1                                       c3949c619a2d
  lablgtk3.3.1.5                                     d7f0e720c3de
  lablgtk3-sourceview3.3.1.5                         6b2e17b64460
  menhir.20260209                                    c4197993ebd9
  menhirCST.20260209                                 de09d22d97da
  menhirGLR.20260209                                 0d6fb037727a
  menhirLib.20260209                                 097e46890f69
  menhirSdk.20260209                                 a5c7196b5013
  num.1.6                                            f5e51623b177
  ocaml.4.14.4                                       2cc549d6f8d5
  ocaml-base-compiler.4.14.4                         ecbd009faad9
  ocaml-compiler-libs.v0.12.4                        d94f20f1aa3d
  ocaml-config.2                                     c0047cbf7f6a
  ocamlfind.1.9.8                                    775658c4e58c
  ocamlgraph.2.2.0                                   a7a35cb038f5
  ocplib-simplex.0.4.1                               504968191497
  ordering.3.23.1                                    9c4615546667
  pp.2.0.0                                           aa85f69d35d9
  ppx_derivers.1.2.1                                 4ef63370a3b1
  ppx_deriving.6.2.0                                 05932c8c84b2
  ppx_deriving_yojson.3.10.0                         cbb3efee677a
  ppx_import.1.12.0                                  bf65b0a73e43
  ppxlib.0.39.0                                      c5ef06dd1d8c
  psmt2-frontend.0.4.0                               b9c108377233
  seq.base                                           da83aa6fcae2
  sexplib0.v0.17.0                                   7f3cf98e0b9d
  stdlib-shims.0.3.0                                 c9f37227a0e8
  stdune.3.23.1                                      6f26242fe836
  top-closure.3.23.1                                 ccf4f8162a67
  why3.1.5.1                                         424f08ad8f28
  yojson.2.0.2                                       33f8e3b68d10
  zarith.1.14                                        3789491f3c85
=== 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-22 02:09.16: FAILED: build frama-c.26.0~beta
2026-10-22 02:09.16: Job failed: build failed: frama-c.26.0~beta