Is anyone able to build coq 8.13 with dune 2.8 and ocaml 4.10/4.11/4.12?
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.
5 posts - 4 participants