Gentoo Packages

Search

Install

Install this version:

emerge -a =sci-mathematics/sylvan-1.1.1

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

autounmask =sci-mathematics/sylvan-1.1.1

Or alternatively:

emerge --autounmask-write -a =sci-mathematics/sylvan-1.1.1

Package Information

Description:: Parallel decision diagram library
Homepage:: https://github.com/trolando/sylvan
License:: Apache-2.0

Ebuild Details

Version	EAPI	Keywords	Slot
1.1.1	8	~amd64	0

View Raw Ebuild

# Copyright 2026 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

inherit cmake flag-o-matic

DESCRIPTION="Parallel decision diagram library"
HOMEPAGE="https://github.com/trolando/sylvan"
SRC_URI="https://github.com/trolando/sylvan/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"

LICENSE="Apache-2.0"
SLOT="0"
KEYWORDS="~amd64"
IUSE="test"

BDEPEND="virtual/pkgconfig"
DEPEND="
	dev-libs/gmp:=
	sys-apps/hwloc:=
"
RDEPEND="${DEPEND}"

RESTRICT="!test? ( test )"

PATCHES=( "${FILESDIR}/${P}-cmake.patch" )

DOCS=( CHANGELOG.md README.md )

src_configure() {
	local mycmakeargs=(
		-DBUILD_TESTING=$(usex test)
		-DSYLVAN_BUILD_EXAMPLES=OFF
	)

	# Sylvan 1.1.1 uses pointer casts for type punning.
	append-flags -fno-strict-aliasing

	cmake_src_configure
}

USE Flags

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

Global/Standard Flags

test

Inherited Eclasses

cmake

flag-o-matic

Dependencies

DEPEND

	dev-libs/gmp:=
	sys-apps/hwloc:=

RDEPEND

	dev-libs/gmp:=
	sys-apps/hwloc:=

BDEPEND

virtual/pkgconfig

Manifest for 1.1.1

Type	File	Size	Source URLs
DIST	sylvan-1.1.1.tar.gz	287907 bytes	https://github.com/trolando/sylvan/archive/refs/tags/v1.1.1.tar.gz

sci-mathematics/sylvan - 1.1.1 (eventb-rossi)