2026-08-05 22:58.28: New job: build frama-c.26.0 (263f8d64435c)
2026-08-05 22:58.28: Waiting for resource in pool day11-builds
2026-08-05 23:50.14: Got resource from pool day11-builds
2026-08-05 23:50.14: [profile full] build frama-c.26.0
2026-08-05 23:50.14: build frama-c.26.0 (263f8d64435c)
=== DEPENDENCIES (55 transitive) ===
  alt-ergo-free.2.4.3                                2702d044a151
  base-bigarray.base                                 d873df9358cb
  base-threads.base                                  4e0218232a65
  base-unix.base                                     2d2c0bf34146
  cairo2.0.6.5                                       35b64d0c6ea2
  camlp-streams.5.0.1                                958be4d72908
  camlzip.1.14                                       4eb6a68b3b48
  cmdliner.1.3.0                                     ab9eee3da2e5
  conf-autoconf.0.2                                  3f14bec6c2fc
  conf-cairo.1                                       c6f04ae1ee35
  conf-gmp.5                                         a6b4a9039f5d
  conf-gtk3.18                                       0180148ab611
  conf-gtksourceview3.0+2                            6f8f2be3e2c3
  conf-pkg-config.5                                  4a77ab8734e0
  conf-zlib.1                                        1afa441829d8
  cppo.1.8.0                                         b8477b137968
  csexp.1.5.2                                        2888cd6f08a9
  dune.3.23.1                                        04d668706535
  dune-build-info.3.23.1                             a3c2ff60d392
  dune-configurator.3.23.1                           e2ee9d9cf390
  dune-private-libs.3.23.1                           0d527c48b7ac
  dune-site.3.23.1                                   4c7c44e25ef5
  dyn.3.23.1                                         dfa7994464f5
  fs-io.3.23.1                                       2a4e81fde7fb
  lablgtk3.3.1.5                                     ac9429aa6b9e
  lablgtk3-sourceview3.3.1.5                         a8d9a0febc7b
  menhir.20260209                                    36110e20231e
  menhirCST.20260209                                 62261f39e2fc
  menhirGLR.20260209                                 fb5acde67d30
  menhirLib.20260209                                 aae00944130f
  menhirSdk.20260209                                 eb010b668af2
  num.1.6                                            84b764fc3b6c
  ocaml.4.14.4                                       7d294a5c2239
  ocaml-base-compiler.4.14.4                         b68ee36ba77d
  ocaml-compiler-libs.v0.12.4                        29ecf9da1b19
  ocaml-config.2                                     ed577e2d7ebe
  ocamlfind.1.9.8                                    5b22f6b9bc09
  ocamlgraph.2.2.0                                   0e1a9b862d68
  ocplib-simplex.0.4.1                               f35b1fb8eec1
  ordering.3.23.1                                    1358bb4ecc60
  pp.2.0.0                                           cb8fc2a686f7
  ppx_derivers.1.2.1                                 8a2e6f53c826
  ppx_deriving.6.1.3                                 e65bd2b70982
  ppx_deriving_yojson.3.10.0                         80d88dc5df42
  ppx_import.1.12.0                                  b157e6291a12
  ppxlib.0.38.0                                      929b4d0f02f4
  psmt2-frontend.0.4.0                               5d4b1a572492
  seq.base                                           9ac59e6913c9
  sexplib0.v0.17.0                                   e94de8513096
  stdlib-shims.0.3.0                                 9b12b9034c41
  stdune.3.23.1                                      330c9f72acb5
  top-closure.3.23.1                                 55d71ab42e75
  why3.1.5.1                                         ef082f644876
  yojson.2.0.2                                       726c32d0343b
  zarith.1.14                                        ea2d5e6cc8bf
=== STDOUT ===
Processing: [default: loading data]
[frama-c.26.0: dl]
[frama-c.26.0: extract]
-> retrieved frama-c.26.0  (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)
-> compiled  frama-c.26.0
[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)
- 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)
- Removing Ivette
install failed... 

=== STDERR ===

2026-08-05 23:52.05: FAILED: build frama-c.26.0
2026-08-05 23:52.05: Job failed: build failed: frama-c.26.0