Gentoo Archives: gentoo-commits

From: Justin Lecher <jlec@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/
Date: Mon, 02 Dec 2013 16:21:46
Message-Id: 1385219941.e76bd1de5811b5a0fc8d007c3b447eda77d25bf4.jlec@gentoo
1 commit: e76bd1de5811b5a0fc8d007c3b447eda77d25bf4
2 Author: Yichao Zhou <broken.zhoug <AT> gmail <DOT> com>
3 AuthorDate: Sat Nov 23 15:19:01 2013 +0000
4 Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
5 CommitDate: Sat Nov 23 15:19:01 2013 +0000
6 URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=e76bd1de
7
8 sci-mathematics/z3-4.3.1: add z3-9999 using git-3 and fix some error
9
10 ---
11 sci-mathematics/z3/z3-4.3.1.ebuild | 5 ++---
12 sci-mathematics/z3/z3-9999.ebuild | 6 +++---
13 2 files changed, 5 insertions(+), 6 deletions(-)
14
15 diff --git a/sci-mathematics/z3/z3-4.3.1.ebuild b/sci-mathematics/z3/z3-4.3.1.ebuild
16 index 7df4bd5..6e1a842 100644
17 --- a/sci-mathematics/z3/z3-4.3.1.ebuild
18 +++ b/sci-mathematics/z3/z3-4.3.1.ebuild
19 @@ -11,12 +11,11 @@ KEYWORDS="~amd64 ~x86"
20
21 SLOT="0"
22 IUSE=""
23 -DEPEND=""
24 -RDEPEND=""
25 +RDEPEND="${PYTHON_DEPS}"
26 +DEPEND="${RDEPEND}"
27
28 src_prepare() {
29 eautoreconf
30 - python-r1_src_prepare
31 }
32
33 src_configure() {
34
35 diff --git a/sci-mathematics/z3/z3-9999.ebuild b/sci-mathematics/z3/z3-9999.ebuild
36 index 557ff0e..434e866 100644
37 --- a/sci-mathematics/z3/z3-9999.ebuild
38 +++ b/sci-mathematics/z3/z3-9999.ebuild
39 @@ -14,12 +14,12 @@ SLOT="0"
40 IUSE=""
41 # A new curl is needed because codeplex has a bug and early version of libcurl
42 # will cause a failed git clone.
43 -DEPEND=">=net-misc/curl-7.33"
44 -RDEPEND=""
45 +RDEPEND="${PYTHON_DEPS}"
46 +DEPEND="${RDEPEND}
47 + >=net-misc/curl-7.33"
48
49 src_prepare() {
50 eautoreconf
51 - python-r1_src_prepare
52 }
53
54 src_configure() {