sci-mathematics/prover9: eapi=7, add src_test

Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Mark Wright <gienah@gentoo.org>

diff --git a/sci-mathematics/prover9/prover9-2009.11a.ebuild b/sci-mathematics/prover9/prover9-2009.11a.ebuild
index b9fe53f22b6ab93540e9c4fc4c325c8cf00937b9..1894b784a65505f32d057d1aa63ad3eea6b5a30b 100644 (file)
--- a/sci-mathematics/prover9/prover9-2009.11a.ebuild
+++ b/sci-mathematics/prover9/prover9-2009.11a.ebuild
@@ -1,13 +1,13 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2020 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
-EAPI=5
+EAPI=7
 
-inherit eutils toolchain-funcs versionator
+inherit eutils toolchain-funcs
 
 MY_PN="LADR"
 typeset -u MY_PV
-MY_PV=$(replace_all_version_separators '-')
+MY_PV=$(ver_rs 1 '-')
 MY_P="${MY_PN}-${MY_PV}"
 
 DESCRIPTION="Automated theorem prover for first-order and equational logic"
@@ -29,8 +29,8 @@ PATCHES=(
 S="${WORKDIR}/${MY_P}/"
 
 src_prepare() {
+       default
        MAKEOPTS+=" -j1"
-       epatch "${PATCHES[@]}"
        sed \
                -e "/^CC =/s:gcc:$(tc-getCC):g" \
                -i */Makefile || die
@@ -40,6 +40,12 @@ src_compile() {
        emake all
 }
 
+src_test() {
+       emake test1
+       emake test2
+       emake test3
+}
+
 src_install () {
        dobin \
                bin/attack \
@@ -95,7 +101,8 @@ src_install () {
                manpages/rewriter.1 \
                manpages/prover9-apps.1
 
-       dohtml ladr/index.html.master ladr/html/*
+       docinto html
+       dodoc -r ladr/index.html.master ladr/html/*
 
        insinto /usr/$(get_libdir)
        dolib.so ladr/.libs/libladr.so.4.0.0