rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

final build fixes 

EpicInclude is gone
This commit is contained in:
Jens Petersen 2016-10-06 16:22:37 +09:00
parent c4dd38eef5
commit 4f10ceb221
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
Agda.spec
View File

@ -163,7 +163,6 @@ mkdir -p %{buildroot}%{_emacs_sitestartdir}
install -p -m 0644 %SOURCE1 %{buildroot}%{_emacs_sitestartdir}
rm %{buildroot}%{_bindir}/agda-mode
rm -r %{buildroot}%{_datadir}/%{pkgver}/EpicInclude
rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
@ -180,7 +179,7 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
%files
%doc README.md
%doc %{pkgver}/README.md
%dir %{_emacs_sitelispdir}/agda
%{_emacs_sitelispdir}/agda/*.el
%{_emacs_sitelispdir}/agda/*.elc
@ -188,14 +187,14 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
%files -n ghc-%{name} -f ghc-%{name}.files
%license LICENSE
%license %{pkgver}/LICENSE
%{_bindir}/agda
%{_datadir}/%{name}-%{version}
%ghost %{_datadir}/%{name}-%{version}/lib/prim/Agda/Primitive.agdai
%files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
%doc CHANGELOG
%doc %{pkgver}/CHANGELOG
%changelog