sci-mathematics/gappalib-coq: Drop pcc and sparc keywords as deps are not keyworded; move to EAPI=5

Package-Manager: portage-2.2.0_alpha164

4 files changed, 22 insertions, 24 deletions

diff --git a/sci-mathematics/gappalib-coq/ChangeLog b/sci-mathematics/gappalib-coq/ChangeLog
index 2116d4a3d..a718c8bcd 100644
--- a/sci-mathematics/gappalib-coq/ChangeLog
+++ b/sci-mathematics/gappalib-coq/ChangeLog
@@ -2,6 +2,10 @@
 # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
+  03 Mar 2013; Justin Lecher <jlec@gentoo.org> gappalib-coq-0.18.0.ebuild,
+  metadata.xml:
+  Drop pcc and sparc keywords as deps are not keyworded; move to EAPI=5
+
   14 Jan 2013; J.-C. Demay <jcdemay@gmail.com>
   +gappalib-coq-0.18.0.ebuild,+files/gappalib-coq-coq84.patch,-gappalib-coq-0.16.0.ebuild:
   version bump
diff --git a/sci-mathematics/gappalib-coq/Manifest b/sci-mathematics/gappalib-coq/Manifest
index 7b3bf16ac..0af692089 100644
--- a/sci-mathematics/gappalib-coq/Manifest
+++ b/sci-mathematics/gappalib-coq/Manifest
@@ -1,5 +1 @@
-AUX gappalib-coq-coq84.patch 2763 SHA256 9e338714e64c2a333c514d8e0c0ac7e4cf82f42ba9e8598103252570b59e3db4 SHA512 50d9246ab191b1fc67293e46ae5ccb870d7efdfd0f8c529a27eb94785c1dd9cf53ca097b2a2c2d8b02bfa315a4ac600dfad040815879018b3168c73ec4607b76 WHIRLPOOL 597b2fc3ca8717c807bce51cc93bbc30d192ddce2072a5cbf0fa194dd0c12d5ed9beca1a9adc2a677bd453b2031d2946c7b38c978c0caf911d85990ac85a8601
 DIST gappalib-coq-0.18.0.tar.gz 114679 SHA256 817c825ff02efaae88f0696f3e93aeeca854199f229d89ad8f18b16237b261b6 SHA512 b5781e3a35fc8f4a5349730790c815ba60a7cb3777d7be150803d63a57b615ef2f84e5e7c3c01b2a7184eb28c36bf75c8ad368e0818c1abdfda66905e60982d8 WHIRLPOOL 1f08fef5206f7a72afaff601f90e241ad9c984a8a03bad28070016024648032eac5eb8eee32498fdd18b043861f8e329085c893088fb164e5f88076fb07f1fad
-EBUILD gappalib-coq-0.18.0.ebuild 911 SHA256 af862e9fb8762bc0ea37fba3a2d79765b4f05489d45d1765edcb68814fe3c3f8 SHA512 a65193f02b8e7acb6223ecf6ab7feca7064134688fef0e6cbbad451bcf80ecedbfd421113b6041459abbf193bb231b47ee28c743749f630991221743b3b6d69f WHIRLPOOL 44465d8965ed09b9ce3debe6b3b7089ca73ebf444714cdeb179ebe5d6ae2446252e375a51f74d8ade2be40291cea3a08d2adc0c894cf7588b57399f184ff4017
-MISC ChangeLog 736 SHA256 2d25b76a7eeb150ab6498ca6295efc2bf51be9ad689a58263a7be8df161331dc SHA512 d190d21ebe1da7cb7f46abe499adb933e298783157e54944f81768773a67590a4690bb3e094c8f050e1f08b8a4e938821a55a2fac591305fcb66c5e044de8727 WHIRLPOOL dfb526267d58bb8651a6578759d50e2c5a797b064a9f774cc3dfd4cffa0546d85f1b4c740eb0c8ef6a1537dd7d5b85c0c5915955b0d2b6e14b14753a2e4f5a70
-MISC metadata.xml 443 SHA256 f799ef0a949ecbc8353f099966b0b11a2022cf812c4c80a331a40356773561fe SHA512 07bd63672fb4247dea9e162f1266e04b1e127c941c924d1069c257616f07125fb034e41718a54ad3af37348a7b2c5dd0238016a2c3d055b97888e995fc480fcb WHIRLPOOL 9ebb27fef8255fdc11077e43243fc790a24738d8a70a68668549e33184f9e8632e28ca074fe04c0f82664b070069d4c3520317f7fb17e952d0025c8e56126104
diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-0.18.0.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-0.18.0.ebuild
index 568c5d70a..cad10ac89 100644
--- a/sci-mathematics/gappalib-coq/gappalib-coq-0.18.0.ebuild
+++ b/sci-mathematics/gappalib-coq/gappalib-coq-0.18.0.ebuild
@@ -2,36 +2,34 @@
 # Distributed under the terms of the GNU General Public License v2
 # $Header: $
 
-EAPI="2"
+EAPI=5
 
 inherit eutils
 
-DESCRIPTION="This library allows the certificates Gappa generates to be imported by the Coq"
+DESCRIPTION="Allows the certificates Gappa generates to be imported by the Coq"
 HOMEPAGE="http://gappa.gforge.inria.fr/"
 SRC_URI="http://gforge.inria.fr/frs/download.php/30081/${P}.tar.gz"
 
 LICENSE="LGPL-2"
 SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+KEYWORDS="~amd64 ~x86"
 IUSE=""
 
-DEPEND="sci-mathematics/gappa
-		sci-mathematics/coq
-		sci-mathematics/flocq"
+DEPEND="
+	sci-mathematics/gappa
+	sci-mathematics/coq
+	sci-mathematics/flocq"
 RDEPEND="${DEPEND}"
 
 src_prepare(){
-	sed -i configure -e "s/if test \"\$libdir\" = '\${exec_prefix}\/lib';/ \
-		if test \"\$libdir\" = '\${exec_prefix}\/lib' -o "\$libdir" = \"\${prefix}\/lib64\";/g"
+	sed \
+		-e "s/if test \"\$libdir\" = '\${exec_prefix}\/lib';/ \
+		if test \"\$libdir\" = '\${exec_prefix}\/lib' -o "\$libdir" = \"\${prefix}\/lib64\";/g" \
+		-i configure || die
+
 	epatch "${FILESDIR}"/gappalib-coq-coq84.patch
 }
 
 src_compile(){
-	emake DESTDIR="/" || die "emake failed"
-}
-
-src_install(){
-	emake install DESTDIR="${D}" || die "emake install failed"
-	dodoc NEWS README AUTHORS
+	emake DESTDIR="/"
 }
-
diff --git a/sci-mathematics/gappalib-coq/metadata.xml b/sci-mathematics/gappalib-coq/metadata.xml
index 67a0fb5eb..f2cbd1ccf 100644
--- a/sci-mathematics/gappalib-coq/metadata.xml
+++ b/sci-mathematics/gappalib-coq/metadata.xml
@@ -1,13 +1,13 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
-	<herd>sci</herd>
-	<longdescription>
+  <herd>sci</herd>
+  <longdescription>
 		While Gappa is intended to be used directly, it can also act as a
 		backend prover for the Why software verification plateform or as an
 		automatic tactic for the Coq proof assistant.
 	</longdescription>
-	<maintainer>
-		<email>sci@gentoo.org</email>
-	</maintainer>
+  <maintainer>
+    <email>sci@gentoo.org</email>
+  </maintainer>
 </pkgmetadata>