Merge pull request #97668 from gebner/mlton-tmpdir

mlton: use $TMPDIR
2020-09-10 18:11:04 +02:00 · 2020-09-10 18:11:04 +02:00 · 893ad96c18
commit 893ad96c18
parent 58b66c0dcb 213feab38a
1 changed files with 1 additions and 0 deletions
--- a/pkgs/development/compilers/mlton/from-git-source.nix
+++ b/pkgs/development/compilers/mlton/from-git-source.nix
@ -23,6 +23,7 @@ stdenv.mkDerivation {

  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

    makeFlagsArray=(
      MLTON_VERSION="${version} ${rev}"