public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/p9m4/
@ 2019-04-21 14:01 David Seifert
  0 siblings, 0 replies; 2+ messages in thread
From: David Seifert @ 2019-04-21 14:01 UTC (permalink / raw
  To: gentoo-commits

commit:     011956bb5a1162099ba62439d00f65bfdb28f957
Author:     David Seifert <soap <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 21 14:01:16 2019 +0000
Commit:     David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Sun Apr 21 14:01:16 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=011956bb

sci-mathematics/p9m4: [QA] Call distutils-r1_python_install_all

* EAPI 7

Closes: https://bugs.gentoo.org/683180
Package-Manager: Portage-2.3.62, Repoman-2.3.12
Signed-off-by: David Seifert <soap <AT> gentoo.org>

 sci-mathematics/p9m4/p9m4-05-r1.ebuild | 84 ++++++++++++++--------------------
 1 file changed, 34 insertions(+), 50 deletions(-)

diff --git a/sci-mathematics/p9m4/p9m4-05-r1.ebuild b/sci-mathematics/p9m4/p9m4-05-r1.ebuild
index a97703003be..16bb1c83dee 100644
--- a/sci-mathematics/p9m4/p9m4-05-r1.ebuild
+++ b/sci-mathematics/p9m4/p9m4-05-r1.ebuild
@@ -1,10 +1,9 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
-EAPI="5"
+EAPI=7
 
 PYTHON_COMPAT=( python2_7 )
-DISTUTILS_SINGLE_IMPL=1
 
 inherit distutils-r1
 
@@ -13,42 +12,42 @@ MY_P="${MY_PN}${PV}"
 
 DESCRIPTION="This is a Graphical User Interface for Prover9 and Mace4"
 HOMEPAGE="http://www.cs.unm.edu/~mccune/mace4/"
-SRC_URI="http://www.cs.unm.edu/~mccune/prover9/gui/${MY_P}.tar.gz
-		https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v05-64bit.patch.bz2"
+SRC_URI="
+	http://www.cs.unm.edu/~mccune/prover9/gui/${MY_P}.tar.gz
+	https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v05-64bit.patch.bz2"
 
 LICENSE="GPL-2"
 SLOT="0"
 KEYWORDS="~amd64 ~x86"
 IUSE="examples"
 
-RDEPEND="dev-python/wxpython:*
-		sci-mathematics/prover9"
-DEPEND="${RDEPEND}
-		dev-python/setuptools"
+RDEPEND="
+	dev-python/wxpython[${PYTHON_USEDEP}]
+	sci-mathematics/prover9"
+DEPEND="
+	${RDEPEND}
+	dev-python/setuptools[${PYTHON_USEDEP}]"
 
-PATCHES=( "${DISTDIR}/${MY_PN}05-64bit.patch.bz2"
-		"${FILESDIR}/${MY_PN}05-use-inst-paths.patch"
-		"${FILESDIR}/${MY_PN}05-package.patch"
-		"${FILESDIR}/${MY_PN}05-python2.6.patch" )
+PATCHES=(
+	"${WORKDIR}"/${MY_PN}05-64bit.patch
+	"${FILESDIR}"/${MY_PN}05-use-inst-paths.patch
+	"${FILESDIR}"/${MY_PN}05-package.patch
+	"${FILESDIR}"/${MY_PN}05-python2.6.patch
+)
 
-S="${WORKDIR}/${MY_P}/"
-
-python_check_deps() {
-	has_version "dev-python/foo[${PYTHON_USEDEP}]"
-}
-
-pkg_setup() {
-	python-single-r1_pkg_setup
-}
+S="${WORKDIR}/${MY_P}"
 
 python_prepare_all() {
-	rm -f p9m4-v05/bin/prover9 \
+	distutils-r1_python_prepare_all
+
+	rm -f \
+		p9m4-v05/bin/prover9 \
 		p9m4-v05/bin/mace4 \
 		p9m4-v05/bin/interpformat \
 		p9m4-v05/bin/prooftrans \
 		p9m4-v05/bin/isofilter \
 		p9m4-v05/bin/isofilter2 || die "Could not rm old executables"
-	distutils-r1_python_prepare_all
+
 	mkdir p9m4 || die "Could not create directory p9m4"
 	mv Mac-setup.py \
 		Win32-setup.py \
@@ -67,42 +66,27 @@ python_prepare_all() {
 }
 
 python_install_all() {
-	dosym /usr/bin/prover9-mace4.py /usr/bin/prover9-mace4
-	insinto /usr/share
-	dodir /usr/share/${PN}/Images
+	distutils-r1_python_install_all
+
+	dosym prover9-mace4.py /usr/bin/prover9-mace4
+
 	insinto /usr/share/${PN}/Images
-	cd "${S}/Images" \
-		|| die "Could not cd to Images"
-	doins *.gif *.ico
+	doins Images/*.{gif,ico}
+
 	if use examples; then
-		dodir /usr/share/${PN}/Samples
 		insinto /usr/share/${PN}/Samples
-		cd "${S}/Samples" \
-			|| die "Could not cd to Samples"
-		doins *.in
+		doins Samples/*.in
 
-		dodir /usr/share/${PN}/Samples/Equality/Mace4
 		insinto /usr/share/${PN}/Samples/Equality/Mace4
-		cd "${S}/Samples/Equality/Mace4" \
-			|| die "Could not cd to Samples/Equality/Mace4"
-		doins *.in
+		doins Samples/Equality/Mace4/*.in
 
-		dodir /usr/share/${PN}/Samples/Equality/Prover9
 		insinto /usr/share/${PN}/Samples/Equality/Prover9
-		cd "${S}/Samples/Equality/Prover9" \
-			|| die "Could not cd to Samples/Equality/Prover9"
-		doins *.in
+		doins Samples/Equality/Prover9/*.in
 
-		dodir /usr/share/${PN}/Samples/Non-Equality/Mace4
 		insinto /usr/share/${PN}/Samples/Non-Equality/Mace4
-		cd "${S}/Samples/Non-Equality/Mace4" \
-			|| die "Could cd to Samples/Non-Equality/Mace4"
-		doins *.in
+		doins Samples/Non-Equality/Mace4/*.in
 
-		dodir /usr/share/${PN}/Samples/Non-Equality/Prover9
 		insinto /usr/share/${PN}/Samples/Non-Equality/Prover9
-		cd "${S}/Samples/Non-Equality/Prover9" \
-			|| die "Could not cd to Samples/Non-Equality/Prover9"
-		doins *.in
+		doins Samples/Non-Equality/Prover9/*.in
 	fi
 }


^ permalink raw reply related	[flat|nested] 2+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/p9m4/
@ 2019-05-03  1:03 Aaron Bauman
  0 siblings, 0 replies; 2+ messages in thread
From: Aaron Bauman @ 2019-05-03  1:03 UTC (permalink / raw
  To: gentoo-commits

commit:     0215de3511026ab38633419f287acb87dc9b79e5
Author:     Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com>
AuthorDate: Mon Apr 29 10:48:01 2019 +0000
Commit:     Aaron Bauman <bman <AT> gentoo <DOT> org>
CommitDate: Fri May  3 01:03:51 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0215de35

sci-mathematics/p9m4: use HTTPS

Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail.com>
Signed-off-by: Aaron Bauman <bman <AT> gentoo.org>

 sci-mathematics/p9m4/p9m4-05-r1.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sci-mathematics/p9m4/p9m4-05-r1.ebuild b/sci-mathematics/p9m4/p9m4-05-r1.ebuild
index 16bb1c83dee..29cb679eeb2 100644
--- a/sci-mathematics/p9m4/p9m4-05-r1.ebuild
+++ b/sci-mathematics/p9m4/p9m4-05-r1.ebuild
@@ -11,9 +11,9 @@ MY_PN="p9m4-v"
 MY_P="${MY_PN}${PV}"
 
 DESCRIPTION="This is a Graphical User Interface for Prover9 and Mace4"
-HOMEPAGE="http://www.cs.unm.edu/~mccune/mace4/"
+HOMEPAGE="https://www.cs.unm.edu/~mccune/mace4/"
 SRC_URI="
-	http://www.cs.unm.edu/~mccune/prover9/gui/${MY_P}.tar.gz
+	https://www.cs.unm.edu/~mccune/prover9/gui/${MY_P}.tar.gz
 	https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v05-64bit.patch.bz2"
 
 LICENSE="GPL-2"


^ permalink raw reply related	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2019-05-03  1:04 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2019-05-03  1:03 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/p9m4/ Aaron Bauman
  -- strict thread matches above, loose matches on Subject: below --
2019-04-21 14:01 David Seifert

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