%global pkgname smallsemi
Name: gap-pkg-%{pkgname}
Version: 0.6.13
Release: 6%{?dist}
Summary: GAP library of small semigroups
License: GPL-3.0-or-later
BuildArch: noarch
ExclusiveArch: %{gap_arches} noarch
URL: https://gap-packages.github.io/smallsemi/
Source0: https://github.com/gap-packages/smallsemi/releases/download/v%{version}/%{pkgname}-%{version}.tar.gz
BuildRequires: gap-devel
BuildRequires: gap-pkg-autodoc
Requires: gap-core
%description
The Smallsemi package is a data library of semigroups of small size. It
provides all semigroups with at most 8 elements as well as information
of various kinds about these objects.
%package doc
# The content is GFDL-1.1-no-invariants-or-later. The remaining licenses cover
# the various fonts embedded in PDFs.
# CM: Knuth-CTAN
# CM-Super: GPL-1.0-or-later
# Nimbus: AGPL-3.0-only
License: GFDL-1.1-no-invariants-or-later AND Knuth-CTAN AND GPL-1.0-or-later AND AGPL-3.0-only
Summary: Small semigroups documentation
Requires: %{name} = %{version}-%{release}
Requires: gap-online-help
%description doc
This package contains documentation for gap-pkg-%{pkgname}.
%prep
%autosetup -n %{pkgname}-%{version}
%build
export LC_ALL=C.UTF-8
gap makedoc.g
%install
mkdir -p %{buildroot}%{gap_libdir}/pkg/%{pkgname}/doc
cp -a *.g data gap tst %{buildroot}%{gap_libdir}/pkg/%{pkgname}
%gap_copy_docs
%check
export LC_ALL=C.UTF-8
gap -l "%{buildroot}%{gap_libdir};" tst/testall.g
%files
%doc CHANGELOG README
%license LICENSE
%{gap_libdir}/pkg/%{pkgname}/
%exclude %{gap_libdir}/pkg/%{pkgname}/doc/
%files doc
%docdir %{gap_libdir}/pkg/%{pkgname}/doc/
%{gap_libdir}/pkg/%{pkgname}/doc/
%changelog
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.13-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.13-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Thu Jan 12 2023 Jerry James <loganjerry@gmail.com> - 0.6.13-4
- Update for split GAP directories
* Thu Nov 10 2022 Jerry James <loganjerry@gmail.com> - 0.6.13-3
- Clarify license of the doc subpackage
* Tue Sep 27 2022 Jerry James <loganjerry@gmail.com> - 0.6.13-3
- Update for gap 4.12.0
- Convert License tag to SPDX
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.13-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Mar 1 2022 Jerry James <loganjerry@gmail.com> - 0.6.13-1
- Version 0.6.13
- Drop upstreamed -bib patch
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.12-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.12-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.12-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.12-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.12-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Thu Aug 22 2019 Jerry James <loganjerry@gmail.com> - 0.6.12-1
- New upstream version (bz 1744687)
- New URLs
- Drop -test patch, no longer needed
- Add -bib patch to fix documentation generation
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.11-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Fri Feb 1 2019 Jerry James <loganjerry@gmail.com> - 0.6.11-6
- Rebuild for gap 4.10.0
- Add -test patch
- Add -doc subpackage
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.11-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.11-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.11-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.11-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Wed Apr 26 2017 Jerry James <loganjerry@gmail.com> - 0.6.11-1
- New upstream version (bz 1445743)
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.10-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Thu Apr 7 2016 Jerry James <loganjerry@gmail.com> - 0.6.10-1
- New upstream version
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.8-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Thu Nov 12 2015 Jerry James <loganjerry@gmail.com> - 0.6.8-1
- Initial RPM