diff options
Diffstat (limited to 'sci-mathematics/cvc4/cvc4-1.7.ebuild')
-rw-r--r-- | sci-mathematics/cvc4/cvc4-1.7.ebuild | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/sci-mathematics/cvc4/cvc4-1.7.ebuild b/sci-mathematics/cvc4/cvc4-1.7.ebuild new file mode 100644 index 000000000000..0b192f127391 --- /dev/null +++ b/sci-mathematics/cvc4/cvc4-1.7.ebuild @@ -0,0 +1,54 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit cmake-utils + +DESCRIPTION="automatic theorem prover for satisfiability modulo theories (SMT) problems" +HOMEPAGE="http://cvc4.cs.stanford.edu/web/" +SRC_URI="https://github.com/CVC4/CVC4/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="GPL-2" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="+cln" + +RDEPEND="dev-libs/antlr-c + dev-java/antlr:3 + dev-libs/boost + cln? ( sci-libs/cln ) + !cln? ( dev-libs/gmp:= )" +DEPEND="${RDEPEND}" + +S="${WORKDIR}"/CVC4-${PV} + +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) + +src_configure() { + CMAKE_MAKEFILE_GENERATOR=emake + local mycmakeargs=( + -DANTLR_BINARY=/usr/bin/antlr3 + -DENABLE_GPL=ON + -DUSE_CLN="$(usex cln ON OFF)" + ) + cmake-utils_src_configure +} + +src_test() { + emake -C "${BUILD_DIR}" \ + examples \ + boilerplate \ + ouroborous \ + reset_assertions \ + sep_log_api \ + smt2_compliance \ + two_smt_engines \ + statistics + cmake-utils_src_test +} + +src_install() { + cmake-utils_src_install + mv "${D}"/usr/{lib,$(get_libdir)} +} |