From ccc26c651f3615f73a4ddee0dccbdadcc1d0c89d Mon Sep 17 00:00:00 2001
From: FliegendeWurst <2012gdwu+github@posteo.de>
Date: Wed, 2 Feb 2022 12:19:55 +0100
Subject: [PATCH] mlton: disable parallel build

---
 pkgs/development/compilers/mlton/from-git-source.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/development/compilers/mlton/from-git-source.nix b/pkgs/development/compilers/mlton/from-git-source.nix
index ec0b96bbf23..b91e6c7480d 100644
--- 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