[DHG_packages] 01/02: agda: attempt to fix build on arm buildds

[Sean Whitton]

This is an automated email from the git hooks/post-receive script.

spw-guest pushed a commit to branch master
in repository DHG_packages.

commit 82dbc4ea3cf848ff8a687c582c6e07c05970843f
Author: Sean Whitton <spwhitton at spwhitton.name>
Date:   Mon Jun 20 16:50:09 2016 +0900

    agda: attempt to fix build on arm buildds
---
 p/agda/debian/changelog | 8 ++++++++
 p/agda/debian/rules     | 3 +++
 2 files changed, 11 insertions(+)

diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog
index df98f33..4c8f8f1 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -1,3 +1,11 @@
+agda (2.5.1-2) UNRELEASED; urgency=medium
+
+  * Add `--ghc-options="-optc--param -optcggc-min-expand=10"` to GHC
+    configure args in an attempt to fix FTBFS on arm buildds.
+    As suggested by Joachim Breitner.
+
+ -- Sean Whitton <spwhitton at spwhitton.name>  Mon, 20 Jun 2016 16:47:33 +0900
+
 agda (2.5.1-1) unstable; urgency=medium
 
   * Package new upstream version.
diff --git a/p/agda/debian/rules b/p/agda/debian/rules
index d4f1ec5..62b1876 100755
--- a/p/agda/debian/rules
+++ b/p/agda/debian/rules
@@ -3,6 +3,9 @@ DEB_BUILD_DEPENDENCIES = build-arch
 
 DEB_SETUP_GHC6_CONFIGURE_ARGS := --datadir='/usr/share' --datasubdir='libghc-agda-dev'
 
+# attempt to fix build on low-memory arm buildds
+DEB_SETUP_GHC_CONFIGURE_ARGS += --ghc-options="-optc--param -optcggc-min-expand=10"
+
 include /usr/share/cdbs/1/rules/debhelper.mk
 include /usr/share/cdbs/1/class/hlibrary.mk
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git