diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2021-05-27 18:45:43 +0200 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2021-05-27 18:45:43 +0200 |
commit | f156562b157e5e59722065a39c5264413fcde2f1 (patch) | |
tree | 582f1605bcd0c0aa6fe302e38469ac73d730c5a0 /sci-mathematics/cvc4/cvc4-1.8.ebuild | |
parent | sys-auth/solo-python: support python3_10 (diff) | |
download | gentoo-f156562b157e5e59722065a39c5264413fcde2f1.tar.gz gentoo-f156562b157e5e59722065a39c5264413fcde2f1.tar.bz2 gentoo-f156562b157e5e59722065a39c5264413fcde2f1.zip |
sci-mathematics/cvc4: version bump to 1.8
Package-Manager: Portage-3.0.18, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics/cvc4/cvc4-1.8.ebuild')
-rw-r--r-- | sci-mathematics/cvc4/cvc4-1.8.ebuild | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/sci-mathematics/cvc4/cvc4-1.8.ebuild b/sci-mathematics/cvc4/cvc4-1.8.ebuild new file mode 100644 index 000000000000..347dbda0a248 --- /dev/null +++ b/sci-mathematics/cvc4/cvc4-1.8.ebuild @@ -0,0 +1,55 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +CMAKE_MAKEFILE_GENERATOR=emake +PYTHON_COMPAT=( python3_{7,8,9} ) +inherit cmake python-any-r1 + +DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT) problems" +HOMEPAGE="https://cvc4.github.io/" +SRC_URI="https://github.com/CVC4/CVC4-archived/archive/refs/tags/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="GPL-2" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="+cln proofs readline replay +statistics" + +RDEPEND="dev-libs/antlr-c + dev-java/antlr:3 + dev-libs/boost + readline? ( sys-libs/readline:0= ) + cln? ( sci-libs/cln ) + !cln? ( dev-libs/gmp:= )" +DEPEND="${RDEPEND}" +BDEPEND="${PYTHON_DEPS}" + +S="${WORKDIR}"/${PN^^}-archived-${PV} + +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) + +src_configure() { + local mycmakeargs=( + -DANTLR_BINARY=/usr/bin/antlr3 + -DENABLE_GPL=ON + -DENABLE_OPTIMIZED=ON + -DUSE_CLN="$(usex cln ON OFF)" + -DUSE_READLINE="$(usex readline ON OFF)" + -DENABLE_STATISTICS="$(usex statistics ON OFF)" + -DENABLE_PROOFS="$(usex proofs ON OFF)" + -DENABLE_REPLAY="$(usex replay ON OFF)" + ) + cmake_src_configure +} + +src_test() { + emake -C "${BUILD_DIR}" \ + systemtests + cmake_src_test +} + +src_install() { + cmake_src_install + mv "${D}"/usr/{lib,$(get_libdir)} +} |