From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id A28C6138359 for ; Tue, 22 Sep 2020 02:04:33 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id B3239E081A; Tue, 22 Sep 2020 02:04:32 +0000 (UTC) Received: from smtp.gentoo.org (mail.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 55EEFE081A for ; Tue, 22 Sep 2020 02:04:32 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 6B31B335CEF for ; Tue, 22 Sep 2020 02:04:30 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id DA996355 for ; Tue, 22 Sep 2020 02:04:28 +0000 (UTC) From: "Aisha Tammy" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Aisha Tammy" Message-ID: <1600740259.896c94b83f6e346278d20061a43b2716eb87eaa8.epsilon-0@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/z3/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/z3/metadata.xml sci-mathematics/z3/z3-4.3.1.ebuild sci-mathematics/z3/z3-9999.ebuild X-VCS-Directories: sci-mathematics/z3/ X-VCS-Committer: epsilon-0 X-VCS-Committer-Name: Aisha Tammy X-VCS-Revision: 896c94b83f6e346278d20061a43b2716eb87eaa8 X-VCS-Branch: master Date: Tue, 22 Sep 2020 02:04:28 +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-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: 0dac198e-7d59-436b-b6e4-dab9fcd015e1 X-Archives-Hash: fe7187dade8e377fd8cb4c8bb42f5708 commit: 896c94b83f6e346278d20061a43b2716eb87eaa8 Author: Aisha Tammy aisha cc> AuthorDate: Tue Sep 22 02:04:07 2020 +0000 Commit: Aisha Tammy aisha 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 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 @@ - - - - - sci@gentoo.org - Gentoo Science Project - - 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 -}