2026-07-10 03:02.55: New job: build frama-c.26.0 (4146b8529a4b)
2026-07-10 03:02.55: Waiting for resource in pool day11-builds
2026-07-10 03:54.10: Got resource from pool day11-builds
2026-07-10 03:54.10: [profile full] build frama-c.26.0
2026-07-10 03:54.10: build frama-c.26.0 (4146b8529a4b)
=== DEPENDENCIES (55 transitive) ===
  alt-ergo-free.2.4.3                                1b646d90e4c1
  base-bigarray.base                                 cb565f687a2d
  base-threads.base                                  44df48f3da5c
  base-unix.base                                     4103cdc1c2b0
  cairo2.0.6.5                                       a20218831762
  camlp-streams.5.0.1                                83a8f7f8290e
  camlzip.1.14                                       d506690635b5
  cmdliner.1.3.0                                     83dc6de32964
  conf-autoconf.0.2                                  884b92aa0e26
  conf-cairo.1                                       399a0691a886
  conf-gmp.5                                         28650a0c2a50
  conf-gtk3.18                                       044de8e47a4a
  conf-gtksourceview3.0+2                            e7c8c05ed433
  conf-pkg-config.5                                  f20b8fd18442
  conf-zlib.1                                        22029c4a9272
  cppo.1.8.0                                         71a10e5db499
  csexp.1.5.2                                        745ef4baab7d
  dune.3.23.1                                        155ce22ff74f
  dune-build-info.3.23.1                             8da2b4aee74d
  dune-configurator.3.23.1                           03dbb9ba125d
  dune-private-libs.3.23.1                           f67679795590
  dune-site.3.23.1                                   12ebcadcd800
  dyn.3.23.1                                         d3859aaf845e
  fs-io.3.23.1                                       5bab05c942ff
  lablgtk3.3.1.5                                     2332bcdec6e2
  lablgtk3-sourceview3.3.1.5                         7c370d273a94
  menhir.20260209                                    e7e4fc7a83cc
  menhirCST.20260209                                 13d792f3f5cb
  menhirGLR.20260209                                 d69077267d77
  menhirLib.20260209                                 09ae2d2b66a3
  menhirSdk.20260209                                 2893c58c0747
  num.1.6                                            f7d596310390
  ocaml.4.14.4                                       102dc3e5fa82
  ocaml-base-compiler.4.14.4                         d672c72d61b6
  ocaml-compiler-libs.v0.12.4                        b29bbef2abce
  ocaml-config.2                                     3617b67e52d8
  ocamlfind.1.9.8                                    d50114f584c6
  ocamlgraph.2.2.0                                   4a997ced6a31
  ocplib-simplex.0.4.1                               fd0b044cc301
  ordering.3.23.1                                    1e5a202885d2
  pp.2.0.0                                           f205539fd116
  ppx_derivers.1.2.1                                 168003fe9a6d
  ppx_deriving.6.1.2                                 cc4bb1b782d2
  ppx_deriving_yojson.3.10.0                         705cbe6ae235
  ppx_import.1.12.0                                  83a1d098e6fc
  ppxlib.0.38.0                                      1eb71c4efd89
  psmt2-frontend.0.4.0                               0d193351a9e5
  seq.base                                           e00b198c0f14
  sexplib0.v0.17.0                                   2bcf45a0edd5
  stdlib-shims.0.3.0                                 3dee6f1c04d4
  stdune.3.23.1                                      9d9604e00065
  top-closure.3.23.1                                 9bbcaa41557e
  why3.1.5.1                                         e5525265b09c
  yojson.2.0.2                                       07a875095c2e
  zarith.1.14                                        7898cf6c09d6
=== 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-07-10 03:57.48: FAILED: build frama-c.26.0
2026-07-10 03:57.48: Job failed: build failed: frama-c.26.0