diff options
Diffstat (limited to 'sci-mathematics/cryptominisat/cryptominisat-5.11.12.ebuild')
-rw-r--r-- | sci-mathematics/cryptominisat/cryptominisat-5.11.12.ebuild | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/sci-mathematics/cryptominisat/cryptominisat-5.11.12.ebuild b/sci-mathematics/cryptominisat/cryptominisat-5.11.12.ebuild new file mode 100644 index 000000000000..4d4e2a5c0742 --- /dev/null +++ b/sci-mathematics/cryptominisat/cryptominisat-5.11.12.ebuild @@ -0,0 +1,37 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit cmake + +DESCRIPTION="Advanced SAT solver with C++ and command-line interfaces" +HOMEPAGE="https://github.com/msoos/cryptominisat/" + +if [[ ${PV} == *9999* ]] ; then + inherit git-r3 + EGIT_REPO_URI="https://github.com/msoos/${PN}.git" +else + SRC_URI="https://github.com/msoos/${PN}/archive/${PV}.tar.gz + -> ${P}.tar.gz" + KEYWORDS="~amd64 ~x86" +fi + +SLOT="0/${PV}" +LICENSE="GPL-2 MIT" +RESTRICT="test" # Tests require many git modules. + +RDEPEND=" + dev-libs/boost:= + sys-libs/zlib:= +" +DEPEND="${RDEPEND}" + +src_configure() { + local -a mycmakeargs=( + -DNOBREAKID=ON + -DNOM4RI=ON + -DENABLE_TESTING=OFF + ) + cmake_src_configure +} |