2026-09-20 01:19.27: New job: build frama-c.26.1 (a9747d1926d9)
2026-09-20 01:19.27: Waiting for resource in pool day11-builds
2026-09-20 02:39.22: Got resource from pool day11-builds
2026-09-20 02:39.22: [profile full] build frama-c.26.1
2026-09-20 02:39.22: build frama-c.26.1 (a9747d1926d9)
=== DEPENDENCIES (55 transitive) ===
  alt-ergo-free.2.4.3                                96b13a337c73
  base-bigarray.base                                 38a7dee05d8e
  base-threads.base                                  ddcab511c589
  base-unix.base                                     742554e1dbc2
  cairo2.0.6.5                                       d06619b82bf9
  camlp-streams.5.0.1                                a32980e728d7
  camlzip.1.14                                       360fa2f48869
  cmdliner.1.3.0                                     239cf14ab2a9
  conf-autoconf.1                                    43fe4a407b7a
  conf-cairo.1                                       40881a5b1651
  conf-gmp.5                                         00570d20295f
  conf-gtk3.18                                       bf2c3b1b7a92
  conf-gtksourceview3.0+2                            3909cf1b292e
  conf-pkg-config.5                                  5bc8297bba82
  conf-zlib.1                                        87393a303e89
  cppo.1.8.0                                         ef2f21365f7d
  csexp.1.5.2                                        3c33680d063f
  dune.3.23.1                                        972c65a5e8c2
  dune-build-info.3.23.1                             5c61060d88f9
  dune-configurator.3.23.1                           761d1d86768e
  dune-private-libs.3.23.1                           7d4d2da7e8e0
  dune-site.3.23.1                                   9a65aa5cb5a0
  dyn.3.23.1                                         d31ce011d5c5
  fs-io.3.23.1                                       11b568110f5b
  lablgtk3.3.1.5                                     1cb68c28ac95
  lablgtk3-sourceview3.3.1.5                         82ad2c89a884
  menhir.20260209                                    9b79118f2bb2
  menhirCST.20260209                                 c6571ae79b4b
  menhirGLR.20260209                                 6aa366a5d723
  menhirLib.20260209                                 4f06b965cec5
  menhirSdk.20260209                                 fc2306d0cf33
  num.1.6                                            9b8d17e98111
  ocaml.4.14.4                                       0eceb429ac11
  ocaml-base-compiler.4.14.4                         4a21df12bcb6
  ocaml-compiler-libs.v0.12.4                        a2ae293060d7
  ocaml-config.2                                     58cec4e89336
  ocamlfind.1.9.8                                    7bca84f6ccc0
  ocamlgraph.2.2.0                                   52abd267c74b
  ocplib-simplex.0.4.1                               06664a424621
  ordering.3.23.1                                    c6c5698bb57f
  pp.2.0.0                                           ec004c7095d1
  ppx_derivers.1.2.1                                 f923a310d4ba
  ppx_deriving.6.2.0                                 6b4b58b91e26
  ppx_deriving_yojson.3.10.0                         7cf9be05d861
  ppx_import.1.12.0                                  ba64e51bcee8
  ppxlib.0.38.0                                      ecfbcb97abc4
  psmt2-frontend.0.4.0                               c1ea3a0163eb
  seq.base                                           5c9e32a94f22
  sexplib0.v0.17.0                                   967b2553cdac
  stdlib-shims.0.3.0                                 fc32534a58bb
  stdune.3.23.1                                      aa16f917a02f
  top-closure.3.23.1                                 f2cccda231de
  why3.1.5.1                                         b270165229ac
  yojson.2.0.2                                       294b84a2c5f2
  zarith.1.14                                        14fa3444722a
=== 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-09-20 02:43.53: FAILED: build frama-c.26.1
2026-09-20 02:43.53: Job failed: build failed: frama-c.26.1