From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id E9B2B138247 for ; Mon, 2 Dec 2013 16:21:44 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 5F679E087D; Mon, 2 Dec 2013 16:21:42 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id D13C7E087D for ; Mon, 2 Dec 2013 16:21:41 +0000 (UTC) Received: from hornbill.gentoo.org (hornbill.gentoo.org [94.100.119.163]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id E0FD833F3C9 for ; Mon, 2 Dec 2013 16:21:40 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by hornbill.gentoo.org (Postfix) with ESMTP id 25EC0110007 for ; Mon, 2 Dec 2013 16:21:39 +0000 (UTC) From: "Justin Lecher" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Justin Lecher" Message-ID: <1385217236.404e75cec4d8741e2c821ebc1a37c07949da5a2b.jlec@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/z3/z3-9999.ebuild X-VCS-Directories: sci-mathematics/z3/ X-VCS-Committer: jlec X-VCS-Committer-Name: Justin Lecher X-VCS-Revision: 404e75cec4d8741e2c821ebc1a37c07949da5a2b X-VCS-Branch: master Date: Mon, 2 Dec 2013 16:21:39 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: b3d51acf-4bb4-42fd-8b0b-17cd659a5575 X-Archives-Hash: 2770c6f40b4a250d935942d466b9c2df commit: 404e75cec4d8741e2c821ebc1a37c07949da5a2b Author: Yichao Zhou gmail com> AuthorDate: Sat Nov 23 14:33:56 2013 +0000 Commit: Justin Lecher gentoo 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 +}