[Pkg-haskell-commits] [agda] 01/02: Pregenerate the Primitive.agdai interface file in libghc-agda-dev, since agda users typically can't write to that directory. Fixes agda-stdlib build.

[Colin Watson]

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

cjwatson pushed a commit to branch master
in repository agda.

commit e33e7a928340b70f3c693aeadb733adf907e4ee2
Author: Colin Watson <cjwatson at debian.org>
Date:   Mon Aug 11 11:52:02 2014 +0100

    Pregenerate the Primitive.agdai interface file in libghc-agda-dev, since agda users typically can't write to that directory.  Fixes agda-stdlib build.
---
 debian/rules | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/debian/rules b/debian/rules
index 4c1a67e..1b89852 100755
--- a/debian/rules
+++ b/debian/rules
@@ -5,3 +5,8 @@ DEB_SETUP_GHC6_CONFIGURE_ARGS := --datadir='/usr/share' --datasubdir='libghc-agd
 
 include /usr/share/cdbs/1/rules/debhelper.mk
 include /usr/share/cdbs/1/class/hlibrary.mk
+
+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

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