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

["Justin Lecher" <jlec@gentoo.org>]

commit:     ed1c7c5be1952d32dcaa81d116c2092cc331a6e5
Author:     Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Sun Mar 29 10:08:34 2015 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Sun Mar 29 10:08:34 2015 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=ed1c7c5b

sci-mathematics/z3: Correct license to MIT, thanks Daniel GOUJOT

Package-Manager: portage-2.2.18

 sci-mathematics/z3/ChangeLog       | 6 ++++--
 sci-mathematics/z3/z3-4.3.1.ebuild | 6 +++---
 sci-mathematics/z3/z3-9999.ebuild  | 6 +++---
 3 files changed, 10 insertions(+), 8 deletions(-)

diff --git a/sci-mathematics/z3/ChangeLog b/sci-mathematics/z3/ChangeLog
index ea8b48b..0df768f 100644
--- a/sci-mathematics/z3/ChangeLog
+++ b/sci-mathematics/z3/ChangeLog
@@ -1,7 +1,10 @@
 # ChangeLog for sci-mathematics/z3
-# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
+  29 Mar 2015; Justin Lecher <jlec@gentoo.org> z3-4.3.1.ebuild, z3-9999.ebuild:
+  sci-mathematics/z3: Correct license to MIT, thanks Daniel GOUJOT
+
   06 Mar 2014; Justin Lecher <jlec@gentoo.org> z3-9999.ebuild:
   Adopt to recent changes in git-r3.eclass
 
@@ -13,4 +16,3 @@
   Make build verbose; respect CXX, CXXFLAGS, LDFLAGS; use EPYTHON instead of a
   direct python call; check for openmp compatibility of the c++ compiler; add
   USE=gmp; drop unnecessary eclass; add missing metadata.xml
-

diff --git a/sci-mathematics/z3/z3-4.3.1.ebuild b/sci-mathematics/z3/z3-4.3.1.ebuild
index 041a2c2..d4a1523 100644
--- a/sci-mathematics/z3/z3-4.3.1.ebuild
+++ b/sci-mathematics/z3/z3-4.3.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2015 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 # $Header: $
 
@@ -13,14 +13,14 @@ HOMEPAGE="http://z3.codeplex.com/"
 SRC_URI="http://dev.gentoo.org/~jlec/distfiles/${P}.tar.xz"
 
 SLOT="0"
-LICENSE="MSR-LA"
+LICENSE="MIT"
 KEYWORDS="~amd64 ~x86"
 IUSE="gmp"
 
 REQUIRED_USE="${PYTHON_REQUIRED_USE}"
 
 RDEPEND="${PYTHON_DEPS}
-	gmp? ( dev-libs/gmp )"
+	gmp? ( dev-libs/gmp:0 )"
 DEPEND="${RDEPEND}"
 
 pkg_setup() {

diff --git a/sci-mathematics/z3/z3-9999.ebuild b/sci-mathematics/z3/z3-9999.ebuild
index a9b9d90..590ef54 100644
--- a/sci-mathematics/z3/z3-9999.ebuild
+++ b/sci-mathematics/z3/z3-9999.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2015 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 # $Header: $
 
@@ -15,14 +15,14 @@ EGIT_REPO_URI="https://git01.codeplex.com/z3"
 EGIT_MIN_CLONE_TYPE=single
 
 SLOT="0"
-LICENSE="MSR-LA"
+LICENSE="MIT"
 KEYWORDS=""
 IUSE="gmp"
 
 REQUIRED_USE="${PYTHON_REQUIRED_USE}"
 
 RDEPEND="${PYTHON_DEPS}
-	gmp? ( dev-libs/gmp )"
+	gmp? ( dev-libs/gmp:0 )"
 # A new curl is needed because codeplex has a bug and early version of libcurl
 # will cause a failed git clone.
 DEPEND="${RDEPEND}