diff options
Diffstat (limited to 'sci-mathematics/aspcud')
-rw-r--r-- | sci-mathematics/aspcud/Manifest | 1 | ||||
-rw-r--r-- | sci-mathematics/aspcud/aspcud-1.9.6.ebuild | 53 | ||||
-rw-r--r-- | sci-mathematics/aspcud/files/aspcud | 3 | ||||
-rw-r--r-- | sci-mathematics/aspcud/files/aspcud-1.9.6-system-catch.patch | 10 | ||||
-rw-r--r-- | sci-mathematics/aspcud/metadata.xml | 12 |
5 files changed, 0 insertions, 79 deletions
diff --git a/sci-mathematics/aspcud/Manifest b/sci-mathematics/aspcud/Manifest deleted file mode 100644 index dee9f9cbc..000000000 --- a/sci-mathematics/aspcud/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST aspcud-1.9.6.tar.gz 70041232 BLAKE2B 9854185b9674a062ce017b1c210ca7fb3b802e564c46a2036d48bb3178c1d5c0158841ee9e1f4c0a33b30038c2d4477f307c14415df48cf50c37682ef292fce0 SHA512 a46183c2fd3b17881d48c3396164cded4b5214a2a8a31a499254533a8a71fb084a8b6f13ee1dc8eea72f7d9819caf2921f31a5ccc1cbd6611f9175e0bc10c14a diff --git a/sci-mathematics/aspcud/aspcud-1.9.6.ebuild b/sci-mathematics/aspcud/aspcud-1.9.6.ebuild deleted file mode 100644 index 2f6a9b891..000000000 --- a/sci-mathematics/aspcud/aspcud-1.9.6.ebuild +++ /dev/null @@ -1,53 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit cmake flag-o-matic - -DESCRIPTION="A solver for package problems in CUDF format" -HOMEPAGE=" - https://github.com/potassco/aspcud - https://potassco.org/aspcud/ -" -SRC_URI="https://github.com/potassco/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="MIT" -SLOT="0" -KEYWORDS="~amd64" -IUSE="test" - -DEPEND=" - dev-libs/boost:= - test? ( dev-cpp/catch:0 ) -" -RDEPEND=" - ${DEPEND} - sci-mathematics/clasp - sci-mathematics/clingo -" -BDEPEND="dev-util/re2c" - -RESTRICT="!test? ( test )" -PATCHES=( "${FILESDIR}/${P}-system-catch.patch" ) - -src_prepare() { - rm libcudf/tests/catch.hpp || die - cmake_src_prepare -} - -src_configure() { - append-cxxflags "-I/usr/include/catch2" - local mycmakeargs=( - -DASPCUD_BUILD_TESTS=$(usex test) - - -DASPCUD_BUILD_STATIC=OFF - ) - cmake_src_configure -} - -src_install() { - cmake_src_install - insinto /usr/share/cudf/solvers/ - doins "${FILESDIR}/aspcud" -} diff --git a/sci-mathematics/aspcud/files/aspcud b/sci-mathematics/aspcud/files/aspcud deleted file mode 100644 index 7bd867cdf..000000000 --- a/sci-mathematics/aspcud/files/aspcud +++ /dev/null @@ -1,3 +0,0 @@ -description: CUDF solver based on the Answer Set Programming tools clasp and gringo -exec: /usr/bin/aspcud "$in" "$out" "$pref" -cudf-version: 2.0 diff --git a/sci-mathematics/aspcud/files/aspcud-1.9.6-system-catch.patch b/sci-mathematics/aspcud/files/aspcud-1.9.6-system-catch.patch deleted file mode 100644 index b08c3100e..000000000 --- a/sci-mathematics/aspcud/files/aspcud-1.9.6-system-catch.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- a/libcudf/tests/CMakeLists.txt -+++ b/libcudf/tests/CMakeLists.txt -@@ -1,7 +1,6 @@ - # [[[source: . - set(ide_source_group "Source Files") - set(source-group -- "${CMAKE_CURRENT_SOURCE_DIR}/catch.hpp" - "${CMAKE_CURRENT_SOURCE_DIR}/criteria.cc" - "${CMAKE_CURRENT_SOURCE_DIR}/critparser.cc" - "${CMAKE_CURRENT_SOURCE_DIR}/helpers.hh" diff --git a/sci-mathematics/aspcud/metadata.xml b/sci-mathematics/aspcud/metadata.xml deleted file mode 100644 index 76dc1e401..000000000 --- a/sci-mathematics/aspcud/metadata.xml +++ /dev/null @@ -1,12 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="person"> - <email>lssndrbarbieri@gmail.com</email> - <name>Alessandro Barbieri</name> - </maintainer> - <upstream> - <bugs-to>https://github.com/potassco/aspcud/issues</bugs-to> - <remote-id type="github">potassco/aspcud</remote-id> - </upstream> -</pkgmetadata> |