mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-05 14:07:27 -08:00
d7a2626e8e
needed to support deg-gap/semigroups-5.5.3 Bug: https://bugs.gentoo.org/960613 Signed-off-by: Dima Pasechnik <dima@pasechnik.info> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
28 lines
646 B
Bash
28 lines
646 B
Bash
# Copyright 2019-2025 Gentoo Authors
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=8
|
|
|
|
DESCRIPTION="C++ library for semigroups and monoids"
|
|
HOMEPAGE="https://github.com/libsemigroups/libsemigroups"
|
|
SRC_URI="https://github.com/${PN}/${PN}/releases/download/v${PV}/${P}.tar.gz"
|
|
|
|
# Source headers have "or any later version"
|
|
LICENSE="GPL-3+"
|
|
SLOT="0/2"
|
|
KEYWORDS="~amd64 ~riscv ~x86"
|
|
IUSE="cpu_flags_x86_popcnt"
|
|
|
|
src_configure() {
|
|
econf \
|
|
$(use_enable cpu_flags_x86_popcnt popcnt) \
|
|
--disable-eigen \
|
|
--disable-hpcombi \
|
|
--disable-fmt
|
|
}
|
|
|
|
src_install() {
|
|
default
|
|
find "${ED}" -type f -name '*.la' -delete || die
|
|
}
|