Build:
- 0
2026-07-26 15:41.17: New job: build frama-c.27.0 (8a891301b10a) 2026-07-26 15:41.17: Waiting for resource in pool day11-builds 2026-07-26 16:13.29: Got resource from pool day11-builds 2026-07-26 16:13.29: [profile full] build frama-c.27.0 2026-07-26 16:13.29: build frama-c.27.0 (8a891301b10a) === DEPENDENCIES (67 transitive) === alt-ergo-free.2.4.3 f6815559890b astring.0.8.5 88c1d55d4aa0 base-bigarray.base e774a4d8d0a0 base-threads.base afe16a8e71c3 base-unix.base 73c0a5fdd34a bos.0.3.0 8da314f17ae1 cairo2.0.6.5 37d063d786e9 camlp-streams.5.0.1 9998972bcfa8 camlzip.1.14 8f375ba9c2a3 cmdliner.1.3.0 80c29d6d191e conf-autoconf.0.2 c64eba8be016 conf-cairo.1 b751034c3f7a conf-gmp.5 be8168159001 conf-gtk3.18 00c670ac1168 conf-gtksourceview3.0+2 4ca52a192663 conf-pkg-config.5 2c611009363a conf-zlib.1 9b96a8154eb2 cppo.1.8.0 d21c66d0e3c8 csexp.1.5.2 16abe527e55f ctypes.0.24.0 fe8d4665feda dune.3.23.1 26b3ece1b030 dune-build-info.3.23.1 1b3b5e90b629 dune-configurator.3.23.1 e648c5e3abd9 dune-private-libs.3.23.1 34de9f86d59f dune-site.3.23.1 1048fc741b06 dyn.3.23.1 f334de63e47a fmt.0.11.0 efb34e96bcd1 fpath.0.7.3 8225857024bd fs-io.3.23.1 891174668889 integers.0.8.0 a6752c57855f lablgtk3.3.1.5 a4a137ba9776 lablgtk3-sourceview3.3.1.5 2d413b142527 logs.0.10.0 ccba5814f07a menhir.20260209 a455cce2c7ff menhirCST.20260209 b451877e8819 menhirGLR.20260209 0ed8db7ecafe menhirLib.20260209 3b72a4bf40cc menhirSdk.20260209 dadc6faf13dc num.1.6 f0fda9e1a446 ocaml.5.2.1 7b742690b80c ocaml-base-compiler.5.2.1 d677a882f753 ocaml-compiler-libs.v0.17.0 3d743d21ac6f ocaml-config.3 e4865ca65875 ocamlbuild.0.16.1 6746f5e3a557 ocamlfind.1.9.8 a141ead1fda8 ocamlgraph.2.2.0 a7e9e2309ef0 ocplib-simplex.0.4.1 3187e62eb829 ordering.3.23.1 534a296cefc2 pp.2.0.0 d9205f86e53d ppx_derivers.1.2.1 ddfcbfdb6f84 ppx_deriving.6.1.3 0954d3a53ab4 ppx_deriving_yaml.0.4.1 841caf6a1f6d ppx_deriving_yojson.3.10.0 ba930f15383c ppx_import.1.12.0 167b27dc11c8 ppxlib.0.38.0 ce12122a54b4 psmt2-frontend.0.4.0 ec2d724e9c78 rresult.0.7.0 d7dc4cc6fdb5 seq.base 55e429ce39e0 sexplib0.v0.17.0 4a48d40df17c stdlib-shims.0.3.0 021566d06058 stdune.3.23.1 07799869f9b6 top-closure.3.23.1 943dedc8bb88 topkg.1.1.1 adb1f4744f3a why3.1.6.0 23bee550e406 yaml.3.2.0 c4b62b24179e yojson.3.0.0 ebab16da1887 zarith.1.14 f46e979471c9 === 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/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/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-07-26 16:21.38: FAILED: build frama-c.27.0 2026-07-26 16:21.38: Job failed: build failed: frama-c.27.0