Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice: //usr/lib/pkgconfig/cvc3.pc installed in ${D}/${D}

Package-Manager: portage-2.1.11.31/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F

3 files changed, 18 insertions, 15 deletions

diff --git a/sci-mathematics/cvc3/ChangeLog b/sci-mathematics/cvc3/ChangeLog
index 258445e1f657..9a783903c1fa 100644
--- a/sci-mathematics/cvc3/ChangeLog
+++ b/sci-mathematics/cvc3/ChangeLog
@@ -1,6 +1,10 @@
 # ChangeLog for sci-mathematics/cvc3
 # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/cvc3/ChangeLog,v 1.3 2012/06/01 02:12:45 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/cvc3/ChangeLog,v 1.4 2012/11/29 11:41:29 gienah Exp $
+
+  29 Nov 2012; Mark Wright <gienah@gentoo.org> cvc3-2.4.1.ebuild:
+  Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice:
+  //usr/lib/pkgconfig/cvc3.pc installed in ${D}/${D}
 
   01 Jun 2012; Mark Wright <gienah@gentoo.org> cvc3-2.4.1.ebuild, metadata.xml:
   Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.
@@ -13,4 +17,3 @@
   30 May 2012; Mark Wright <gienah@gentoo.org> +cvc3-2.4.1.ebuild,
   +files/50cvc3-gentoo.el, +metadata.xml:
   Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.
-
diff --git a/sci-mathematics/cvc3/Manifest b/sci-mathematics/cvc3/Manifest
index 0eede925635c..18d1e28174b6 100644
--- a/sci-mathematics/cvc3/Manifest
+++ b/sci-mathematics/cvc3/Manifest
@@ -1,15 +1,15 @@
 -----BEGIN PGP SIGNED MESSAGE-----
 Hash: SHA256
 
-AUX 50cvc3-gentoo.el 164 RMD160 e605b1275191d49cc981ae4b727349c3a940b590 SHA1 2a9784c10b830ca3e9e57839fb7d015c1d6a44b0 SHA256 1fbca0f0a0556eb5fc1d8ba4361f2143bc7fe81b08c21c1da752121ea3d25b90
-DIST cvc3-2.4.1.tar.gz 1196616 RMD160 c96274a961d147571811a390ee7009285eaedc00 SHA1 b694d65234fe1119d86f3c6f53318b09f0ad68fe SHA256 d55b1d6006cfbac3f6d4c086964558902c3ed0efa66ac499cfb2193f3ee4acf7
-EBUILD cvc3-2.4.1.ebuild 4155 RMD160 93019b665edde05aad0f34de7bc804dd3c47a3be SHA1 5f7103691bc7b82077a4ccee767a2219f1d7ecdd SHA256 67ab6080d7fc56d4c2b0026bec895ef0fb7037cc65e38eb78ca6a75908275864
-MISC ChangeLog 712 RMD160 f30078121ebf1c1bf7f683f121ec634c91864c39 SHA1 ffe1d5297de09c9a345fdfbd0151ad2ca9dedc36 SHA256 54da86bb46494cdfe3c676d5eff7d991d111ac0ae0fd8e98c0587aa3bd63f1a2
-MISC metadata.xml 1667 RMD160 a86137827705eb973390f99a77b93bba74329327 SHA1 7e69efd47bec262eb763607c2b10d828f084626a SHA256 1c3c45888ea6620c45bcb6a643c1699da002f7af1f4955cd728b497b09ac9902
+AUX 50cvc3-gentoo.el 164 SHA256 1fbca0f0a0556eb5fc1d8ba4361f2143bc7fe81b08c21c1da752121ea3d25b90 SHA512 bba873dfaeadc821ffc41168df51a0e0d5c0d038f60a36ba4f74c83d0ef8fb4ff3089cb587b680d5058c7fcddad2585c1e913cb25d8e2256cccda5872f017d07 WHIRLPOOL ba6691a596a47670d0b143e957f10112de18493df013c9ffa8f232f0e7450adcea184a60246a44286976ddc683954354ecd985481a0407df83359d8b5bb07ccb
+DIST cvc3-2.4.1.tar.gz 1196616 SHA256 d55b1d6006cfbac3f6d4c086964558902c3ed0efa66ac499cfb2193f3ee4acf7 SHA512 48e5cd82b3eb7506d762c2abc8db0c8fbc548575a1362dda53888075ac105a5bc0f0d58dfe01b60f207bc00ff8dfc39a5b3d9317784fe551658c884bb02e1ff2 WHIRLPOOL 9d39dacff010f093685191737d41760a84ac7d12246ddaafbb9f48c78c7bff5697c5e85c62ef44b7dc76f86a55c118c041323c3a1b1953f5c725447795375d93
+EBUILD cvc3-2.4.1.ebuild 4206 SHA256 4c830312baf09663ee7da1903d7d7dc98e3e7c1dc16e1ae643c0c6f9b20c0172 SHA512 4d24b66480013e5be663b2f46b22ec80725da8c752a184a66aa855cce4a0b52358b0e56c2c89d384b2d1be725ff4bf19c953460688e71d5efb43ef3c14d3fa73 WHIRLPOOL 72b57fbad552f6c3bfc56a068c0c7b74b31f6fa440f29bf3881410e2a19f61ee7cdf09ec0be690a169bfc1e539d66515d86f534dc0934075bd9c704f41837fbc
+MISC ChangeLog 898 SHA256 c56ab80bd423de01dfc71fe27f7b71d0a6a5dd3eb6504b8ab09d72e100ccebe9 SHA512 bdcb027651d8ddb5fd9eed51ec229c8a3b69b13496ec2e05dbe5a5f69c92a1d848aab592749b06c0173eb854bda2885139abc1951ed9b1b06777bcf1c65190b2 WHIRLPOOL 6fe6b4fd02bbf61c6df047788c47d663500552be9e0b0f52ba5661461285fec83d169c39cfdf7e39cd7135e4d95fc3256282519a7233ecc70b02b6de0b60dcb5
+MISC metadata.xml 1667 SHA256 1c3c45888ea6620c45bcb6a643c1699da002f7af1f4955cd728b497b09ac9902 SHA512 2b0f33935e7c6d896e0063f905a6c79e7e06e5e5966c1bdabea45256b18cdc1c54122d1c90d60c3ee896abf77b869d67de74de7d7f1613642a3a6674935224b0 WHIRLPOOL afdbf5ee60eede790fbb1c36b6d8307d2ff8fe0b8d0b737f73fd2541e981740d1799b996aa74deffe848bfc90a66ee21036d2778900fa184178a667ad1dca050
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.17 (GNU/Linux)
+Version: GnuPG v2.0.19 (GNU/Linux)
 
-iF4EAREIAAYFAk/IJSgACgkQoBEVQmGOlx8I5gD/Up0H53aEACMX1asrcPwriK1G
-R/0rTQx38i3O6G2pTd4BAJ8TVZjEViM+yhGbylKw6wmYtDws0N0z0uA0EH8Oyt5/
-=thWG
+iF4EAREIAAYFAlC3Se8ACgkQoBEVQmGOlx8qqwEAsqW1YPGZVQa7uyJ2xFbkirnA
+LECUv14MzN16OuJYXoQA+wUjAQTdqPpa0evMWXLUBwHidFAGfULWxrXsOZTsdplR
+=4FkG
 -----END PGP SIGNATURE-----
diff --git a/sci-mathematics/cvc3/cvc3-2.4.1.ebuild b/sci-mathematics/cvc3/cvc3-2.4.1.ebuild
index 4728e96192d4..c4f7adb884c2 100644
--- a/sci-mathematics/cvc3/cvc3-2.4.1.ebuild
+++ b/sci-mathematics/cvc3/cvc3-2.4.1.ebuild
@@ -1,6 +1,6 @@
 # Copyright 1999-2012 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/cvc3/cvc3-2.4.1.ebuild,v 1.2 2012/06/01 02:12:45 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/cvc3/cvc3-2.4.1.ebuild,v 1.3 2012/11/29 11:41:29 gienah Exp $
 
 EAPI="4"
 
@@ -33,9 +33,9 @@ DEPEND="${RDEPEND}
 SITEFILE=50${PN}-gentoo.el
 
 src_prepare() {
-	sed -e 's/prefix=@prefix@/prefix=${DESTDIR}@prefix@/' \
-		-e 's/libdir=@libdir@/libdir=${DESTDIR}@libdir@/' \
-		-e 's/mandir=@mandir@/mandir=${DESTDIR}@mandir@/' \
+	sed -e 's#prefix=@prefix@#prefix=$(patsubst %/,%,$(DESTDIR))@prefix@#' \
+		-e 's#libdir=@libdir@#libdir=$(patsubst %/,%,$(DESTDIR))@libdir@#' \
+		-e 's#mandir=@mandir@#mandir=$(patsubst %/,%,$(DESTDIR))@mandir@#' \
 		-i "${S}/Makefile.local.in" \
 		|| die "Could not set DESTDIR in Makefile.local.in"
 }