diff options
Diffstat (limited to 'dev-gap/edim/edim-1.3.7-r2.ebuild')
-rw-r--r-- | dev-gap/edim/edim-1.3.7-r2.ebuild | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/dev-gap/edim/edim-1.3.7-r2.ebuild b/dev-gap/edim/edim-1.3.7-r2.ebuild new file mode 100644 index 000000000000..4db28d12584c --- /dev/null +++ b/dev-gap/edim/edim-1.3.7-r2.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_PN=EDIM +MY_P="${MY_PN}-${PV}" +DESCRIPTION="Elementary Divisors of Integer Matrices (EDIM) for GAP" +SRC_URI="https://www.math.rwth-aachen.de/~Frank.Luebeck/${MY_PN}/${MY_P}.tar.gz" +S="${WORKDIR}/${MY_P}" + +LICENSE="GPL-2+" +SLOT="0" +KEYWORDS="~amd64" + +DEPEND="sci-mathematics/gap:=" +RDEPEND="${DEPEND}" + +PATCHES=( + "${FILESDIR}/${PN}-1.3.7-user-flags.patch" +) + +gap-pkg_enable_tests |