%global pkgname automata Name: gap-pkg-%{pkgname} Version: 1.15 Release: 8%{?dist} Summary: Finite automata algorithms License: GPL-2.0-or-later BuildArch: noarch ExclusiveArch: %{gap_arches} noarch URL: https://gap-packages.github.io/automata/ Source0: https://github.com/gap-packages/automata/releases/download/v%{version}/%{pkgname}-%{version}.tar.bz2 BuildRequires: gap-devel BuildRequires: gap-pkg-autodoc Requires: gap-core # Splash invokes tools from these packages Recommends: coreutils Recommends: graphviz Recommends: xdg-utils %description This package contains algorithms for working with finite automata in GAP. It can do the following: - compute a rational expression for the language recognized by a finite automaton; - compute an automaton for the language given by a rational expression; - minimalize a finite automaton; - visualize automata. %package doc # The content is GPL-2.0-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 # StandardSymL: GPL-1.0-or-later License: GPL-2.0-or-later AND Knuth-CTAN AND GPL-1.0-or-later AND AGPL-3.0-only Summary: Finite automata 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 gap tst version %{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 CHANGES EXAMPLES README.md %license GPL 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 Jan 24 2024 Fedora Release Engineering - 1.15-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering - 1.15-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Wed Jul 19 2023 Fedora Release Engineering - 1.15-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Jan 19 2023 Fedora Release Engineering - 1.15-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Thu Jan 12 2023 Jerry James - 1.15-4 - Update for split GAP directories * Thu Nov 10 2022 Jerry James - 1.15-4 - Clarify license of the doc subpackage * Tue Sep 27 2022 Jerry James - 1.15-3 - Update for gap 4.12.0 * Tue Aug 16 2022 Jerry James - 1.15-2 - Convert License tag to SPDX * Thu Jul 21 2022 Fedora Release Engineering - 1.15-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Mon Mar 21 2022 Jerry James - 1.15-1 - Version 1.15 * Thu Jan 20 2022 Fedora Release Engineering - 1.14-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Wed Jul 21 2021 Fedora Release Engineering - 1.14-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering - 1.14-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Mon Jul 27 2020 Fedora Release Engineering - 1.14-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jan 28 2020 Fedora Release Engineering - 1.14-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Thu Jul 25 2019 Fedora Release Engineering - 1.14-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Fri Feb 1 2019 Jerry James - 1.14-1 - New upstream version - New URLs - Drop graphviz and xdg-utils requirements; code is commented out - Add -doc subpackage - Add check script * Thu Jan 31 2019 Fedora Release Engineering - 1.13-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Jul 13 2018 Fedora Release Engineering - 1.13-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Feb 07 2018 Fedora Release Engineering - 1.13-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering - 1.13-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Fri Feb 10 2017 Fedora Release Engineering - 1.13-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Wed Aug 31 2016 Jerry James - 1.13-2 - Fix xdg-utils requirement * Sat Aug 27 2016 Jerry James - 1.13-1 - Initial RPM