Build:
- 1
- 0
2026-10-22 02:38.12: New job: build frama-c.27.0 (46eab3ee7f89) 2026-10-22 02:38.12: Waiting for resource in pool day11-builds 2026-10-22 04:29.16: Got resource from pool day11-builds 2026-10-22 04:29.16: [profile full] build frama-c.27.0 2026-10-22 04:29.16: build frama-c.27.0 (46eab3ee7f89) === DEPENDENCIES (67 transitive) === alt-ergo-free.2.4.3 26a6d722f856 astring.0.8.5 20370688f48d base-bigarray.base af90e15e33c9 base-threads.base ca51096a9c5b base-unix.base 88a83b7ed333 bos.0.3.0 0f8f1b866092 cairo2.0.6.5 e9a372fd2039 camlp-streams.5.0.1 cfcff563aa0f camlzip.1.14 8f79bec7d00b cmdliner.1.3.0 7cdcb389da1f conf-autoconf.1 5ab3ab11f357 conf-cairo.1 86f959ec30fa conf-gmp.5 d0211a82c71f conf-gtk3.18 af2b3a6823e6 conf-gtksourceview3.0+2 198996bbebc5 conf-pkg-config.5 26be2768a637 conf-zlib.1 1bee7a3e7aa2 cppo.1.8.0 a967e4c5201a csexp.1.5.2 d98986bc2260 ctypes.0.24.0 a98af2bc9e25 dune.3.23.1 026d84557306 dune-build-info.3.23.1 a8c6d7c72dba dune-configurator.3.23.1 e9abccee0dcc dune-private-libs.3.23.1 02622759c66f dune-site.3.23.1 13ba59a7f2cc dyn.3.23.1 68a01388d18c fmt.0.11.0 0b694f8b8ba6 fpath.0.7.3 bf85268eaf21 fs-io.3.23.1 9ce15ccda949 integers.0.8.0 ca3ce3197724 lablgtk3.3.1.5 a7a494432417 lablgtk3-sourceview3.3.1.5 934dc16ede80 logs.0.10.0 511064e8a302 menhir.20260209 e045bbc94c8c menhirCST.20260209 551e31c4eaf7 menhirGLR.20260209 2d93f6531f35 menhirLib.20260209 f864beaf65e2 menhirSdk.20260209 143b2477f349 num.1.6 97708c819e4e ocaml.5.2.1 2d686c4b1c5c ocaml-base-compiler.5.2.1 d3ca04326b5c ocaml-compiler-libs.v0.17.0 3648c606f850 ocaml-config.3 661eb037103e ocamlbuild.0.16.1 dd32f9b47ee8 ocamlfind.1.9.8 073598b8b9bf ocamlgraph.2.2.0 894a82df966c ocplib-simplex.0.4.1 0319bd57e380 ordering.3.23.1 90ad2c4b3229 pp.2.0.0 cf0a7a1990f4 ppx_derivers.1.2.1 d70f396d2c8e ppx_deriving.6.2.0 c75dc9b43717 ppx_deriving_yaml.0.5.0 de0af3dc79ef ppx_deriving_yojson.3.10.0 6c75277b4662 ppx_import.1.12.0 1b101e8b2e59 ppxlib.0.39.0 16f30f18bad5 psmt2-frontend.0.4.0 ae311b16b580 rresult.0.7.0 0b965fcb21dc seq.base 4404b5bee093 sexplib0.v0.17.0 c631eaa5c67b stdlib-shims.0.3.0 097529738198 stdune.3.23.1 fe5d1b7ba6f4 top-closure.3.23.1 5b4617d1f530 topkg.1.1.1 df843f533bad why3.1.6.0 fbef27c9e579 yaml.3.2.0 e81139f8d0c4 yojson.3.0.0 9bc33da88d42 zarith.1.14 ed06c2875a6d === 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/ppx_deriving_yaml/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yaml/types -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/ppx_deriving_yaml/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yaml/types -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/ppx_deriving_yaml/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yaml/types -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/ppx_deriving_yaml/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yaml/types -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/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/ppx_deriving_yaml/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yaml/types -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 -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/ppx_deriving_yaml/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yaml/types -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/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/ppx_deriving_yaml/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yaml/types -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/ppx_deriving_yaml/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yaml/types -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/ppx_deriving_yaml/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yaml/types -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/ppx_deriving_yaml/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yaml/types -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/ppx_deriving_yaml/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yaml/types -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/ppx_deriving_yaml/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yaml/types -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-10-22 04:35.15: FAILED: build frama-c.27.0 2026-10-22 04:35.15: Job failed: build failed: frama-c.27.0