aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/clasp/clasp-3.3.8-r1.ebuild')
-rw-r--r--sci-mathematics/clasp/clasp-3.3.8-r1.ebuild54
1 files changed, 0 insertions, 54 deletions
diff --git a/sci-mathematics/clasp/clasp-3.3.8-r1.ebuild b/sci-mathematics/clasp/clasp-3.3.8-r1.ebuild
deleted file mode 100644
index 920e6506a..000000000
--- a/sci-mathematics/clasp/clasp-3.3.8-r1.ebuild
+++ /dev/null
@@ -1,54 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit cmake edo flag-o-matic
-
-DESCRIPTION="A conflict-driven nogood learning answer set solver"
-HOMEPAGE="
- https://github.com/potassco/clasp
- https://www.cs.uni-potsdam.de/clasp/
-"
-SRC_URI="https://github.com/potassco/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="~amd64"
-IUSE="examples test +threads +tools"
-
-RDEPEND="sci-libs/libpotassco:="
-DEPEND="
- ${RDEPEND}
- test? ( dev-cpp/catch:0 )
-"
-
-RESTRICT="!test? ( test )"
-PATCHES=( "${FILESDIR}/${PN}-manpage.patch" )
-
-src_prepare() {
- append-cxxflags "-I/usr/include/catch2"
- edo rm tests/catch.hpp
- cmake_src_prepare
-}
-
-src_configure() {
- local mycmakeargs=(
- -DCLASP_BUILD_APP=$(usex tools)
- -DCLASP_BUILD_EXAMPLES=$(usex examples)
- -DCLASP_BUILD_TESTS=$(usex test)
- -DCLASP_BUILD_WITH_THREADS=$(usex threads)
-
- -DCLASP_BUILD_STATIC=OFF
- -DCLASP_INSTALL_LIB=ON
- -DCLASP_INSTALL_VERSIONED=OFF
- -DCLASP_USE_LOCAL_LIB_POTASSCO=OFF
- )
- cmake_src_configure
-}
-
-src_install() {
- cmake_src_install
- doman clasp.1
- dodoc README.md CHANGES
-}