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

[Justin Lecher]

commit:     bf0afeb07446590487741bffbf62884f0d5ca3c7
Author:     Yichao Zhou <broken.zhoug <AT> gmail <DOT> com>
AuthorDate: Tue Nov 19 14:51:24 2013 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Tue Nov 19 14:51:24 2013 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=bf0afeb0

sci-mathematics/z3-4.3.1: new ebuild

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

diff --git a/sci-mathematics/z3/z3-4.3.1.ebuild b/sci-mathematics/z3/z3-4.3.1.ebuild
new file mode 100644
index 0000000..c334709
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.3.1.ebuild
@@ -0,0 +1,44 @@
+EAPI=5
+
+PYTHON_COMPAT=( python2_7 )
+
+inherit eutils git-2 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}"
+KEYWORDS="amd64 x86"
+
+SLOT="0"
+IUSE=""
+DEPEND="
+	app-arch/unzip
+	sys-devel/autoconf
+	>=net-misc/curl-7.33"
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}/z3"
+
+src_prepare() {
+	eautoconf
+}
+
+src_configure() {
+	econf --host="" --with-python="$(which python2)"
+	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
+
+	sed -i '1i#!/usr/bin/python2' src/api/python/*.py || die "sed failed"
+	python_foreach_impl python_domodule src/api/python/*.py
+}