mlton: use $TMPDIR

2020-09-10 17:11:26 +02:00 · 2020-09-10 17:11:26 +02:00 · 213feab38a
parent bc0dd710e5
commit 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}"