sci-mathematics/cudd - 3.0.0 (vowstar)

Search

Install

Install this version:

emerge -a =sci-mathematics/cudd-3.0.0

If this version is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask =sci-mathematics/cudd-3.0.0

Or alternatively:

emerge --autounmask-write -a =sci-mathematics/cudd-3.0.0

Package Information

Description:
Colorado University binary Decision Diagram library
Homepage:
https://github.com/davidkebo/cudd
License:
BSD

Ebuild Details

Version EAPI Keywords Slot
3.0.0 8 ~amd64 ~x86 0/3.0.0
View Raw Ebuild
# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

DESCRIPTION="Colorado University binary Decision Diagram library"
HOMEPAGE="https://github.com/davidkebo/cudd"
SRC_URI="https://github.com/davidkebo/cudd/raw/main/cudd_versions/${PN}-${PV%%-*}.tar.gz"
S="${WORKDIR}/${PN}-${PV%%-*}"

LICENSE="BSD"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE="doc"

BDEPEND="
	doc? (
		app-text/doxygen
		dev-texlive/texlive-latex
		dev-texlive/texlive-latexextra
	)
"

src_configure() {
	local myconf=(
		--enable-dddmp
		--enable-obj
		--enable-shared
	)
	econf "${myconf[@]}"
}

src_compile() {
	# Build library via all-am target (excludes docs)
	emake all-am

	if use doc; then
		# Documentation build may fail with certain doxygen + GCC combinations
		# due to std::string_view assertion failures
		emake html || ewarn "HTML documentation build failed"
		emake -C doc cudd.pdf || ewarn "PDF documentation build failed"
	fi
}

src_install() {
	default
	find "${ED}" -name "*.la" -type f -delete || die

	if use doc; then
		[[ -d html ]] && dodoc -r html
		[[ -f doc/cudd.pdf ]] && dodoc doc/cudd.pdf
	fi
}

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/cudd | euse -E <flag> -p sci-mathematics/cudd | euse -D <flag> -p sci-mathematics/cudd

Global/Standard Flags

doc

Dependencies

BDEPEND

	doc? (
		app-text/doxygen
		dev-texlive/texlive-latex
		dev-texlive/texlive-latexextra
	)

Manifest for 3.0.0

Type File Size Source URLs
DIST cudd-3.0.0.tar.gz 1175302 bytes https://github.com/davidkebo/cudd/raw/main/cudd_versions/cudd-3.0.0.tar.gz