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

[Justin Lecher]

commit:     404e75cec4d8741e2c821ebc1a37c07949da5a2b
Author:     Yichao Zhou <broken.zhoug <AT> gmail <DOT> com>
AuthorDate: Sat Nov 23 14:33:56 2013 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Sat Nov 23 14:33:56 2013 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=404e75ce

sci-mathematics/z3-4.3.1: add z3-9999 using git-3

---
 sci-mathematics/z3/z3-9999.ebuild | 42 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)

diff --git a/sci-mathematics/z3/z3-9999.ebuild b/sci-mathematics/z3/z3-9999.ebuild
new file mode 100644
index 0000000..557ff0e
--- /dev/null
+++ b/sci-mathematics/z3/z3-9999.ebuild
@@ -0,0 +1,42 @@
+EAPI=5
+
+PYTHON_COMPAT=( python2_7 )
+
+inherit eutils git-r3 autotools python-r1
+
+DESCRIPTION="An efficient theorem prover"
+HOMEPAGE="http://z3.codeplex.com/"
+EGIT_REPO_URI="https://git01.codeplex.com/z3"
+EGIT_NONSHALLOW=1
+KEYWORDS=""
+
+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"
+RDEPEND=""
+
+src_prepare() {
+	eautoreconf
+	python-r1_src_prepare
+}
+
+src_configure() {
+	python_export_best
+	econf --host="" --with-python="${PYTHON}"
+	python2 scripts/mk_make.py
+}
+
+src_compile() {
+	emake --directory="build"
+}
+
+src_install() {
+	doheader src/api/z3*.h
+	doheader src/api/c++/z3*.h
+	dolib.so build/*.so
+	dobin build/z3
+
+	python_foreach_impl python_domodule src/api/python/*.py
+}