diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-11-29 11:41:29 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-11-29 11:41:29 +0000 |
| commit | 87b30c73f2a3f41cfa0e88fb62f777d7241ea8b6 (patch) | |
| tree | 45dc4b684797f476fe0ee6424cdc83b4cb09ead8 /sci-mathematics/cvc3 | |
| parent | Restrict tests due to bug #437268 (dangerous to system files). (diff) | |
| download | gentoo-2-87b30c73f2a3f41cfa0e88fb62f777d7241ea8b6.tar.gz gentoo-2-87b30c73f2a3f41cfa0e88fb62f777d7241ea8b6.tar.bz2 gentoo-2-87b30c73f2a3f41cfa0e88fb62f777d7241ea8b6.zip | |
Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice: //usr/lib/pkgconfig/cvc3.pc installed in ${D}/${D}
(Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics/cvc3')
| -rw-r--r-- | sci-mathematics/cvc3/ChangeLog | 7 | ||||
| -rw-r--r-- | sci-mathematics/cvc3/cvc3-2.4.1.ebuild | 8 |
2 files changed, 9 insertions, 6 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/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" } |