diff options
author | Joey Hess <joey@kitenet.net> | 2013-03-29 11:37:25 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-03-29 11:37:25 -0400 |
commit | 987b11fdf42b58a92d817131c416edbdbcb94297 (patch) | |
tree | 2ddd0165bd365d6428e3eb8707e8b7b7aa0f5942 /debian/rules | |
parent | 3eaa9079161d010b330791581a74fc5de3701e25 (diff) |
Build debian package without using cabal, which writes to HOME. Closes: #704205
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 7155baded..99bcd6aa0 100755 --- a/debian/rules +++ b/debian/rules @@ -1,5 +1,8 @@ #!/usr/bin/make -f +# Avoid using cabal, as it writes to $HOME +export CABAL=runghc Setup.hs + %: dh $@ |