1 |
commit: 422dbf48dc19c6268e86dd4c1ca1217f7dd4df85 |
2 |
Author: Mark Wright <gienah <AT> gentoo <DOT> org> |
3 |
AuthorDate: Tue Jan 7 00:07:36 2020 +0000 |
4 |
Commit: Mark Wright <gienah <AT> gentoo <DOT> org> |
5 |
CommitDate: Tue Jan 7 00:07:36 2020 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=422dbf48 |
7 |
|
8 |
sci-mathematics/prover9: eapi=7, add src_test |
9 |
|
10 |
Package-Manager: Portage-2.3.84, Repoman-2.3.20 |
11 |
Signed-off-by: Mark Wright <gienah <AT> gentoo.org> |
12 |
|
13 |
sci-mathematics/prover9/prover9-2009.11a.ebuild | 19 +++++++++++++------ |
14 |
1 file changed, 13 insertions(+), 6 deletions(-) |
15 |
|
16 |
diff --git a/sci-mathematics/prover9/prover9-2009.11a.ebuild b/sci-mathematics/prover9/prover9-2009.11a.ebuild |
17 |
index b9fe53f22b6..1894b784a65 100644 |
18 |
--- a/sci-mathematics/prover9/prover9-2009.11a.ebuild |
19 |
+++ b/sci-mathematics/prover9/prover9-2009.11a.ebuild |
20 |
@@ -1,13 +1,13 @@ |
21 |
-# Copyright 1999-2019 Gentoo Authors |
22 |
+# Copyright 1999-2020 Gentoo Authors |
23 |
# Distributed under the terms of the GNU General Public License v2 |
24 |
|
25 |
-EAPI=5 |
26 |
+EAPI=7 |
27 |
|
28 |
-inherit eutils toolchain-funcs versionator |
29 |
+inherit eutils toolchain-funcs |
30 |
|
31 |
MY_PN="LADR" |
32 |
typeset -u MY_PV |
33 |
-MY_PV=$(replace_all_version_separators '-') |
34 |
+MY_PV=$(ver_rs 1 '-') |
35 |
MY_P="${MY_PN}-${MY_PV}" |
36 |
|
37 |
DESCRIPTION="Automated theorem prover for first-order and equational logic" |
38 |
@@ -29,8 +29,8 @@ PATCHES=( |
39 |
S="${WORKDIR}/${MY_P}/" |
40 |
|
41 |
src_prepare() { |
42 |
+ default |
43 |
MAKEOPTS+=" -j1" |
44 |
- epatch "${PATCHES[@]}" |
45 |
sed \ |
46 |
-e "/^CC =/s:gcc:$(tc-getCC):g" \ |
47 |
-i */Makefile || die |
48 |
@@ -40,6 +40,12 @@ src_compile() { |
49 |
emake all |
50 |
} |
51 |
|
52 |
+src_test() { |
53 |
+ emake test1 |
54 |
+ emake test2 |
55 |
+ emake test3 |
56 |
+} |
57 |
+ |
58 |
src_install () { |
59 |
dobin \ |
60 |
bin/attack \ |
61 |
@@ -95,7 +101,8 @@ src_install () { |
62 |
manpages/rewriter.1 \ |
63 |
manpages/prover9-apps.1 |
64 |
|
65 |
- dohtml ladr/index.html.master ladr/html/* |
66 |
+ docinto html |
67 |
+ dodoc -r ladr/index.html.master ladr/html/* |
68 |
|
69 |
insinto /usr/$(get_libdir) |
70 |
dolib.so ladr/.libs/libladr.so.4.0.0 |