mlton: disable parallel build

2022-02-02 12:19:55 +01:00 · 2022-02-02 12:19:55 +01:00 · ccc26c651f
parent 6f930f18f0
commit ccc26c651f
1 changed files with 3 additions and 0 deletions
--- a/pkgs/development/compilers/mlton/from-git-source.nix
+++ b/pkgs/development/compilers/mlton/from-git-source.nix
@ -21,6 +21,9 @@ stdenv.mkDerivation {

  buildInputs = [mltonBootstrap gmp];

+  # build fails otherwise
+  enableParallelBuilding = false;
+
  preBuild = ''
    find . -type f | grep -v -e '\.tgz''$' | xargs sed -i "s@/usr/bin/env bash@$(type -p bash)@"
    sed -i "s|/tmp|$TMPDIR|" bin/regression