diff options
Diffstat (limited to 'dev-gap/genss/genss-1.6.8.ebuild')
-rw-r--r-- | dev-gap/genss/genss-1.6.8.ebuild | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/dev-gap/genss/genss-1.6.8.ebuild b/dev-gap/genss/genss-1.6.8.ebuild new file mode 100644 index 000000000000..c5439755306a --- /dev/null +++ b/dev-gap/genss/genss-1.6.8.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit gap-pkg + +DESCRIPTION="GAP implementation of the randomized Schreier-Sims algorithm" +SLOT="0" +SRC_URI="https://github.com/gap-packages/${PN}/releases/download/v${PV}/${P}.tar.bz2" + +LICENSE="GPL-3+" +KEYWORDS="~amd64" +IUSE="examples" + +RDEPEND="dev-gap/io + dev-gap/orb" + +gap-pkg_enable_tests + +src_install() { + gap-pkg_src_install + use examples && dodoc -r examples +} |