[DHG_packages] 01/01: agda: attempt to fix .agdai generation

[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 51f59956047f9a41c7af5991c141c0b96477edc7
Author: Sean Whitton <spwhitton at spwhitton.name>
Date:   Fri Jun 10 23:26:49 2016 +0900

    agda: attempt to fix .agdai generation
---
 p/agda/debian/rules | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/p/agda/debian/rules b/p/agda/debian/rules
index a896a1f..d933084 100755
--- a/p/agda/debian/rules
+++ b/p/agda/debian/rules
@@ -8,9 +8,9 @@ include /usr/share/cdbs/1/class/hlibrary.mk
 
 export LC_ALL=C.UTF-8
 
+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)
 install/libghc-agda-dev:: debian/tmp-inst-ghc
-	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)
 

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