summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2013-03-29 11:37:25 -0400
committerGravatar Joey Hess <joey@kitenet.net>2013-03-29 11:37:25 -0400
commit987b11fdf42b58a92d817131c416edbdbcb94297 (patch)
tree2ddd0165bd365d6428e3eb8707e8b7b7aa0f5942 /debian/rules
parent3eaa9079161d010b330791581a74fc5de3701e25 (diff)
Build debian package without using cabal, which writes to HOME. Closes: #704205
Diffstat (limited to 'debian/rules')
-rwxr-xr-xdebian/rules3
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 $@