[Git][haskell-team/DHG_packages][master] Agda: Extend d/rules to compile and ship all '*.agda' files

[Ilias Tsitsimpis (@iliastsi)]

Ilias Tsitsimpis pushed to branch master at Debian Haskell Group / DHG_packages


Commits:
97efb25c by Ilias Tsitsimpis at 2026-02-15T15:49:52+02:00
Agda: Extend d/rules to compile and ship all '*.agda' files

- - - - -


2 changed files:

- p/agda/debian/changelog
- p/agda/debian/rules


Changes:

=====================================
p/agda/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+agda (2.8.0-2) unstable; urgency=medium
+
+  * Extend d/rules to compile and ship all '*.agda' files
+
+ -- Ilias Tsitsimpis <iliastsi at debian.org>  Sun, 15 Feb 2026 15:49:29 +0200
+
 agda (2.8.0-1) unstable; urgency=medium
 
   [ Scott Talbert ]


=====================================
p/agda/debian/rules
=====================================
@@ -7,8 +7,7 @@ export DEB_SETUP_GHC_CONFIGURE_ARGS := --datadir='/usr/share' --datasubdir='libg
 
 export LC_ALL=C.UTF-8
 
-builtins = $(CURDIR)/debian/tmp/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda \
-	$(wildcard $(CURDIR)/debian/tmp/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/*.agda)
+builtins = $(shell find $(CURDIR)/debian/tmp/usr/share/libghc-agda-dev/lib/ -name '*.agda')
 
 execute_after_dh_auto_install-arch:
 	$(foreach builtin,$(builtins),Agda_datadir=$(CURDIR)/debian/tmp/usr/share/libghc-agda-dev \



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

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/97efb25c1addf35982b6054157802800bbaa0d65
You're receiving this email because of your account on salsa.debian.org.


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