aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/aspcud')
-rw-r--r--sci-mathematics/aspcud/Manifest1
-rw-r--r--sci-mathematics/aspcud/aspcud-1.9.6.ebuild53
-rw-r--r--sci-mathematics/aspcud/files/aspcud3
-rw-r--r--sci-mathematics/aspcud/files/aspcud-1.9.6-system-catch.patch10
-rw-r--r--sci-mathematics/aspcud/metadata.xml12
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>