From 09e50e2ac917fb32c693dcb0fe7dd20bdc8d071a Mon Sep 17 00:00:00 2001 From: Chris Cannam Date: Fri, 7 May 2021 15:25:37 +0100 Subject: [PATCH] Avoid parallelising MLton --- .build.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.build.yml b/.build.yml index f28b75a..62f72eb 100644 --- a/.build.yml +++ b/.build.yml @@ -19,7 +19,9 @@ tasks: # meson build_poly -Dsml_buildtype=polyml meson build_mlton_noffi -Dsml_buildtype=mlton_noffi # ninja -C build_poly - ninja -C build_mlton_noffi + # Two whole build targets with MLton runs us out of memory + # unless -j1 is specified: + ninja -j1 -C build_mlton_noffi # Test whether a build using default-int32 MLton also works: mlton test-sml.mlb # And build the documentation: