From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 9F1F2158091 for ; Thu, 2 Jun 2022 01:23:37 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id CC71CE07EE; Thu, 2 Jun 2022 01:23:36 +0000 (UTC) Received: from smtp.gentoo.org (dev.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id AFBF9E07EE for ; Thu, 2 Jun 2022 01:23:36 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 8225E341B44 for ; Thu, 2 Jun 2022 01:23:35 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 6C61C4F2 for ; Thu, 2 Jun 2022 01:23:32 +0000 (UTC) From: "Alessandro Barbieri" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Alessandro Barbieri" Message-ID: <1654133010.c5b96369a66f934c2f6a877d61eb2652cf0b47b0.Alessandro-Barbieri@gentoo> Subject: [gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/clasp/, sci-mathematics/clasp/files/ X-VCS-Repository: repo/proj/guru X-VCS-Files: sci-mathematics/clasp/clasp-3.3.8-r1.ebuild sci-mathematics/clasp/clasp-3.3.8.ebuild sci-mathematics/clasp/files/clasp-manpage.patch X-VCS-Directories: sci-mathematics/clasp/files/ sci-mathematics/clasp/ X-VCS-Committer: Alessandro-Barbieri X-VCS-Committer-Name: Alessandro Barbieri X-VCS-Revision: c5b96369a66f934c2f6a877d61eb2652cf0b47b0 X-VCS-Branch: dev Date: Thu, 2 Jun 2022 01:23:32 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: b8c65782-990c-4bc2-aa0f-f73d09f2e87c X-Archives-Hash: 54541485139f3b6540f21e12b4614e6e commit: c5b96369a66f934c2f6a877d61eb2652cf0b47b0 Author: Alessandro Barbieri gmail com> AuthorDate: Thu Jun 2 01:03:41 2022 +0000 Commit: Alessandro Barbieri gmail com> CommitDate: Thu Jun 2 01:23:30 2022 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=c5b96369 sci-mathematics/clasp: add manpage Signed-off-by: Alessandro Barbieri gmail.com> .../{clasp-3.3.8.ebuild => clasp-3.3.8-r1.ebuild} | 11 +++- sci-mathematics/clasp/files/clasp-manpage.patch | 68 ++++++++++++++++++++++ 2 files changed, 77 insertions(+), 2 deletions(-) diff --git a/sci-mathematics/clasp/clasp-3.3.8.ebuild b/sci-mathematics/clasp/clasp-3.3.8-r1.ebuild similarity index 84% rename from sci-mathematics/clasp/clasp-3.3.8.ebuild rename to sci-mathematics/clasp/clasp-3.3.8-r1.ebuild index d033cf20f..920e6506a 100644 --- a/sci-mathematics/clasp/clasp-3.3.8.ebuild +++ b/sci-mathematics/clasp/clasp-3.3.8-r1.ebuild @@ -3,7 +3,7 @@ EAPI=8 -inherit cmake flag-o-matic +inherit cmake edo flag-o-matic DESCRIPTION="A conflict-driven nogood learning answer set solver" HOMEPAGE=" @@ -24,10 +24,11 @@ DEPEND=" " RESTRICT="!test? ( test )" +PATCHES=( "${FILESDIR}/${PN}-manpage.patch" ) src_prepare() { append-cxxflags "-I/usr/include/catch2" - rm tests/catch.hpp || die + edo rm tests/catch.hpp cmake_src_prepare } @@ -45,3 +46,9 @@ src_configure() { ) cmake_src_configure } + +src_install() { + cmake_src_install + doman clasp.1 + dodoc README.md CHANGES +} diff --git a/sci-mathematics/clasp/files/clasp-manpage.patch b/sci-mathematics/clasp/files/clasp-manpage.patch new file mode 100644 index 000000000..136ab5ea4 --- /dev/null +++ b/sci-mathematics/clasp/files/clasp-manpage.patch @@ -0,0 +1,68 @@ +From: Thomas Krennwallner +Date: Wed, 30 Nov 2016 08:39:00 +0100 +Subject: Add clasp.1 manpage + +--- /dev/null ++++ b/clasp.1 +@@ -0,0 +1,61 @@ ++.\" Hey, EMACS: -*- nroff -*- ++.\" First parameter, NAME, should be all caps ++.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection ++.\" other parameters are allowed: see man(7), man(1) ++.TH CLASP 1 "March 4, 2010" ++.\" Please adjust this date whenever revising the manpage. ++.\" ++.\" Some roff macros, for reference: ++.\" .nh disable hyphenation ++.\" .hy enable hyphenation ++.\" .ad l left justify ++.\" .ad b justify to both left and right margins ++.\" .nf disable filling ++.\" .fi enable filling ++.\" .br insert line break ++.\" .sp insert n+1 empty lines ++.\" for manpage-specific macros, see man(7) ++.SH NAME ++clasp \- a conflict-driven nogood learning answer set solver ++.SH SYNOPSIS ++.B clasp ++[\fInumber\fR] \fR[\fIoptions\fR] ++.SH DESCRIPTION ++This manual page documents briefly the ++.B clasp ++command. ++.PP ++.\" TeX users may be more comfortable with the \fB\fP and ++.\" \fI\fP escape sequences to invode bold face and italics, ++.\" respectively. ++\fBclasp\fP is an answer set solver for (extended) normal logic ++programs. It combines the high-level modeling capacities of answer set ++programming (ASP) with state-of-the-art techniques from the area of ++Boolean constraint solving. The primary clasp algorithm relies on ++conflict-driven nogood learning, a technique that proved very ++successful for satisfiability checking (SAT). Unlike other learning ++ASP solvers, clasp does not rely on legacy software, such as a SAT ++solver or any other existing ASP solver. Rather, clasp has been ++genuinely developed for answer set solving based on conflict-driven ++nogood learning. clasp can be applied as an ASP solver (on LPARSE ++output format), as a SAT solver (on simplified DIMACS/CNF format), or ++as a PB solver (on OPB format). ++.SH OPTIONS ++These programs follow the usual GNU command line syntax, with long ++options starting with two dashes (`-'). ++A summary of options is included below. ++For a complete description, see . ++.TP ++.B \-h, \-\-help ++Show summary of options. ++.TP ++.B \-v, \-\-version ++Show version of program. ++.SH SEE ALSO ++.BR gringo (1). ++.br ++.SH AUTHOR ++clasp was written by Benjamin Kaufmann . ++.PP ++This manual page was written by Thomas Krennwallner , ++for the Debian project (and may be used by others).