diff options
| author |   Michael Orlitzky <mjo@gentoo.org> | 2024-02-20 14:07:51 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2024-02-20 18:40:23 -0500 |
| commit | 4c82c2a0c6f8efb2389e373f567cc94936960550 (patch) | |
| tree | 22dbee5e7e85991d4d0d3f5c59a7afb7df3ed945 /dev-gap | |
| parent | dev-gap/cvec: rebuild for GAP up/downgrades (diff) | |
| download | gentoo-4c82c2a0c6f8efb2389e373f567cc94936960550.tar.gz gentoo-4c82c2a0c6f8efb2389e373f567cc94936960550.tar.bz2 gentoo-4c82c2a0c6f8efb2389e373f567cc94936960550.zip | |
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@gentoo.org>
Diffstat (limited to 'dev-gap')
| -rw-r--r-- | dev-gap/edim/edim-1.3.7-r2.ebuild (renamed from dev-gap/edim/edim-1.3.7-r1.ebuild) | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev-gap/edim/edim-1.3.7-r1.ebuild b/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" ) |