diff options
Diffstat (limited to 'pkgs/development/compilers/hop/default.nix')
| -rw-r--r-- | pkgs/development/compilers/hop/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/development/compilers/hop/default.nix b/pkgs/development/compilers/hop/default.nix index f63f4169bc36..49687cfb2d81 100644 --- a/pkgs/development/compilers/hop/default.nix +++ b/pkgs/development/compilers/hop/default.nix @@ -7,6 +7,10 @@ stdenv.mkDerivation rec { sha256 = "1bvp7pc71bln5yvfj87s8750c6l53wjl6f8m12v62q9926adhwys"; }; + postPatch = '' + substituteInPlace configure --replace "(os-tmp)" '(getenv "TMPDIR")' + ''; + buildInputs = [ bigloo ]; preConfigure = '' |