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 03FE91387B1 for ; Mon, 2 Dec 2013 16:21:45 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id BFDF4E0954; Mon, 2 Dec 2013 16:21:43 +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 141CBE0944 for ; Mon, 2 Dec 2013 16:21:43 +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 3084933F340 for ; Mon, 2 Dec 2013 16:21:42 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by hornbill.gentoo.org (Postfix) with ESMTP id B24C0110004 for ; Mon, 2 Dec 2013 16:21:38 +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: <1384872684.bf0afeb07446590487741bffbf62884f0d5ca3c7.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-4.3.1.ebuild X-VCS-Directories: sci-mathematics/z3/ X-VCS-Committer: jlec X-VCS-Committer-Name: Justin Lecher X-VCS-Revision: bf0afeb07446590487741bffbf62884f0d5ca3c7 X-VCS-Branch: master Date: Mon, 2 Dec 2013 16:21:38 +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: e528be38-31fe-473d-a17d-1f8ad81ecb9f X-Archives-Hash: ee376d97094527863ab04e64720b1cd9 commit: bf0afeb07446590487741bffbf62884f0d5ca3c7 Author: Yichao Zhou gmail com> AuthorDate: Tue Nov 19 14:51:24 2013 +0000 Commit: Justin Lecher gentoo 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 +}