diff options
Diffstat (limited to 'dev-gap/smallgrp/smallgrp-1.5.3.ebuild')
-rw-r--r-- | dev-gap/smallgrp/smallgrp-1.5.3.ebuild | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/dev-gap/smallgrp/smallgrp-1.5.3.ebuild b/dev-gap/smallgrp/smallgrp-1.5.3.ebuild new file mode 100644 index 000000000000..087d9333870a --- /dev/null +++ b/dev-gap/smallgrp/smallgrp-1.5.3.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit gap-pkg + +MY_P="SmallGrp-${PV}" +DESCRIPTION="The GAP Small Groups Library" +SLOT="0" +SRC_URI="https://github.com/gap-packages/smallgrp/releases/download/v${PV}/${MY_P}.tar.gz" + +LICENSE="Artistic-2" +KEYWORDS="~amd64" + +RDEPEND="dev-gap/gapdoc" +gap-pkg_enable_tests + +S="${WORKDIR}/${MY_P}" + +src_install() { + # Define the variable here so globbing will work + GAP_PKG_EXTRA_INSTALL=( id* small* ) + gap-pkg_src_install +} |