diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-10-22 14:44:10 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-10-22 14:44:10 +0100 |
commit | 63627de4936707c40b5c4dca4f23e9fe1e9c4837 (patch) | |
tree | 0882ba9f0e330ae7e1f2f3306a6683000060355d /sci-mathematics/cryptominisat/cryptominisat-5.11.11.ebuild | |
parent | 940cec7afea0fff03b206c62a512335e6f9d2d00 (diff) |
gentoo auto-resync : 22:10:2023 - 14:44:09
Diffstat (limited to 'sci-mathematics/cryptominisat/cryptominisat-5.11.11.ebuild')
-rw-r--r-- | sci-mathematics/cryptominisat/cryptominisat-5.11.11.ebuild | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/sci-mathematics/cryptominisat/cryptominisat-5.11.11.ebuild b/sci-mathematics/cryptominisat/cryptominisat-5.11.11.ebuild deleted file mode 100644 index 4d4e2a5c0742..000000000000 --- a/sci-mathematics/cryptominisat/cryptominisat-5.11.11.ebuild +++ /dev/null @@ -1,37 +0,0 @@ -# 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 -} |