blob: d4e9ec555d277d54cecfda194e81118d80daafdd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
# Copyright 1999-2026 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=9
inherit toolchain-funcs
DESCRIPTION="A C++ library for polynomials over boolean rings"
HOMEPAGE="https://github.com/BRiAl/BRiAl"
SRC_URI="https://github.com/BRiAl/BRiAl/releases/download/${PV}/${P}.tar.bz2"
# The top-level license is GPL2+, but cudd/LICENSE is BSD.
LICENSE="BSD GPL-2+"
SLOT="0"
KEYWORDS="amd64 ~riscv ~x86 ~x64-macos"
IUSE="png"
BDEPEND="virtual/pkgconfig"
DEPEND="dev-libs/boost
>=sci-libs/m4ri-20250128:=[png=]"
RDEPEND="${DEPEND}"
PATCHES=( "${FILESDIR}/cudd-3.0-bp.patch" )
src_configure() {
tc-export PKG_CONFIG
# with-boost-libdir added to deal with some rather quirky setups
# see https://github.com/cschwan/sage-on-gentoo/issues/551
econf \
--with-boost="${ESYSROOT}"/usr \
--with-boost-libdir="${ESYSROOT}"/usr/$(get_libdir)
}
src_install() {
default
find "${ED}" -name '*.la' -delete || die
}
|
