compile Primitive.agda at install time
buildtime compile in buildroot fails due to filepath check
This commit is contained in:
parent
67405aa2a0
commit
e7f568af1c
|
@ -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@redhat.com> - 2.4.2.2-2
|
||||
- compile Primitive.agda
|
||||
- compile Primitive.agda at install time
|
||||
|
||||
* Fri Apr 03 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-1
|
||||
- update to 2.4.2.2
|
||||
|
|
Loading…
Reference in New Issue