2026-07-14 22:29.32: New job: build frama-c.26.1 (a79e9ddfb907)
2026-07-14 22:29.32: Waiting for resource in pool day11-builds
2026-07-14 23:13.48: Got resource from pool day11-builds
2026-07-14 23:13.48: [profile full] build frama-c.26.1
2026-07-14 23:13.48: build frama-c.26.1 (a79e9ddfb907)
=== DEPENDENCIES (55 transitive) ===
  alt-ergo-free.2.4.3                                3a3b7c8ead4d
  base-bigarray.base                                 e774a4d8d0a0
  base-threads.base                                  afe16a8e71c3
  base-unix.base                                     73c0a5fdd34a
  cairo2.0.6.5                                       1a862e2444fa
  camlp-streams.5.0.1                                3f51e477e845
  camlzip.1.14                                       f7497f056ee8
  cmdliner.1.3.0                                     37f5aa3508a5
  conf-autoconf.0.2                                  c64eba8be016
  conf-cairo.1                                       b751034c3f7a
  conf-gmp.5                                         be8168159001
  conf-gtk3.18                                       00c670ac1168
  conf-gtksourceview3.0+2                            4ca52a192663
  conf-pkg-config.5                                  2c611009363a
  conf-zlib.1                                        9b96a8154eb2
  cppo.1.8.0                                         8ad47af14619
  csexp.1.5.2                                        c581a6f6d516
  dune.3.23.1                                        81509d6bccc2
  dune-build-info.3.23.1                             5d6b3e027346
  dune-configurator.3.23.1                           145e9c4d252f
  dune-private-libs.3.23.1                           67f8a7f7b54a
  dune-site.3.23.1                                   aca77d72bbf1
  dyn.3.23.1                                         2a41fcef8d63
  fs-io.3.23.1                                       729436500883
  lablgtk3.3.1.5                                     3db9dccf39d6
  lablgtk3-sourceview3.3.1.5                         99a5ce03de98
  menhir.20260209                                    5702200dc770
  menhirCST.20260209                                 632fa0e413ca
  menhirGLR.20260209                                 692502ceef4d
  menhirLib.20260209                                 ea6ba9371698
  menhirSdk.20260209                                 6757996622e4
  num.1.6                                            e6d7a9f0419a
  ocaml.4.14.4                                       ff640eef2ca4
  ocaml-base-compiler.4.14.4                         0ab775b44d12
  ocaml-compiler-libs.v0.12.4                        322bea3f90ed
  ocaml-config.2                                     3a0479a5d208
  ocamlfind.1.9.8                                    7160dd70cf9c
  ocamlgraph.2.2.0                                   5d4213a5b9aa
  ocplib-simplex.0.4.1                               76e28df6a28b
  ordering.3.23.1                                    82504947cea7
  pp.2.0.0                                           6da1413c1cee
  ppx_derivers.1.2.1                                 115d19b55be3
  ppx_deriving.6.1.2                                 8a8d30d63571
  ppx_deriving_yojson.3.10.0                         5b12c87f273f
  ppx_import.1.12.0                                  8b4a92609eb6
  ppxlib.0.38.0                                      f3159f5cbc40
  psmt2-frontend.0.4.0                               720c01ab4c8b
  seq.base                                           52743ac83b78
  sexplib0.v0.17.0                                   b8ceeba99a37
  stdlib-shims.0.3.0                                 c16a875c77cf
  stdune.3.23.1                                      1e3d7e4972a8
  top-closure.3.23.1                                 c6944edeba3a
  why3.1.5.1                                         1f6c713dc4f7
  yojson.2.0.2                                       daae1947f4ed
  zarith.1.14                                        fbbb9e726a37
=== 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-07-14 23:15.53: FAILED: build frama-c.26.1
2026-07-14 23:15.53: Job failed: build failed: frama-c.26.1