diff options
author | 2013-04-07 17:15:58 -0400 | |
---|---|---|
committer | 2013-04-07 17:15:58 -0400 | |
commit | 2d7ee3978c6131365712727122a574caffc5e0cb (patch) | |
tree | dfda1ddea09a14223f8a7109ed98b9dedca7e1bc /debian/rules | |
parent | 08dcd14a28c7e539ed370585fed1a7aeb3eb4117 (diff) |
Avoid using runghc when building the Debian package, as that needs ghci.
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 99bcd6aa0..a0231eb60 100755 --- a/debian/rules +++ b/debian/rules @@ -1,7 +1,7 @@ #!/usr/bin/make -f # Avoid using cabal, as it writes to $HOME -export CABAL=runghc Setup.hs +export CABAL=./Setup %: dh $@ |