blob: 36c76d21269f2a80714e6486de2898a2cc42ae92 (
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
|
# 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"
SRC_URI="https://github.com/gap-packages/smallgrp/releases/download/v${PV}/${MY_P}.tar.gz"
S="${WORKDIR}/${MY_P}"
LICENSE="Artistic-2"
SLOT="0"
KEYWORDS="amd64 ~riscv"
RDEPEND="dev-gap/gapdoc"
gap-pkg_enable_tests
src_install() {
# Define the variable here so globbing will work
GAP_PKG_EXTRA_INSTALL=( id* small* )
gap-pkg_src_install
}
|
