[DHG_packages] 01/01: agda: more *.agdai pregeneration

[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 ee9e93dbde1f4759de6a29356020a032d3c1840e
Author: Sean Whitton <spwhitton at spwhitton.name>
Date:   Fri Jun 10 19:16:28 2016 +0900

    agda: more *.agdai pregeneration
---
 p/agda/debian/changelog | 2 ++
 p/agda/debian/rules     | 7 ++++---
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog
index a22fb8e..372f14d 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -8,6 +8,8 @@ agda (2.5.1-1) UNRELEASED; urgency=medium
       - libghc-edison-api-*
       - libghc-monadplus-*
       - libghc-transformers-*
+    - Also pregenerate the new Builtin/*.agdai interface files in
+      libghc-agda-dev (see changelog entry for version 2.4.0.2-2).
     - Dropped build dependencies:
       - ghc-ghci
   * Install Emacs mode with dh_elpa.
diff --git a/p/agda/debian/rules b/p/agda/debian/rules
index c2941e8..a896a1f 100755
--- a/p/agda/debian/rules
+++ b/p/agda/debian/rules
@@ -9,9 +9,10 @@ include /usr/share/cdbs/1/class/hlibrary.mk
 export LC_ALL=C.UTF-8
 
 install/libghc-agda-dev:: debian/tmp-inst-ghc
-	Agda_datadir=$(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev \
-		debian/tmp-inst-ghc/usr/bin/agda \
-		$(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda -v0
+	builtins := $(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda \
+		$(wildcard $(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/*.agda)
+	$(foreach builtin,$(builtins),Agda_datadir=$(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev \
+		debian/tmp-inst-ghc/usr/bin/agda $(builtin) -v0)
 
 install/elpa-agda2-mode::
 	dh_elpa

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