[Git][haskell-team/DHG_packages][master] agda: build without -foptimize-heavily on armhf

[Scott Talbert (@swt2c)]

Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages


Commits:
dc16e2f7 by Grayson Wolf at 2026-09-29T09:13:17-04:00
agda: build without -foptimize-heavily on armhf

- - - - -


1 changed file:

- p/agda/debian/rules


Changes:

=====================================
p/agda/debian/rules
=====================================
@@ -2,8 +2,9 @@
 
 export DEB_SETUP_GHC_CONFIGURE_ARGS := --datadir='/usr/share' --datasubdir='libghc-agda-dev'
 
-# attempt to fix build on low-memory arm buildds
-#export DEB_SETUP_GHC_CONFIGURE_ARGS += --ghc-options="-optc--param -optcggc-min-expand=10"
+ifeq (armhf,$(DEB_HOST_ARCH))
+DEB_SETUP_GHC_CONFIGURE_ARGS += -f-optimise-heavily
+endif
 
 export LC_ALL=C.UTF-8
 



View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/dc16e2f750996887e66b0dea54fd8ed77b1aa729

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/dc16e2f750996887e66b0dea54fd8ed77b1aa729
You're receiving this email because of your account on salsa.debian.org. Manage all notifications: https://salsa.debian.org/-/profile/notifications | Help: https://salsa.debian.org/help


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20260929/d1d265fa/attachment.htm>