From 63627de4936707c40b5c4dca4f23e9fe1e9c4837 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Sun, 22 Oct 2023 14:44:10 +0100
Subject: gentoo auto-resync : 22:10:2023 - 14:44:09

---
 .../cryptominisat/cryptominisat-5.11.11.ebuild     | 37 ----------------------
 1 file changed, 37 deletions(-)
 delete mode 100644 sci-mathematics/cryptominisat/cryptominisat-5.11.11.ebuild

(limited to 'sci-mathematics/cryptominisat/cryptominisat-5.11.11.ebuild')

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
-}
-- 
cgit v1.2.3