dune takes >2GB of RAM building some targets of frama-c.30.0

[kit-ty-kate]

I'm not sure if it's an expected behaviour or not but i'm reporting it just in case:

opam install -j1 -t frama-c.30.0

will run dune build -j1 @ptests_config which takes 2.1GB of RAM with OCaml 5.3 and 1.8GB with OCaml 4.14.

I'm not exactly sure what makes dune take so much memory in this particular case
Looking at the opam file definition, these commands are ran before the problematic command:

dune build -j1 --release --promote-install-files=false @install
dune exec -- frama-c-ptests tests "src/plugins/*/tests"

but from what i could see, the last command before that (dune exec -- frama-c-ptests ...) only takes 43MB of RAM, so i'm really not sure what's going on.

Specifications

• Version of dune (output of dune --version): 3.17.2
• Version of ocaml (output of ocamlc --version): 5.3.0 and 4.14.2
• Operating system (distribution and version): Linux 6.12

[maiste]

Thanks for the reporting!
That's indeed a big consumption, we need to investigate about.