diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-07-23 20:51:24 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-07-23 20:51:24 +0100 |
commit | fceabcd48faf4c890719a14ac4ed93b6b7993364 (patch) | |
tree | 509e41dc22637aa99b763e5fc14944d8e235c304 /sci-mathematics/vampire/vampire-4.7.ebuild | |
parent | 674b648c65d37f018cecade7f66ab3162ed94a8e (diff) |
gentoo auto-resync : 23:07:2022 - 20:51:24
Diffstat (limited to 'sci-mathematics/vampire/vampire-4.7.ebuild')
-rw-r--r-- | sci-mathematics/vampire/vampire-4.7.ebuild | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/sci-mathematics/vampire/vampire-4.7.ebuild b/sci-mathematics/vampire/vampire-4.7.ebuild new file mode 100644 index 000000000000..bd33eda2b980 --- /dev/null +++ b/sci-mathematics/vampire/vampire-4.7.ebuild @@ -0,0 +1,57 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +H=2d02e4655e1b08d1ca9ee7c0aade40f59f046460 # "bump to 4.7" + +inherit cmake + +DESCRIPTION="The Vampire Prover, theorem prover for first-order logic" +HOMEPAGE="https://vprover.github.io" + +if [[ ${PV} == *9999* ]] ; then + inherit git-r3 + EGIT_REPO_URI="https://github.com/vprover/${PN}.git" + EGIT_SUBMODULES=() +else + SRC_URI="https://github.com/vprover/${PN}/archive/${H}.tar.gz + -> ${P}.tar.gz" + S="${WORKDIR}"/${PN}-${H} + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="BSD" +SLOT="0/${PV}" +IUSE="debug +z3" +# debug mode needs to be enabled for tests +# https://github.com/vprover/vampire/blob/8197e1d2d86a0b276b5fcb6c02d8122f66b7277e/CMakeLists.txt#L38 +RESTRICT="!debug? ( test )" + +RDEPEND=" + z3? ( + dev-libs/gmp:= + <sci-mathematics/z3-4.10:= + ) +" +DEPEND="${RDEPEND}" + +src_configure() { + local CMAKE_BUILD_TYPE + if use debug ; then + CMAKE_BUILD_TYPE=Debug + else + CMAKE_BUILD_TYPE=Release + fi + + local mycmakeargs=( -DZ3_DIR=$(usex z3 "/usr/$(get_libdir)/cmake/z3/" "") ) + cmake_src_configure +} + +src_install() { + local bin_name=$(find "${BUILD_DIR}"/bin/ -type f -name "${PN}*") + dobin "${bin_name}" + dosym $(basename "${bin_name}") /usr/bin/${PN} + + einstalldocs +} |