gprolog: patch hard-coded path to the temporary file /tmp/make.log

This commit is contained in:
Peter Simons 2014-01-21 20:07:26 +01:00
parent eb85038518
commit 95934138bc

View File

@ -11,6 +11,10 @@ stdenv.mkDerivation rec {
sha256 = "13miyas47bmijmadm68cbvb21n4s156gjafz7kfx9brk9djfkh0q"; sha256 = "13miyas47bmijmadm68cbvb21n4s156gjafz7kfx9brk9djfkh0q";
}; };
patchPhase = ''
sed -i -e "s|/tmp/make.log|$TMPDIR/make.log|g" src/Pl2Wam/check_boot
'';
preConfigure = '' preConfigure = ''
cd src cd src
configureFlagsArray=( configureFlagsArray=(