From e7f568af1c6e3c87e23a4e2f94d33f23b261716b Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Thu, 16 Apr 2015 18:06:49 +0900 Subject: [PATCH] compile Primitive.agda at install time buildtime compile in buildroot fails due to filepath check --- Agda.spec | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) 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 - 2.4.2.2-2 -- compile Primitive.agda +- compile Primitive.agda at install time * Fri Apr 03 2015 Jens Petersen - 2.4.2.2-1 - update to 2.4.2.2