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

["Justin Lecher" <jlec@gentoo.org>]

commit:     77fc1711ee8e12865e3bd32d1846696f67af6f2b
Author:     Yichao Zhou <broken.zhoug <AT> gmail <DOT> com>
AuthorDate: Wed Nov 20 08:05:37 2013 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Wed Nov 20 08:05:37 2013 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=77fc1711

sci-mathematics/z3-4.3.1: using jlec's snapshot

---
 sci-mathematics/z3/z3-4.3.1.ebuild | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/sci-mathematics/z3/z3-4.3.1.ebuild b/sci-mathematics/z3/z3-4.3.1.ebuild
index 7b5b287..7df4bd5 100644
--- a/sci-mathematics/z3/z3-4.3.1.ebuild
+++ b/sci-mathematics/z3/z3-4.3.1.ebuild
@@ -2,23 +2,18 @@ EAPI=5
 
 PYTHON_COMPAT=( python2_7 )
 
-inherit eutils git-2 autotools python-r1
+inherit eutils vcs-snapshot autotools python-r1
 
 DESCRIPTION="An efficient theorem prover"
 HOMEPAGE="http://z3.codeplex.com/"
-EGIT_REPO_URI="https://git01.codeplex.com/z3"
-EGIT_COMMIT="v${PV}"
+SRC_URI="http://dev.gentoo.org/~jlec/distfiles/${P}.tar.xz"
 KEYWORDS="~amd64 ~x86"
 
 SLOT="0"
 IUSE=""
-# 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"
+DEPEND=""
 RDEPEND=""
 
-S="${WORKDIR}/z3"
-
 src_prepare() {
 	eautoreconf
 	python-r1_src_prepare