diff --git a/.gitignore b/.gitignore index e69de29..ae36fd2 100644 --- a/.gitignore +++ b/.gitignore @@ -0,0 +1 @@ +/smallsemi-0.6.8.tar.gz diff --git a/gap-pkg-smallsemi.spec b/gap-pkg-smallsemi.spec new file mode 100644 index 0000000..220ad93 --- /dev/null +++ b/gap-pkg-smallsemi.spec @@ -0,0 +1,59 @@ +%global pkgname smallsemi + +Name: gap-pkg-%{pkgname} +Version: 0.6.8 +Release: 1%{?dist} +Summary: GAP library of small semigroups + +License: GPLv3+ +URL: http://www-groups.mcs.st-andrews.ac.uk/~jamesm/smallsemi.php +Source0: http://www-groups.mcs.st-andrews.ac.uk/~jamesm/smallsemi/%{pkgname}-%{version}.tar.gz +BuildArch: noarch + +BuildRequires: gap-devel +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. + +%prep +%setup -q -n %{pkgname}-%{version} + +%build +# Link to main GAP documentation +ln -s %{_gap_dir}/doc ../../doc +mkdir -p ../pkg +ln -s ../%{pkgname}-%{version} ../pkg +gap -l "$PWD/..;%{_gap_dir}" << EOF +LoadPackage( "smallsemi" ); +SmallsemiMakeDoc(); +CopyHTMLStyleFiles( "doc" ); +GAPDocManualLab( "smallsemi" ); +EOF +rm -fr ../../doc ../pkg + +%install +mkdir -p %{buildroot}%{_gap_dir}/pkg +cp -a ../%{pkgname}-%{version} %{buildroot}%{_gap_dir}/pkg/%{pkgname} +rm -f %{buildroot}%{_gap_dir}/pkg/%{pkgname}/{CHANGELOG,GPLv3,README} +rm -f %{buildroot}%{_gap_dir}/pkg/%{pkgname}/doc/*.{aux,bbl,blg,brf,idx,ilg,ind,log,out,pnr,toc} + +%check +cd tst +gap -l "%{_gap_dir};%{buildroot}%{_gap_dir}" << EOF 2>&1 | tee log +ReadPackage( "smallsemi", "tst/testall.g" ); +EOF +grep -Evq 'fail|false' log +rm -f log + +%files +%doc CHANGELOG README +%license GPLv3 +%docdir %{_gap_dir}/pkg/%{pkgname}/doc +%{_gap_dir}/pkg/%{pkgname}/ + +%changelog +* Thu Nov 12 2015 Jerry James - 0.6.8-1 +- Initial RPM diff --git a/sources b/sources index e69de29..e3a43e6 100644 --- a/sources +++ b/sources @@ -0,0 +1 @@ +c1de6a25d53f88e70a771ea7e78479a7 smallsemi-0.6.8.tar.gz