diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2016-10-22 18:03:46 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2016-10-22 18:03:46 -0700 |
| commit | 2a284c2ce2909754e7dd391a8bfaac77c9b39e78 (patch) | |
| tree | 96b987d8bc70cc8419e9361d3ad146ea9b81f59f /debian | |
| parent | 0695683cc300fde29f47bb6d3d0bdfa9d9e8eb8f (diff) | |
| download | keysafe-2a284c2ce2909754e7dd391a8bfaac77c9b39e78.tar.gz | |
tidy
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/rules | 7 |
1 files changed, 5 insertions, 2 deletions
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 $@ |