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 CADAF13873B for ; Thu, 6 Mar 2014 11:13:17 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 2FDDBE0999; Thu, 6 Mar 2014 11:13:17 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id BAF09E0999 for ; Thu, 6 Mar 2014 11:13:16 +0000 (UTC) Received: from spoonbill.gentoo.org (spoonbill.gentoo.org [81.93.255.5]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id AEDFF33FABC for ; Thu, 6 Mar 2014 11:13:15 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by spoonbill.gentoo.org (Postfix) with ESMTP id AC7BF18875 for ; Thu, 6 Mar 2014 11:13:13 +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: <1394104365.38d2e410f17401137d1a7e06c475137a5f42d5b7.jlec@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/z3/ChangeLog 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: 38d2e410f17401137d1a7e06c475137a5f42d5b7 X-VCS-Branch: master Date: Thu, 6 Mar 2014 11:13:13 +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: b5f4dd6c-bd63-4f7d-8b00-a5cfc7c9b864 X-Archives-Hash: e15088fd7e0f9b48a7e57e81a20d3011 commit: 38d2e410f17401137d1a7e06c475137a5f42d5b7 Author: Justin Lecher gentoo org> AuthorDate: Thu Mar 6 11:12:45 2014 +0000 Commit: Justin Lecher gentoo org> CommitDate: Thu Mar 6 11:12:45 2014 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=38d2e410 sci-mathematics/z3: Adopt to recent changes in git-r3.eclass Package-Manager: portage-2.2.8-r1 --- sci-mathematics/z3/ChangeLog | 3 +++ sci-mathematics/z3/z3-9999.ebuild | 1 + 2 files changed, 4 insertions(+) diff --git a/sci-mathematics/z3/ChangeLog b/sci-mathematics/z3/ChangeLog index 602ec52..ea8b48b 100644 --- a/sci-mathematics/z3/ChangeLog +++ b/sci-mathematics/z3/ChangeLog @@ -5,6 +5,9 @@ 06 Mar 2014; Justin Lecher z3-9999.ebuild: Adopt to recent changes in git-r3.eclass + 06 Mar 2014; Justin Lecher z3-9999.ebuild: + Adopt to recent changes in git-r3.eclass + 02 Dec 2013; Justin Lecher z3-4.3.1.ebuild, z3-9999.ebuild, +metadata.xml: Make build verbose; respect CXX, CXXFLAGS, LDFLAGS; use EPYTHON instead of a diff --git a/sci-mathematics/z3/z3-9999.ebuild b/sci-mathematics/z3/z3-9999.ebuild index 2a73d38..a9b9d90 100644 --- a/sci-mathematics/z3/z3-9999.ebuild +++ b/sci-mathematics/z3/z3-9999.ebuild @@ -12,6 +12,7 @@ DESCRIPTION="An efficient theorem prover" HOMEPAGE="http://z3.codeplex.com/" SRC_URI="" EGIT_REPO_URI="https://git01.codeplex.com/z3" +EGIT_MIN_CLONE_TYPE=single SLOT="0" LICENSE="MSR-LA"