[gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/

[Justin Lecher]

commit:     7733f5e801c0548c3f2f66d229d1817f91cf49f1
Author:     Yichao Zhou <broken.zhoug <AT> gmail <DOT> com>
AuthorDate: Wed Nov 20 03:58:47 2013 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Wed Nov 20 03:58:47 2013 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=7733f5e8

sci-mathematics/z3-4.3.1: using python-r1, remove useless dependency

---
 sci-mathematics/z3/z3-4.3.1.ebuild | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/sci-mathematics/z3/z3-4.3.1.ebuild b/sci-mathematics/z3/z3-4.3.1.ebuild
index c334709..7b5b287 100644
--- a/sci-mathematics/z3/z3-4.3.1.ebuild
+++ b/sci-mathematics/z3/z3-4.3.1.ebuild
@@ -8,24 +8,25 @@ DESCRIPTION="An efficient theorem prover"
 HOMEPAGE="http://z3.codeplex.com/"
 EGIT_REPO_URI="https://git01.codeplex.com/z3"
 EGIT_COMMIT="v${PV}"
-KEYWORDS="amd64 x86"
+KEYWORDS="~amd64 ~x86"
 
 SLOT="0"
 IUSE=""
-DEPEND="
-	app-arch/unzip
-	sys-devel/autoconf
-	>=net-misc/curl-7.33"
-RDEPEND="${DEPEND}"
+# A new curl is needed because codeplex has a bug and early version of libcurl
+# will cause a failed git clone.
+DEPEND=">=net-misc/curl-7.33"
+RDEPEND=""
 
 S="${WORKDIR}/z3"
 
 src_prepare() {
-	eautoconf
+	eautoreconf
+	python-r1_src_prepare
 }
 
 src_configure() {
-	econf --host="" --with-python="$(which python2)"
+	python_export_best
+	econf --host="" --with-python="${PYTHON}"
 	python2 scripts/mk_make.py
 }
 
@@ -39,6 +40,5 @@ src_install() {
 	dolib.so build/*.so
 	dobin build/z3
 
-	sed -i '1i#!/usr/bin/python2' src/api/python/*.py || die "sed failed"
 	python_foreach_impl python_domodule src/api/python/*.py
 }