petersen pushed to Agda (f22). "compile Primitive.agda at install time (..more)"

[notifications at fedoraproject.org]

>From e7f568af1c6e3c87e23a4e2f94d33f23b261716b Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen at redhat.com>
Date: Thu, 16 Apr 2015 18:06:49 +0900
Subject: compile Primitive.agda at install time

buildtime compile in buildroot fails due to filepath check

diff --git a/Agda.spec b/Agda.spec
index 12d076a..6f39dc7 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -170,8 +170,6 @@ cd -
 
 %ghc_fix_dynamic_rpath agda
 
-dist/build/agda/agda %{buildroot}%{_datadir}/%{name}-%{version}/lib/prim/Agda/Primitive.agda
-
 mkdir -p %{buildroot}%{_emacs_sitelispdir}/agda
 for i in src/data/emacs-mode/*; do
   install -p -m 0644 $i %{buildroot}%{_emacs_sitelispdir}/agda
@@ -187,6 +185,10 @@ rm -r %{buildroot}%{_datadir}/%{pkg_name}-%{version}/emacs-mode
 rm %{buildroot}%{_docdir}/%{name}*/LICENSE
 
 
+%post -n ghc-%{name}
+%{_bindir}/agda %{_datadir}/%{name}-%{version}/lib/prim/Agda/Primitive.agda || :
+
+
 %post -n ghc-%{name}-devel
 %ghc_pkg_recache
 
@@ -202,6 +204,7 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
 %files -n ghc-%{name} -f ghc-%{name}.files
 %doc LICENSE
 %{_datadir}/%{name}-%{version}
+%ghost %{_datadir}/%{name}-%{version}/lib/prim/Agda/Primitive.agdai
 
 
 %files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
@@ -220,7 +223,7 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
 
 %changelog
 * Thu Apr 16 2015 Jens Petersen <petersen at redhat.com> - 2.4.2.2-2
-- compile Primitive.agda
+- compile Primitive.agda at install time
 
 * Fri Apr 03 2015 Jens Petersen <petersen at redhat.com> - 2.4.2.2-1
 - update to 2.4.2.2
-- 
cgit v0.10.2


	http://pkgs.fedoraproject.org/cgit/Agda.git/commit/?h=f22&id=e7f568af1c6e3c87e23a4e2f94d33f23b261716b