2026-08-25 22:38.58: New job: build frama-c.26.0~beta (e8896e1fa88b)
2026-08-25 22:38.58: Waiting for resource in pool day11-builds
2026-08-25 23:39.38: Got resource from pool day11-builds
2026-08-25 23:39.38: [profile full] build frama-c.26.0~beta
2026-08-25 23:39.38: build frama-c.26.0~beta (e8896e1fa88b)
=== DEPENDENCIES (55 transitive) ===
  alt-ergo-free.2.4.3                                02f150976ea6
  base-bigarray.base                                 31ac6860ef52
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  cairo2.0.6.5                                       7b1b6da16db9
  camlp-streams.5.0.1                                9517edcc2643
  camlzip.1.14                                       a581e4e5e5ff
  cmdliner.1.3.0                                     50421b7f7592
  conf-autoconf.0.2                                  ee863a561079
  conf-cairo.1                                       9e32499642c2
  conf-gmp.5                                         eac5259e412f
  conf-gtk3.18                                       29bc2ce5fb33
  conf-gtksourceview3.0+2                            89f7273ce96d
  conf-pkg-config.5                                  74f50f3cfe72
  conf-zlib.1                                        26591fa9352c
  cppo.1.8.0                                         ef499cdaf201
  csexp.1.5.2                                        3520bcf70246
  dune.3.23.1                                        b3dc676669f4
  dune-build-info.3.23.1                             41af044857a6
  dune-configurator.3.23.1                           6e9ee12329f0
  dune-private-libs.3.23.1                           1b01d0c101e4
  dune-site.3.23.1                                   f998b4b255b9
  dyn.3.23.1                                         5e1a01ab095c
  fs-io.3.23.1                                       15e4a8856178
  lablgtk3.3.1.5                                     94cc5651b130
  lablgtk3-sourceview3.3.1.5                         78b011ac5aa8
  menhir.20260209                                    76831c1ef3ed
  menhirCST.20260209                                 2d7bd134092c
  menhirGLR.20260209                                 31fe93637102
  menhirLib.20260209                                 49ac8efa4ea6
  menhirSdk.20260209                                 0f78f4d4cf55
  num.1.6                                            fe036226102b
  ocaml.4.14.4                                       c7d6265b51fe
  ocaml-base-compiler.4.14.4                         7a409b6ffbef
  ocaml-compiler-libs.v0.12.4                        338f322aef6d
  ocaml-config.2                                     85edea6ac168
  ocamlfind.1.9.8                                    3cae95bed0a0
  ocamlgraph.2.2.0                                   5203c9871714
  ocplib-simplex.0.4.1                               42481659d2ee
  ordering.3.23.1                                    31d68c4c1499
  pp.2.0.0                                           ec9dd86647cd
  ppx_derivers.1.2.1                                 bebf4fd68a5a
  ppx_deriving.6.1.3                                 68c586d23afc
  ppx_deriving_yojson.3.10.0                         7255eafcccb8
  ppx_import.1.12.0                                  e055a1f09993
  ppxlib.0.38.0                                      fe27ac79034e
  psmt2-frontend.0.4.0                               214349194bd0
  seq.base                                           1957e27deb9b
  sexplib0.v0.17.0                                   eb5122ddaba3
  stdlib-shims.0.3.0                                 d9d85027c221
  stdune.3.23.1                                      93ab9c2eb9a7
  top-closure.3.23.1                                 295c9c5ecf88
  why3.1.5.1                                         c94c9b18c9f9
  yojson.2.0.2                                       7af46f657c25
  zarith.1.14                                        fc3f7a60e6b3
=== STDOUT ===
Processing: [default: loading data]
[frama-c.26.0~beta: dl]
[frama-c.26.0~beta: extract]
-> retrieved frama-c.26.0~beta  (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~beta)
-> compiled  frama-c.26.0~beta
[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~beta)
- 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~beta)
- Removing Ivette
install failed... 

=== STDERR ===

2026-08-25 23:41.58: FAILED: build frama-c.26.0~beta
2026-08-25 23:41.58: Job failed: build failed: frama-c.26.0~beta