2026-11-06 03:12.25: New job: build frama-c.26.1 (01d0cfc976dc)
2026-11-06 03:12.25: Waiting for resource in pool day11-builds
2026-11-06 04:54.33: Got resource from pool day11-builds
2026-11-06 04:54.33: [profile full] build frama-c.26.1
2026-11-06 04:54.33: build frama-c.26.1 (01d0cfc976dc)
=== DEPENDENCIES (55 transitive) ===
  alt-ergo-free.2.4.3                                04f6e7540177
  base-bigarray.base                                 d76c7b762798
  base-threads.base                                  e5afefc1e615
  base-unix.base                                     52b3a79a2336
  cairo2.0.6.5                                       bc1010fa9716
  camlp-streams.5.0.1                                a2b08a75e288
  camlzip.1.14                                       19f5ec08699a
  cmdliner.1.3.0                                     743625859b22
  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                                         e17ecb73dc4b
  csexp.1.5.2                                        2a0db0c8788b
  dune.3.23.1                                        402630adfb88
  dune-build-info.3.23.1                             7de0f318941d
  dune-configurator.3.23.1                           c9af248bbee6
  dune-private-libs.3.23.1                           187f672cfce0
  dune-site.3.23.1                                   a41fc0336326
  dyn.3.23.1                                         1b144c1ba64b
  fs-io.3.23.1                                       39a144873143
  lablgtk3.3.1.5                                     047475d9689d
  lablgtk3-sourceview3.3.1.5                         445629aca34b
  menhir.20260209                                    7739cff2d56e
  menhirCST.20260209                                 50aa908089aa
  menhirGLR.20260209                                 922697e0f7eb
  menhirLib.20260209                                 462489a6366f
  menhirSdk.20260209                                 07aec6002ecb
  num.1.6                                            b8b26e1fb8ca
  ocaml.4.14.4                                       9632744edfc7
  ocaml-base-compiler.4.14.4                         3720ffe329be
  ocaml-compiler-libs.v0.12.4                        8ca92009ae99
  ocaml-config.2                                     c640a38cb523
  ocamlfind.1.9.8                                    c39c9251a76b
  ocamlgraph.2.2.0                                   b814203d2409
  ocplib-simplex.0.4.1                               6f4f5f377391
  ordering.3.23.1                                    d717f5fe5553
  pp.2.0.0                                           4d5c217c50e2
  ppx_derivers.1.2.1                                 b8418c5ae24d
  ppx_deriving.6.2.0                                 562ad6713aca
  ppx_deriving_yojson.3.10.0                         1cf3ec29fef4
  ppx_import.1.12.0                                  047d0d57a892
  ppxlib.0.39.0                                      7e62832095e3
  psmt2-frontend.0.4.0                               275183a45ff0
  seq.base                                           fd4039440db3
  sexplib0.v0.17.0                                   8961b16fbaa0
  stdlib-shims.0.3.0                                 663936d61930
  stdune.3.23.1                                      f7aa234c2560
  top-closure.3.23.1                                 a5510c589186
  why3.1.5.1                                         f97b48c61dde
  yojson.2.0.2                                       b1007c6aefc9
  zarith.1.14                                        971d0c94ccfa
=== 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-11-06 04:57.27: FAILED: build frama-c.26.1
2026-11-06 04:57.27: Job failed: build failed: frama-c.26.1