Build debian package without using cabal, which writes to HOME. Closes: #704205

diff --git a/debian/changelog b/debian/changelog
index 96cca734d2986e52509609b5b6195f8b02367f8d..b8dbc7b2bc4a58c578e6b05eb8587485a33f6c9b 100644 (file)
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,6 +5,8 @@ git-annex (4.20130324) UNRELEASED; urgency=low
   * webapp: Fix a race that sometimes caused alerts or other notifications
     to be missed if they occurred while a page was loading.
   * webapp: Progess bar fixes for many types of special remotes.
+  * Build debian package without using cabal, which writes to HOME.
+    Closes: #704205
 
  -- Joey Hess <joeyh@debian.org>  Mon, 25 Mar 2013 10:21:46 -0400
 

diff --git a/debian/control b/debian/control
index be65a397301f6a69d80269e3a1e50b3727f41c14..c8a15ed80c0a6f53db40a092616333759513cbd4 100644 (file)
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,6 @@ Priority: optional
 Build-Depends: 
        debhelper (>= 9),
        ghc (>= 7.4),
-       cabal-install,
        libghc-mtl-dev (>= 2.1.1),
        libghc-missingh-dev,
        libghc-hslogger-dev,

diff --git a/debian/rules b/debian/rules
index 7155baded1fe8b9a51b1eb1f56d7f992b51bb833..99bcd6aa077d0e82a170924cb75a1b847e412d7e 100755 (executable)
--- 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 $@