rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

include _build/ for .agdai files; move Everything/README to docs

Browse source
This commit is contained in:
Jens Petersen 2020-08-24 19:23:45 +08:00
commit c7c6fe2383
1 changed files with 8 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

12
Agda-stdlib.spec
View file

@ -2,7 +2,7 @@
Name: Agda-stdlib
Version: 1.3
Release: 3%{?dist}
Release: 4%{?dist}
Summary: Agda standard libraries
License: MIT
@ -46,7 +46,7 @@ dist/build/GenerateEverything/GenerateEverything
%install
mkdir -p %{buildroot}%{_datadir}/%{name}
cp -pr src %{buildroot}%{_datadir}/%{name}
cp -pr src _build %{buildroot}%{_datadir}/%{name}
install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/
@ -57,16 +57,20 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/
%files
%license LICENCE
%doc CHANGELOG.md README* Everything.agda
%doc CHANGELOG.md README.md
%{_datadir}/%{name}
%files docs
%license LICENCE
%doc CHANGELOG Everything* HACKING.md README*
%doc html
%changelog
* Mon Aug 24 2020 Jens Petersen <petersen@redhat.com> - 1.3-4
- Agda-2.6.1 puts .agdai files under _build/
- move Everything and README modules to docs
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild