From 2a284c2ce2909754e7dd391a8bfaac77c9b39e78 Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Sat, 22 Oct 2016 18:03:46 -0700 Subject: tidy --- debian/rules | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'debian') diff --git a/debian/rules b/debian/rules index f0b77d3..efa37f3 100755 --- a/debian/rules +++ b/debian/rules @@ -1,10 +1,13 @@ #!/usr/bin/make -f +# upstream's Makefile passes these on through ghc to gcc export DEB_BUILD_MAINT_OPTIONS = hardening=+all + +# cabal likes to write to $HOME, so use Setup.hs directly export BUILDER = ./Setup -# ^ cabal likes to write to $HOME + +# -j1 in the hope of making the build reproducible (see Makefile) export BUILDEROPTIONS = -j1 -# ^ in the hope of making the build reproducible (see Makefile) %: dh $@ -- cgit v1.2.3