diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-03-20 01:00:14 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-03-20 01:00:14 +0000 |
| commit | f4106f0cb3d17dc4c85cd4d45816e2c18a8d29e2 (patch) | |
| tree | 30f32cdcaa065cf7695f6f848d3fa7bfa998619a /dev-gap/tomlib/tomlib-1.2.11.ebuild | |
| parent | 8cb1b7629fb6936b7008bd364b5e4ec3ecf6f6cd (diff) | |
gentoo auto-resync : 20:03:2024 - 01:00:13
Diffstat (limited to 'dev-gap/tomlib/tomlib-1.2.11.ebuild')
| -rw-r--r-- | dev-gap/tomlib/tomlib-1.2.11.ebuild | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/dev-gap/tomlib/tomlib-1.2.11.ebuild b/dev-gap/tomlib/tomlib-1.2.11.ebuild new file mode 100644 index 000000000000..f7a18f9624df --- /dev/null +++ b/dev-gap/tomlib/tomlib-1.2.11.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit gap-pkg + +DESCRIPTION="The GAP library of Tables of Marks" +SLOT="0" +SRC_URI="https://github.com/gap-packages/${PN}/releases/download/v${PV}/${P}.tar.gz" + +LICENSE="GPL-2+" +KEYWORDS="~amd64" + +RDEPEND="dev-gap/atlasrep" + +# The are "extra" docs and not the HTML produced by GAPDoc. The glob +# gets expanded if we use a plain variable but not if we use a bash +# array. +HTML_DOCS="htm/*" + +GAP_PKG_EXTRA_INSTALL=( data ) |