Build:
- 0
2026-07-10 00:11.26: New job: build frama-c.27.0 (83d61accecc5) 2026-07-10 00:11.26: Waiting for resource in pool day11-builds 2026-07-10 01:12.17: Got resource from pool day11-builds 2026-07-10 01:12.17: [profile full] build frama-c.27.0 2026-07-10 01:12.17: build frama-c.27.0 (83d61accecc5) === DEPENDENCIES (67 transitive) === alt-ergo-free.2.4.3 cab998a4ffe5 astring.0.8.5 de811074e34d base-bigarray.base cb565f687a2d base-threads.base 44df48f3da5c base-unix.base 4103cdc1c2b0 bos.0.3.0 e29c2a6a3b26 cairo2.0.6.5 cde4ae46d0a8 camlp-streams.5.0.1 769d2f6d9f59 camlzip.1.14 dd7bf4132939 cmdliner.1.3.0 eb276991a865 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 bd5e45abb7c6 csexp.1.5.2 27743e755957 ctypes.0.24.0 cb7c21903680 dune.3.23.1 8aa8b7653c28 dune-build-info.3.23.1 7bc9baf54330 dune-configurator.3.23.1 8a099969b954 dune-private-libs.3.23.1 a0708277a5f7 dune-site.3.23.1 0e84f14f0eab dyn.3.23.1 0b183a36bee2 fmt.0.11.0 422a21b6b853 fpath.0.7.3 ef84c41c84db fs-io.3.23.1 53b39fad03fa integers.0.8.0 f22bf7f8f702 lablgtk3.3.1.5 cb78a22950d9 lablgtk3-sourceview3.3.1.5 cac464a9d050 logs.0.10.0 b37b7f511576 menhir.20260209 9aa96d562103 menhirCST.20260209 2f9b9762b128 menhirGLR.20260209 ab25812075d6 menhirLib.20260209 c9f7a8dad041 menhirSdk.20260209 1314140d989f num.1.6 c6d686137c50 ocaml.5.2.1 df64668c0248 ocaml-base-compiler.5.2.1 cab5806bc0da ocaml-compiler-libs.v0.17.0 6cc339c288df ocaml-config.3 6e3c71d3a4ec ocamlbuild.0.16.1 9b94a863805a ocamlfind.1.9.8 9122560088b6 ocamlgraph.2.2.0 d5cfc18d3ada ocplib-simplex.0.4.1 6c9c4a19fc3a ordering.3.23.1 07bd3c5666c9 pp.2.0.0 c5095001dd09 ppx_derivers.1.2.1 859c879155a9 ppx_deriving.6.1.2 8f252d86a5c3 ppx_deriving_yaml.0.4.1 b4e491025012 ppx_deriving_yojson.3.10.0 9b26bb5fb29d ppx_import.1.12.0 8f857caa0362 ppxlib.0.38.0 d025de4727da psmt2-frontend.0.4.0 5324c04ac941 rresult.0.7.0 bb030c56e7de seq.base 8ef6d63b9331 sexplib0.v0.17.0 927135e435f8 stdlib-shims.0.3.0 d05e39deefb1 stdune.3.23.1 1bbac086f8ab top-closure.3.23.1 47c7f2b6c112 topkg.1.1.1 498d993cc14c why3.1.6.0 9fac23ba16be yaml.3.2.0 993f8cb809b7 yojson.3.0.0 7e891d6d17d2 zarith.1.14 16e8428dfb88 === 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/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/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__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/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/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/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/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/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__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-07-10 01:22.22: FAILED: build frama-c.27.0 2026-07-10 01:22.22: Job failed: build failed: frama-c.27.0