public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/
@ 2013-12-02 16:21 Justin Lecher
  0 siblings, 0 replies; 10+ messages in thread
From: Justin Lecher @ 2013-12-02 16:21 UTC (permalink / raw
  To: gentoo-commits

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
+}


^ permalink raw reply related	[flat|nested] 10+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/
@ 2013-12-02 16:21 Justin Lecher
  0 siblings, 0 replies; 10+ messages in thread
From: Justin Lecher @ 2013-12-02 16:21 UTC (permalink / raw
  To: gentoo-commits

commit:     7733f5e801c0548c3f2f66d229d1817f91cf49f1
Author:     Yichao Zhou <broken.zhoug <AT> gmail <DOT> com>
AuthorDate: Wed Nov 20 03:58:47 2013 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Wed Nov 20 03:58:47 2013 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=7733f5e8

sci-mathematics/z3-4.3.1: using python-r1, remove useless dependency

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

diff --git a/sci-mathematics/z3/z3-4.3.1.ebuild b/sci-mathematics/z3/z3-4.3.1.ebuild
index c334709..7b5b287 100644
--- a/sci-mathematics/z3/z3-4.3.1.ebuild
+++ b/sci-mathematics/z3/z3-4.3.1.ebuild
@@ -8,24 +8,25 @@ 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"
+KEYWORDS="~amd64 ~x86"
 
 SLOT="0"
 IUSE=""
-DEPEND="
-	app-arch/unzip
-	sys-devel/autoconf
-	>=net-misc/curl-7.33"
-RDEPEND="${DEPEND}"
+# 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=""
 
 S="${WORKDIR}/z3"
 
 src_prepare() {
-	eautoconf
+	eautoreconf
+	python-r1_src_prepare
 }
 
 src_configure() {
-	econf --host="" --with-python="$(which python2)"
+	python_export_best
+	econf --host="" --with-python="${PYTHON}"
 	python2 scripts/mk_make.py
 }
 
@@ -39,6 +40,5 @@ src_install() {
 	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
 }


^ permalink raw reply related	[flat|nested] 10+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/
@ 2013-12-02 16:21 Justin Lecher
  0 siblings, 0 replies; 10+ messages in thread
From: Justin Lecher @ 2013-12-02 16:21 UTC (permalink / raw
  To: gentoo-commits

commit:     404e75cec4d8741e2c821ebc1a37c07949da5a2b
Author:     Yichao Zhou <broken.zhoug <AT> gmail <DOT> com>
AuthorDate: Sat Nov 23 14:33:56 2013 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> 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
+}


^ permalink raw reply related	[flat|nested] 10+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/
@ 2013-12-02 16:21 Justin Lecher
  0 siblings, 0 replies; 10+ messages in thread
From: Justin Lecher @ 2013-12-02 16:21 UTC (permalink / raw
  To: gentoo-commits

commit:     e76bd1de5811b5a0fc8d007c3b447eda77d25bf4
Author:     Yichao Zhou <broken.zhoug <AT> gmail <DOT> com>
AuthorDate: Sat Nov 23 15:19:01 2013 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Sat Nov 23 15:19:01 2013 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=e76bd1de

sci-mathematics/z3-4.3.1: add z3-9999 using git-3 and fix some error

---
 sci-mathematics/z3/z3-4.3.1.ebuild | 5 ++---
 sci-mathematics/z3/z3-9999.ebuild  | 6 +++---
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/sci-mathematics/z3/z3-4.3.1.ebuild b/sci-mathematics/z3/z3-4.3.1.ebuild
index 7df4bd5..6e1a842 100644
--- a/sci-mathematics/z3/z3-4.3.1.ebuild
+++ b/sci-mathematics/z3/z3-4.3.1.ebuild
@@ -11,12 +11,11 @@ KEYWORDS="~amd64 ~x86"
 
 SLOT="0"
 IUSE=""
-DEPEND=""
-RDEPEND=""
+RDEPEND="${PYTHON_DEPS}"
+DEPEND="${RDEPEND}"
 
 src_prepare() {
 	eautoreconf
-	python-r1_src_prepare
 }
 
 src_configure() {

diff --git a/sci-mathematics/z3/z3-9999.ebuild b/sci-mathematics/z3/z3-9999.ebuild
index 557ff0e..434e866 100644
--- a/sci-mathematics/z3/z3-9999.ebuild
+++ b/sci-mathematics/z3/z3-9999.ebuild
@@ -14,12 +14,12 @@ 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=""
+RDEPEND="${PYTHON_DEPS}"
+DEPEND="${RDEPEND}
+	>=net-misc/curl-7.33"
 
 src_prepare() {
 	eautoreconf
-	python-r1_src_prepare
 }
 
 src_configure() {


^ permalink raw reply related	[flat|nested] 10+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/
@ 2013-12-02 16:21 Justin Lecher
  0 siblings, 0 replies; 10+ messages in thread
From: Justin Lecher @ 2013-12-02 16:21 UTC (permalink / raw
  To: gentoo-commits

commit:     d5bc424a65eca8d0a8097971559084c66ff42a14
Author:     Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Mon Dec  2 16:16:56 2013 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Mon Dec  2 16:16:56 2013 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=d5bc424a

sci-mathematics/z3: 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

Package-Manager: portage-2.2.7

---
 sci-mathematics/z3/ChangeLog       | 10 +++++++
 sci-mathematics/z3/metadata.xml    |  5 ++++
 sci-mathematics/z3/z3-4.3.1.ebuild | 47 ++++++++++++++++++++++++------
 sci-mathematics/z3/z3-9999.ebuild  | 59 +++++++++++++++++++++++++++++++-------
 4 files changed, 103 insertions(+), 18 deletions(-)

diff --git a/sci-mathematics/z3/ChangeLog b/sci-mathematics/z3/ChangeLog
new file mode 100644
index 0000000..a078c2a
--- /dev/null
+++ b/sci-mathematics/z3/ChangeLog
@@ -0,0 +1,10 @@
+# ChangeLog for sci-mathematics/z3
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: $
+
+  02 Dec 2013; Justin Lecher <jlec@gentoo.org> z3-4.3.1.ebuild, z3-9999.ebuild,
+  +metadata.xml:
+  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/metadata.xml b/sci-mathematics/z3/metadata.xml
new file mode 100644
index 0000000..897aa2e
--- /dev/null
+++ b/sci-mathematics/z3/metadata.xml
@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+  <herd>sci</herd>
+</pkgmetadata>

diff --git a/sci-mathematics/z3/z3-4.3.1.ebuild b/sci-mathematics/z3/z3-4.3.1.ebuild
index 749e8e0..adf4f6e 100644
--- a/sci-mathematics/z3/z3-4.3.1.ebuild
+++ b/sci-mathematics/z3/z3-4.3.1.ebuild
@@ -6,7 +6,7 @@ EAPI=5
 
 PYTHON_COMPAT=( python2_7 )
 
-inherit autotools python-r1 vcs-snapshot
+inherit autotools flag-o-matic python-r1 toolchain-funcs vcs-snapshot
 
 DESCRIPTION="An efficient theorem prover"
 HOMEPAGE="http://z3.codeplex.com/"
@@ -15,28 +15,59 @@ SRC_URI="http://dev.gentoo.org/~jlec/distfiles/${P}.tar.xz"
 SLOT="0"
 LICENSE="MSR-LA"
 KEYWORDS="~amd64 ~x86"
-IUSE=""
+IUSE="gmp"
 
-RDEPEND="${PYTHON_DEPS}"
+REQUIRED_USE="${PYTHON_REQUIRED_USE}"
+
+RDEPEND="${PYTHON_DEPS}
+	gmp? ( dev-libs/gmp )"
 DEPEND="${RDEPEND}"
 
+pkg_setup() {
+	if [[ ${MERGE_TYPE} != binary ]]; then
+		if [[ $(tc-getCXX)$ == *g++* ]] && ! tc-has-openmp; then
+			ewarn "Please use an openmp compatible compiler"
+			ewarn "like >gcc-4.2 with USE=openmp"
+			die "Openmp support missing in compiler"
+		fi
+	fi
+}
+
 src_prepare() {
+	sed \
+		-e 's:-O3::g' \
+		-e 's:-fomit-frame-pointer::' \
+		-e 's:-msse2::g' \
+		-e 's:-msse::g' \
+		-e "/LINK_EXTRA_FLAGS/s:@LDFLAGS@:-lrt $(usex gmp -lgmp):g" \
+		-e 's:t@\$:t\$:g' \
+		-i scripts/*mk* || die
+
+	append-ldflags -fopenmp
+
 	eautoreconf
 }
 
 src_configure() {
 	python_export_best
-	econf --host="" --with-python="${PYTHON}"
-	python2 scripts/mk_make.py
+	econf \
+		--host="" \
+		--with-python="${PYTHON}" \
+		$(use_with gmp) \
+		SLIBFLAGS=" -Wl,-soname,lib${PN}.so.0.1 "
+	${EPYTHON} scripts/mk_make.py || die
 }
 
 src_compile() {
-	emake --directory="build"
+	emake \
+		--directory="build" \
+		CXX=$(tc-getCXX) \
+		LINK="$(tc-getCXX) ${LDFLAGS}" \
+		LINK_FLAGS="${LDFLAGS}"
 }
 
 src_install() {
-	doheader src/api/z3*.h
-	doheader src/api/c++/z3*.h
+	doheader src/api/z3*.h src/api/c++/z3*.h
 	dolib.so build/*.so
 	dobin build/z3
 

diff --git a/sci-mathematics/z3/z3-9999.ebuild b/sci-mathematics/z3/z3-9999.ebuild
index 434e866..15c338b 100644
--- a/sci-mathematics/z3/z3-9999.ebuild
+++ b/sci-mathematics/z3/z3-9999.ebuild
@@ -1,40 +1,79 @@
+# Copyright 1999-2013 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
 EAPI=5
 
 PYTHON_COMPAT=( python2_7 )
 
-inherit eutils git-r3 autotools python-r1
+inherit autotools flag-o-matic git-r3 python-r1 toolchain-funcs
 
 DESCRIPTION="An efficient theorem prover"
 HOMEPAGE="http://z3.codeplex.com/"
+SRC_URI=""
 EGIT_REPO_URI="https://git01.codeplex.com/z3"
-EGIT_NONSHALLOW=1
-KEYWORDS=""
 
 SLOT="0"
-IUSE=""
+LICENSE="MSR-LA"
+KEYWORDS=""
+IUSE="gmp"
+
+REQUIRED_USE="${PYTHON_REQUIRED_USE}"
+
+RDEPEND="${PYTHON_DEPS}
+	gmp? ( dev-libs/gmp )"
 # A new curl is needed because codeplex has a bug and early version of libcurl
 # will cause a failed git clone.
-RDEPEND="${PYTHON_DEPS}"
 DEPEND="${RDEPEND}
 	>=net-misc/curl-7.33"
 
+EGIT_NONSHALLOW=1
+
+pkg_setup() {
+	if [[ ${MERGE_TYPE} != binary ]]; then
+		if [[ $(tc-getCXX)$ == *g++* ]] && ! tc-has-openmp; then
+			ewarn "Please use an openmp compatible compiler"
+			ewarn "like >gcc-4.2 with USE=openmp"
+			die "Openmp support missing in compiler"
+		fi
+	fi
+}
+
 src_prepare() {
+	sed \
+		-e 's:-O3::g' \
+		-e 's:-fomit-frame-pointer::' \
+		-e 's:-msse2::g' \
+		-e 's:-msse::g' \
+		-e "/LINK_EXTRA_FLAGS/s:@LDFLAGS@:-lrt $(usex gmp -lgmp):g" \
+		-e 's:t@\$:t\$:g' \
+		-i scripts/*mk* || die
+
+	append-ldflags -fopenmp
+
 	eautoreconf
 }
 
 src_configure() {
 	python_export_best
-	econf --host="" --with-python="${PYTHON}"
-	python2 scripts/mk_make.py
+	econf \
+		--host="" \
+		--with-python="${PYTHON}" \
+		$(use_with gmp) \
+		SLIBFLAGS=" -Wl,-soname,lib${PN}.so.0.1 "
+	${EPYTHON} scripts/mk_make.py || die
 }
 
 src_compile() {
-	emake --directory="build"
+	emake \
+		--directory="build" \
+		CXX=$(tc-getCXX) \
+		LINK="$(tc-getCXX) ${LDFLAGS}" \
+		LINK_FLAGS="${LDFLAGS}"
 }
 
 src_install() {
-	doheader src/api/z3*.h
-	doheader src/api/c++/z3*.h
+	doheader src/api/z3*.h src/api/c++/z3*.h
 	dolib.so build/*.so
 	dobin build/z3
 


^ permalink raw reply related	[flat|nested] 10+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/
@ 2013-12-02 16:21 Justin Lecher
  0 siblings, 0 replies; 10+ messages in thread
From: Justin Lecher @ 2013-12-02 16:21 UTC (permalink / raw
  To: gentoo-commits

commit:     77fc1711ee8e12865e3bd32d1846696f67af6f2b
Author:     Yichao Zhou <broken.zhoug <AT> gmail <DOT> com>
AuthorDate: Wed Nov 20 08:05:37 2013 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Wed Nov 20 08:05:37 2013 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=77fc1711

sci-mathematics/z3-4.3.1: using jlec's snapshot

---
 sci-mathematics/z3/z3-4.3.1.ebuild | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/sci-mathematics/z3/z3-4.3.1.ebuild b/sci-mathematics/z3/z3-4.3.1.ebuild
index 7b5b287..7df4bd5 100644
--- a/sci-mathematics/z3/z3-4.3.1.ebuild
+++ b/sci-mathematics/z3/z3-4.3.1.ebuild
@@ -2,23 +2,18 @@ EAPI=5
 
 PYTHON_COMPAT=( python2_7 )
 
-inherit eutils git-2 autotools python-r1
+inherit eutils vcs-snapshot 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}"
+SRC_URI="http://dev.gentoo.org/~jlec/distfiles/${P}.tar.xz"
 KEYWORDS="~amd64 ~x86"
 
 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"
+DEPEND=""
 RDEPEND=""
 
-S="${WORKDIR}/z3"
-
 src_prepare() {
 	eautoreconf
 	python-r1_src_prepare


^ permalink raw reply related	[flat|nested] 10+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/
@ 2014-03-06 11:11 Justin Lecher
  0 siblings, 0 replies; 10+ messages in thread
From: Justin Lecher @ 2014-03-06 11:11 UTC (permalink / raw
  To: gentoo-commits

commit:     a5a3742b5fc0baba06c4caee1be97b34d14be2f4
Author:     Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Thu Mar  6 11:10:59 2014 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Thu Mar  6 11:10:59 2014 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=a5a3742b

sci-mathematics/z3: Adopt to recent changes in git-r3.eclass

Package-Manager: portage-2.2.8-r1

---
 sci-mathematics/z3/ChangeLog      | 5 ++++-
 sci-mathematics/z3/z3-9999.ebuild | 2 --
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/sci-mathematics/z3/ChangeLog b/sci-mathematics/z3/ChangeLog
index a078c2a..602ec52 100644
--- a/sci-mathematics/z3/ChangeLog
+++ b/sci-mathematics/z3/ChangeLog
@@ -1,7 +1,10 @@
 # ChangeLog for sci-mathematics/z3
-# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
+  06 Mar 2014; Justin Lecher <jlec@gentoo.org> z3-9999.ebuild:
+  Adopt to recent changes in git-r3.eclass
+
   02 Dec 2013; Justin Lecher <jlec@gentoo.org> 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 16e1b016..2a73d38 100644
--- a/sci-mathematics/z3/z3-9999.ebuild
+++ b/sci-mathematics/z3/z3-9999.ebuild
@@ -27,8 +27,6 @@ RDEPEND="${PYTHON_DEPS}
 DEPEND="${RDEPEND}
 	>=net-misc/curl-7.33"
 
-EGIT_NONSHALLOW=1
-
 pkg_setup() {
 	if [[ ${MERGE_TYPE} != binary ]]; then
 		if [[ $(tc-getCXX)$ == *g++* ]] && ! tc-has-openmp; then


^ permalink raw reply related	[flat|nested] 10+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/
@ 2014-03-06 11:13 Justin Lecher
  0 siblings, 0 replies; 10+ messages in thread
From: Justin Lecher @ 2014-03-06 11:13 UTC (permalink / raw
  To: gentoo-commits

commit:     38d2e410f17401137d1a7e06c475137a5f42d5b7
Author:     Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Thu Mar  6 11:12:45 2014 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> 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 <jlec@gentoo.org> z3-9999.ebuild:
   Adopt to recent changes in git-r3.eclass
 
+  06 Mar 2014; Justin Lecher <jlec@gentoo.org> z3-9999.ebuild:
+  Adopt to recent changes in git-r3.eclass
+
   02 Dec 2013; Justin Lecher <jlec@gentoo.org> 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"


^ permalink raw reply related	[flat|nested] 10+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/
@ 2015-03-29 10:24 Justin Lecher
  0 siblings, 0 replies; 10+ messages in thread
From: Justin Lecher @ 2015-03-29 10:24 UTC (permalink / raw
  To: gentoo-commits

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}


^ permalink raw reply related	[flat|nested] 10+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/
@ 2020-09-22  2:04 Aisha Tammy
  0 siblings, 0 replies; 10+ messages in thread
From: Aisha Tammy @ 2020-09-22  2:04 UTC (permalink / raw
  To: gentoo-commits

commit:     896c94b83f6e346278d20061a43b2716eb87eaa8
Author:     Aisha Tammy <gentoo <AT> aisha <DOT> cc>
AuthorDate: Tue Sep 22 02:04:07 2020 +0000
Commit:     Aisha Tammy <gentoo <AT> aisha <DOT> cc>
CommitDate: Tue Sep 22 02:04:19 2020 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=896c94b8

sci-mathematics/z3: drop package

present in ::gentoo

Package-Manager: Portage-3.0.7, Repoman-3.0.1
Signed-off-by: Aisha Tammy <gentoo <AT> aisha.cc>

 sci-mathematics/z3/metadata.xml    |  8 ----
 sci-mathematics/z3/z3-4.3.1.ebuild | 74 -----------------------------------
 sci-mathematics/z3/z3-9999.ebuild  | 79 --------------------------------------
 3 files changed, 161 deletions(-)

diff --git a/sci-mathematics/z3/metadata.xml b/sci-mathematics/z3/metadata.xml
deleted file mode 100644
index ae9640ffb..000000000
--- a/sci-mathematics/z3/metadata.xml
+++ /dev/null
@@ -1,8 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-	<maintainer type="project">
-		<email>sci@gentoo.org</email>
-		<name>Gentoo Science Project</name>
-	</maintainer>
-</pkgmetadata>

diff --git a/sci-mathematics/z3/z3-4.3.1.ebuild b/sci-mathematics/z3/z3-4.3.1.ebuild
deleted file mode 100644
index 751fc10ad..000000000
--- a/sci-mathematics/z3/z3-4.3.1.ebuild
+++ /dev/null
@@ -1,74 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-PYTHON_COMPAT=( python2_7 )
-
-inherit autotools flag-o-matic python-r1 toolchain-funcs vcs-snapshot
-
-DESCRIPTION="An efficient theorem prover"
-HOMEPAGE="http://z3.codeplex.com/"
-SRC_URI="http://dev.gentoo.org/~jlec/distfiles/${P}.tar.xz"
-
-SLOT="0"
-LICENSE="MIT"
-KEYWORDS="~amd64 ~x86"
-IUSE="gmp"
-
-REQUIRED_USE="${PYTHON_REQUIRED_USE}"
-
-RDEPEND="${PYTHON_DEPS}
-	gmp? ( dev-libs/gmp:0 )"
-DEPEND="${RDEPEND}"
-
-pkg_setup() {
-	if [[ ${MERGE_TYPE} != binary ]]; then
-		if [[ $(tc-getCXX)$ == *g++* ]] && ! tc-has-openmp; then
-			ewarn "Please use an openmp compatible compiler"
-			ewarn "like >gcc-4.2 with USE=openmp"
-			die "Openmp support missing in compiler"
-		fi
-	fi
-}
-
-src_prepare() {
-	sed \
-		-e 's:-O3::g' \
-		-e 's:-fomit-frame-pointer::' \
-		-e 's:-msse2::g' \
-		-e 's:-msse::g' \
-		-e "/LINK_EXTRA_FLAGS/s:@LDFLAGS@:-lrt $(usex gmp -lgmp):g" \
-		-e 's:t@\$:t\$:g' \
-		-i scripts/*mk* || die
-
-	append-ldflags -fopenmp
-
-	eautoreconf
-}
-
-src_configure() {
-	python_export_best
-	econf \
-		--host="" \
-		--with-python="${PYTHON}" \
-		$(use_with gmp) \
-		SLIBFLAGS=" -Wl,-soname,lib${PN}.so.0.1 "
-	${EPYTHON} scripts/mk_make.py || die
-}
-
-src_compile() {
-	emake \
-		--directory="build" \
-		CXX=$(tc-getCXX) \
-		LINK="$(tc-getCXX) ${LDFLAGS}" \
-		LINK_FLAGS="${LDFLAGS}"
-}
-
-src_install() {
-	doheader src/api/z3*.h src/api/c++/z3*.h
-	dolib.so build/*.so
-	dobin build/z3
-
-	python_foreach_impl python_domodule src/api/python/*.py
-}

diff --git a/sci-mathematics/z3/z3-9999.ebuild b/sci-mathematics/z3/z3-9999.ebuild
deleted file mode 100644
index 589751a60..000000000
--- a/sci-mathematics/z3/z3-9999.ebuild
+++ /dev/null
@@ -1,79 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-PYTHON_COMPAT=( python2_7 )
-
-inherit autotools flag-o-matic git-r3 python-r1 toolchain-funcs
-
-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="MIT"
-KEYWORDS=""
-IUSE="gmp"
-
-REQUIRED_USE="${PYTHON_REQUIRED_USE}"
-
-RDEPEND="${PYTHON_DEPS}
-	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}
-	>=net-misc/curl-7.33"
-
-pkg_setup() {
-	if [[ ${MERGE_TYPE} != binary ]]; then
-		if [[ $(tc-getCXX)$ == *g++* ]] && ! tc-has-openmp; then
-			ewarn "Please use an openmp compatible compiler"
-			ewarn "like >gcc-4.2 with USE=openmp"
-			die "Openmp support missing in compiler"
-		fi
-	fi
-}
-
-src_prepare() {
-	sed \
-		-e 's:-O3::g' \
-		-e 's:-fomit-frame-pointer::' \
-		-e 's:-msse2::g' \
-		-e 's:-msse::g' \
-		-e "/LINK_EXTRA_FLAGS/s:@LDFLAGS@:-lrt $(usex gmp -lgmp):g" \
-		-e 's:t@\$:t\$:g' \
-		-i scripts/*mk* || die
-
-	append-ldflags -fopenmp
-
-	eautoreconf
-}
-
-src_configure() {
-	python_export_best
-	econf \
-		--host="" \
-		--with-python="${PYTHON}" \
-		$(use_with gmp) \
-		SLIBFLAGS=" -Wl,-soname,lib${PN}.so.0.1 "
-	${EPYTHON} scripts/mk_make.py || die
-}
-
-src_compile() {
-	emake \
-		--directory="build" \
-		CXX=$(tc-getCXX) \
-		LINK="$(tc-getCXX) ${LDFLAGS}" \
-		LINK_FLAGS="${LDFLAGS}"
-}
-
-src_install() {
-	doheader src/api/z3*.h src/api/c++/z3*.h
-	dolib.so build/*.so
-	dobin build/z3
-
-	python_foreach_impl python_domodule src/api/python/*.py
-}


^ permalink raw reply related	[flat|nested] 10+ messages in thread
end of thread, other threads:[~2020-09-22  2:04 UTC | newest]

Thread overview: 10+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2013-12-02 16:21 [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/ Justin Lecher
  -- strict thread matches above, loose matches on Subject: below --
2013-12-02 16:21 Justin Lecher
2013-12-02 16:21 Justin Lecher
2013-12-02 16:21 Justin Lecher
2013-12-02 16:21 Justin Lecher
2013-12-02 16:21 Justin Lecher
2014-03-06 11:11 Justin Lecher
2014-03-06 11:13 Justin Lecher
2015-03-29 10:24 Justin Lecher
2020-09-22  2:04 Aisha Tammy

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox