blob: 087d9333870aeab38efab435cde8a094df829168 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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
}
|
GitWeb
