* [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