Is anyone able to build
coq 8.13 with
dune 2.8 and
For me the
dune process triggers the OOM killer. I requested up to 24G for the build VM, and reduced the number of jobs to two in the
dune build --verbose --for-release-of-packages=coq,coqide,coqide-server -jN @install command.
[ 270s] [ 264.545711] Out of memory: Killed process 1984 (dune) total-vm:26941436kB, anon-rss:23756844kB, file-rss:4kB, shmem-rss:0kB, UID:399 pgtables:50608kB oom_score_adj:0
I will try to go back to
dune 2.7 and see if that makes any difference.