commit: 4c82c2a0c6f8efb2389e373f567cc94936960550
Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
AuthorDate: Tue Feb 20 19:07:51 2024 +0000
Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
CommitDate: Tue Feb 20 23:40:23 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4c82c2a0
dev-gap/edim: rebuild for GAP up/downgrades
This package actually doesn't crash after the GAP 4.12 <-> 4.13
up/downgrade, but it still builds and installs a GAP kernel module
called ediv.so that probably does need to be rebuilt in general. Let's
play it safe.
Signed-off-by: Michael Orlitzky <mjo <AT> gentoo.org>
dev-gap/edim/{edim-1.3.7-r1.ebuild => edim-1.3.7-r2.ebuild} | 3 +++
1 file changed, 3 insertions(+)
diff --git a/dev-gap/edim/edim-1.3.7-r1.ebuild
b/dev-gap/edim/edim-1.3.7-r2.ebuild
similarity index 89%
rename from dev-gap/edim/edim-1.3.7-r1.ebuild
rename to dev-gap/edim/edim-1.3.7-r2.ebuild
index e3376c37f636..4db28d12584c 100644
--- a/dev-gap/edim/edim-1.3.7-r1.ebuild
+++ b/dev-gap/edim/edim-1.3.7-r2.ebuild
@@ -15,6 +15,9 @@ LICENSE="GPL-2+"
SLOT="0"
KEYWORDS="~amd64"
+DEPEND="sci-mathematics/gap:="
+RDEPEND="${DEPEND}"
+
PATCHES=(
"${FILESDIR}/${PN}-1.3.7-user-flags.patch"
)
