Build:
- 0
2026-08-05 23:53.16: New job: build frama-c.27.0 (de1a0d96000d) 2026-08-05 23:53.16: Waiting for resource in pool day11-builds 2026-08-06 00:44.34: Got resource from pool day11-builds 2026-08-06 00:44.34: [profile full] build frama-c.27.0 2026-08-06 00:44.34: build frama-c.27.0 (de1a0d96000d) === DEPENDENCIES (67 transitive) === alt-ergo-free.2.4.3 d7ae46f35807 astring.0.8.5 df48ffd0d032 base-bigarray.base d873df9358cb base-threads.base 4e0218232a65 base-unix.base 2d2c0bf34146 bos.0.3.0 9d891ddf4ec1 cairo2.0.6.5 1bdc083c9069 camlp-streams.5.0.1 d7236035462e camlzip.1.14 a672f2961ff2 cmdliner.1.3.0 b4c5ee21a4db 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 2ee2ef68dd20 csexp.1.5.2 274e86b072bb ctypes.0.24.0 61cbf8fcb5d8 dune.3.23.1 3144c0d3d5b7 dune-build-info.3.23.1 c27fd81c1453 dune-configurator.3.23.1 ddcf137906fc dune-private-libs.3.23.1 64ac691edb36 dune-site.3.23.1 4ffcb5709774 dyn.3.23.1 c36ecc83fa71 fmt.0.11.0 645cb96807ff fpath.0.7.3 f00425f7697e fs-io.3.23.1 46cac4b23bcc integers.0.8.0 fbca54197073 lablgtk3.3.1.5 d4154bc05595 lablgtk3-sourceview3.3.1.5 5397e14d2d89 logs.0.10.0 1841c65cbb89 menhir.20260209 553dada548e8 menhirCST.20260209 ac231079fdc3 menhirGLR.20260209 582d1186d3a0 menhirLib.20260209 5d9d454335ae menhirSdk.20260209 0da6645ec98b num.1.6 a9ef1853918c ocaml.5.2.1 83e8d7e0aa04 ocaml-base-compiler.5.2.1 2afc1e1e1f0e ocaml-compiler-libs.v0.17.0 081162e4725a ocaml-config.3 074320f4e07c ocamlbuild.0.16.1 e53ebf5cda7c ocamlfind.1.9.8 521c5a88619b ocamlgraph.2.2.0 441086848eed ocplib-simplex.0.4.1 165a38417257 ordering.3.23.1 968473934beb pp.2.0.0 6da182d70534 ppx_derivers.1.2.1 0f1e1514f532 ppx_deriving.6.1.3 01e835a90213 ppx_deriving_yaml.0.4.1 380a9d69df05 ppx_deriving_yojson.3.10.0 f3fd186dca4c ppx_import.1.12.0 9d5f7420b20b ppxlib.0.38.0 6b7e5b5fbb9c psmt2-frontend.0.4.0 370b69fa56ae rresult.0.7.0 ee9bdee8146d seq.base 89b793d1b471 sexplib0.v0.17.0 5b44b5842bf8 stdlib-shims.0.3.0 0efaa74e9904 stdune.3.23.1 209311b8aaef top-closure.3.23.1 92d279a50ed8 topkg.1.1.1 ee320b4f0bcc why3.1.6.0 c7e537672143 yaml.3.2.0 b0e9587354ad yojson.3.0.0 0529c5eaa908 zarith.1.14 bb716904f08c === STDOUT === Processing: [default: loading data] [frama-c.27.0: dl] [frama-c.27.0: extract] -> retrieved frama-c.27.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.27.0) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -9 -g -ppx '.ppx/e9e13696c34b3ab3095e50a7d8bfcf4c/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -bin-annot -bin-annot-occurrences -I src/.frama_c_kernel.objs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Cmdline.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/byte/frama_c_kernel__Cmdline.cmo -c -impl src/kernel_services/cmdline_parameters/cmdline.ml) - File "src/kernel_services/cmdline_parameters/cmdline.ml", line 161, characters 30-40: - 161 | module NormalExit = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - - File "src/kernel_services/cmdline_parameters/cmdline.ml", line 620, characters 23-33: - 620 | module H = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -9 -g -ppx '.ppx/e9e13696c34b3ab3095e50a7d8bfcf4c/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -I src/.frama_c_kernel.objs/byte -I src/.frama_c_kernel.objs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -I src/init/.frama_c_very_first.objs/native -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Cmdline.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/native/frama_c_kernel__Cmdline.cmx -c -impl src/kernel_services/cmdline_parameters/cmdline.ml) - File "src/kernel_services/cmdline_parameters/cmdline.ml", line 161, characters 30-40: - 161 | module NormalExit = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - - File "src/kernel_services/cmdline_parameters/cmdline.ml", line 620, characters 23-33: - 620 | module H = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -9 -g -ppx '.ppx/e9e13696c34b3ab3095e50a7d8bfcf4c/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -bin-annot -bin-annot-occurrences -I src/.frama_c_kernel.objs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Project.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/byte/frama_c_kernel__Project.cmo -c -impl src/libraries/project/project.ml) - File "src/libraries/project/project.ml", line 438, characters 31-41: - 438 | module Before_load = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - - File "src/libraries/project/project.ml", line 441, characters 30-40: - 441 | module After_load = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - - File "src/libraries/project/project.ml", line 444, characters 37-47: - 444 | module After_global_load = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -9 -g -ppx '.ppx/e9e13696c34b3ab3095e50a7d8bfcf4c/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -bin-annot -bin-annot-occurrences -I src/.frama_c_kernel.objs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Logic_env.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/byte/frama_c_kernel__Logic_env.cmo -c -impl src/kernel_services/ast_queries/logic_env.ml) - File "src/kernel_services/ast_queries/logic_env.ml", line 320, characters 20-30: - 320 | include Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -9 -g -ppx '.ppx/e9e13696c34b3ab3095e50a7d8bfcf4c/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -bin-annot -bin-annot-occurrences -I src/.frama_c_kernel.objs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Db.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/byte/frama_c_kernel__Db.cmo -c -impl src/kernel_services/plugin_entry_points/db.ml) - File "src/kernel_services/plugin_entry_points/db.ml", line 40, characters 20-30: - 40 | include Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -9 -g -ppx '.ppx/e9e13696c34b3ab3095e50a7d8bfcf4c/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -I src/.frama_c_kernel.objs/byte -I src/.frama_c_kernel.objs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -I src/init/.frama_c_very_first.objs/native -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Project.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/native/frama_c_kernel__Project.cmx -c -impl src/libraries/project/project.ml) - File "src/libraries/project/project.ml", line 438, characters 31-41: - 438 | module Before_load = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - - File "src/libraries/project/project.ml", line 441, characters 30-40: - 441 | module After_load = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - - File "src/libraries/project/project.ml", line 444, characters 37-47: - 444 | module After_global_load = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -open Frama_c_kernel -linkall -w -40 -w -9 -g -bin-annot -bin-annot-occurrences -I src/plugins/gui/.frama_c_gui.objs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cairo2 -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/lablgtk3 -I /home/opam/.opam/default/lib/lablgtk3-sourceview3 -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/.frama_c_kernel.objs/byte -I src/init/.frama_c_very_first.objs/byte -I src/init/impl_gui/.frama_c_very_first_gui.objs/byte -cmi-file src/plugins/gui/.frama_c_gui.objs/byte/frama_c_gui__Launcher.cmi -no-alias-deps -open Frama_c_gui -o src/plugins/gui/.frama_c_gui.objs/byte/frama_c_gui__Launcher.cmo -c -impl src/plugins/gui/launcher.ml) - File "src/plugins/gui/launcher.ml", line 25, characters 31-41: - 25 | module Kernel_hook = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -open Frama_c_kernel -linkall -w -40 -w -9 -g -bin-annot -bin-annot-occurrences -I src/plugins/gui/.frama_c_gui.objs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cairo2 -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/lablgtk3 -I /home/opam/.opam/default/lib/lablgtk3-sourceview3 -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/.frama_c_kernel.objs/byte -I src/init/.frama_c_very_first.objs/byte -I src/init/impl_gui/.frama_c_very_first_gui.objs/byte -cmi-file src/plugins/gui/.frama_c_gui.objs/byte/frama_c_gui__Gtk_helper.cmi -no-alias-deps -open Frama_c_gui -o src/plugins/gui/.frama_c_gui.objs/byte/frama_c_gui__Gtk_helper.cmo -c -impl src/plugins/gui/gtk_helper.ml) - File "src/plugins/gui/gtk_helper.ml", line 290, characters 23-33: - 290 | module H = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -9 -g -ppx '.ppx/e9e13696c34b3ab3095e50a7d8bfcf4c/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -I src/.frama_c_kernel.objs/byte -I src/.frama_c_kernel.objs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -I src/init/.frama_c_very_first.objs/native -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Logic_env.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/native/frama_c_kernel__Logic_env.cmx -c -impl src/kernel_services/ast_queries/logic_env.ml) - File "src/kernel_services/ast_queries/logic_env.ml", line 320, characters 20-30: - 320 | include Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -9 -g -ppx '.ppx/e9e13696c34b3ab3095e50a7d8bfcf4c/ppx.exe --as-ppx --cookie '\''library-name="frama_c_kernel"'\''' -I src/.frama_c_kernel.objs/byte -I src/.frama_c_kernel.objs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/init/.frama_c_very_first.objs/byte -I src/init/.frama_c_very_first.objs/native -cmi-file src/.frama_c_kernel.objs/byte/frama_c_kernel__Db.cmi -no-alias-deps -open Frama_c_kernel -o src/.frama_c_kernel.objs/native/frama_c_kernel__Db.cmx -c -impl src/kernel_services/plugin_entry_points/db.ml) - File "src/kernel_services/plugin_entry_points/db.ml", line 40, characters 20-30: - 40 | include Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -open Frama_c_kernel -linkall -w -40 -w -9 -g -I src/plugins/gui/.frama_c_gui.objs/byte -I src/plugins/gui/.frama_c_gui.objs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cairo2 -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/lablgtk3 -I /home/opam/.opam/default/lib/lablgtk3-sourceview3 -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/.frama_c_kernel.objs/byte -I src/.frama_c_kernel.objs/native -I src/init/.frama_c_very_first.objs/byte -I src/init/.frama_c_very_first.objs/native -I src/init/impl_gui/.frama_c_very_first_gui.objs/byte -I src/init/impl_gui/.frama_c_very_first_gui.objs/native -cmi-file src/plugins/gui/.frama_c_gui.objs/byte/frama_c_gui__Gtk_helper.cmi -no-alias-deps -open Frama_c_gui -o src/plugins/gui/.frama_c_gui.objs/native/frama_c_gui__Gtk_helper.cmx -c -impl src/plugins/gui/gtk_helper.ml) - File "src/plugins/gui/gtk_helper.ml", line 290, characters 23-33: - 290 | module H = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -open Frama_c_kernel -linkall -w -40 -w -9 -g -I src/plugins/gui/.frama_c_gui.objs/byte -I src/plugins/gui/.frama_c_gui.objs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cairo2 -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/lablgtk3 -I /home/opam/.opam/default/lib/lablgtk3-sourceview3 -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/.frama_c_kernel.objs/byte -I src/.frama_c_kernel.objs/native -I src/init/.frama_c_very_first.objs/byte -I src/init/.frama_c_very_first.objs/native -I src/init/impl_gui/.frama_c_very_first_gui.objs/byte -I src/init/impl_gui/.frama_c_very_first_gui.objs/native -cmi-file src/plugins/gui/.frama_c_gui.objs/byte/frama_c_gui__Launcher.cmi -no-alias-deps -open Frama_c_gui -o src/plugins/gui/.frama_c_gui.objs/native/frama_c_gui__Launcher.cmx -c -impl src/plugins/gui/launcher.ml) - File "src/plugins/gui/launcher.ml", line 25, characters 31-41: - 25 | module Kernel_hook = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. -> compiled frama-c.27.0 [frama-c: make install] + /usr/bin/make "PREFIX=/home/opam/.opam/default" "MANDIR=/home/opam/.opam/default/man" "install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c.27.0) - CC dlmalloc.c - AR libeacsl-dlmalloc.a - RANLIB libeacsl-dlmalloc.a - ar: `u' modifier ignored since `D' is the default (see `U') - File "src/kernel_services/cmdline_parameters/cmdline.ml", line 161, characters 30-40: - 161 | module NormalExit = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - - File "src/kernel_services/cmdline_parameters/cmdline.ml", line 620, characters 23-33: - 620 | module H = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - File "src/kernel_services/cmdline_parameters/cmdline.ml", line 161, characters 30-40: - 161 | module NormalExit = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - - File "src/kernel_services/cmdline_parameters/cmdline.ml", line 620, characters 23-33: - 620 | module H = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - File "src/libraries/project/project.ml", line 438, characters 31-41: - 438 | module Before_load = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - - File "src/libraries/project/project.ml", line 441, characters 30-40: - 441 | module After_load = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - - File "src/libraries/project/project.ml", line 444, characters 37-47: - 444 | module After_global_load = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - File "src/libraries/project/project.ml", line 438, characters 31-41: - 438 | module Before_load = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - - File "src/libraries/project/project.ml", line 441, characters 30-40: - 441 | module After_load = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - - File "src/libraries/project/project.ml", line 444, characters 37-47: - 444 | module After_global_load = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - File "src/kernel_services/ast_queries/logic_env.ml", line 320, characters 20-30: - 320 | include Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - File "src/kernel_services/ast_queries/logic_env.ml", line 320, characters 20-30: - 320 | include Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - File "src/kernel_services/plugin_entry_points/db.ml", line 40, characters 20-30: - 40 | include Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - File "src/kernel_services/plugin_entry_points/db.ml", line 40, characters 20-30: - 40 | include Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - File "src/plugins/gui/gtk_helper.ml", line 290, characters 23-33: - 290 | module H = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - File "src/plugins/gui/gtk_helper.ml", line 290, characters 23-33: - 290 | module H = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - File "src/plugins/gui/launcher.ml", line 25, characters 31-41: - 25 | module Kernel_hook = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - File "src/plugins/gui/launcher.ml", line 25, characters 31-41: - 25 | module Kernel_hook = Hook.Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - File "src/plugins/e-acsl/src/libraries/gmp_types.ml", line 79, characters 16-26: - 79 | module Z = Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - - File "src/plugins/e-acsl/src/libraries/gmp_types.ml", line 80, characters 16-26: - 80 | module Q = Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - File "src/plugins/e-acsl/src/libraries/gmp_types.ml", line 79, characters 16-26: - 79 | module Z = Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - - File "src/plugins/e-acsl/src/libraries/gmp_types.ml", line 80, characters 16-26: - 80 | module Q = Make(struct end) - ^^^^^^^^^^ - Warning 73 [generative-application-expects-unit]: A generative functor - should be applied to '()'; using '(struct end)' is deprecated. - File "src/plugins/wp/wp_eva.disabled.ml", line 24, characters 21-27: - Error (warning 27 [unused-var-strict]): unused variable kinstr. - make: *** [Makefile:66: all] Error 1 [ERROR] The installation of frama-c failed at "make PREFIX=/home/opam/.opam/default MANDIR=/home/opam/.opam/default/man 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.27.0) - Removing Ivette install failed... === STDERR === 2026-08-06 00:52.09: FAILED: build frama-c.27.0 2026-08-06 00:52.09: Job failed: build failed: frama-c.27.0