* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/prover9/
@ 2019-05-03 1:03 Aaron Bauman
0 siblings, 0 replies; 3+ messages in thread
From: Aaron Bauman @ 2019-05-03 1:03 UTC (permalink / raw
To: gentoo-commits
commit: 9313279243fd73849c246068197b916292a87b45
Author: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com>
AuthorDate: Mon Apr 29 10:47:19 2019 +0000
Commit: Aaron Bauman <bman <AT> gentoo <DOT> org>
CommitDate: Fri May 3 01:03:50 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=93132792
sci-mathematics/prover9: use HTTPS
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/11860
Signed-off-by: Aaron Bauman <bman <AT> gentoo.org>
sci-mathematics/prover9/prover9-2009.11a.ebuild | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/sci-mathematics/prover9/prover9-2009.11a.ebuild b/sci-mathematics/prover9/prover9-2009.11a.ebuild
index 56c2ad3a413..b9fe53f22b6 100644
--- a/sci-mathematics/prover9/prover9-2009.11a.ebuild
+++ b/sci-mathematics/prover9/prover9-2009.11a.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=5
@@ -11,9 +11,9 @@ MY_PV=$(replace_all_version_separators '-')
MY_P="${MY_PN}-${MY_PV}"
DESCRIPTION="Automated theorem prover for first-order and equational logic"
-HOMEPAGE="http://www.cs.unm.edu/~mccune/mace4/"
+HOMEPAGE="https://www.cs.unm.edu/~mccune/mace4/"
SRC_URI="
- http://www.cs.unm.edu/~mccune/mace4/download/${MY_P}.tar.gz
+ https://www.cs.unm.edu/~mccune/mace4/download/${MY_P}.tar.gz
https://dev.gentoo.org/~jlec/distfiles/${MY_PN}-2009-11A-makefile.patch.xz"
SLOT="0"
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/prover9/
@ 2020-01-07 0:08 Mark Wright
0 siblings, 0 replies; 3+ messages in thread
From: Mark Wright @ 2020-01-07 0:08 UTC (permalink / raw
To: gentoo-commits
commit: 422dbf48dc19c6268e86dd4c1ca1217f7dd4df85
Author: Mark Wright <gienah <AT> gentoo <DOT> org>
AuthorDate: Tue Jan 7 00:07:36 2020 +0000
Commit: Mark Wright <gienah <AT> gentoo <DOT> org>
CommitDate: Tue Jan 7 00:07:36 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=422dbf48
sci-mathematics/prover9: eapi=7, add src_test
Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Mark Wright <gienah <AT> gentoo.org>
sci-mathematics/prover9/prover9-2009.11a.ebuild | 19 +++++++++++++------
1 file changed, 13 insertions(+), 6 deletions(-)
diff --git a/sci-mathematics/prover9/prover9-2009.11a.ebuild b/sci-mathematics/prover9/prover9-2009.11a.ebuild
index b9fe53f22b6..1894b784a65 100644
--- a/sci-mathematics/prover9/prover9-2009.11a.ebuild
+++ b/sci-mathematics/prover9/prover9-2009.11a.ebuild
@@ -1,13 +1,13 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=5
+EAPI=7
-inherit eutils toolchain-funcs versionator
+inherit eutils toolchain-funcs
MY_PN="LADR"
typeset -u MY_PV
-MY_PV=$(replace_all_version_separators '-')
+MY_PV=$(ver_rs 1 '-')
MY_P="${MY_PN}-${MY_PV}"
DESCRIPTION="Automated theorem prover for first-order and equational logic"
@@ -29,8 +29,8 @@ PATCHES=(
S="${WORKDIR}/${MY_P}/"
src_prepare() {
+ default
MAKEOPTS+=" -j1"
- epatch "${PATCHES[@]}"
sed \
-e "/^CC =/s:gcc:$(tc-getCC):g" \
-i */Makefile || die
@@ -40,6 +40,12 @@ src_compile() {
emake all
}
+src_test() {
+ emake test1
+ emake test2
+ emake test3
+}
+
src_install () {
dobin \
bin/attack \
@@ -95,7 +101,8 @@ src_install () {
manpages/rewriter.1 \
manpages/prover9-apps.1
- dohtml ladr/index.html.master ladr/html/*
+ docinto html
+ dodoc -r ladr/index.html.master ladr/html/*
insinto /usr/$(get_libdir)
dolib.so ladr/.libs/libladr.so.4.0.0
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/prover9/
@ 2024-02-14 17:01 Maciej Barć
0 siblings, 0 replies; 3+ messages in thread
From: Maciej Barć @ 2024-02-14 17:01 UTC (permalink / raw
To: gentoo-commits
commit: ff9646fcc48ee9834a1b7e5a9c0f36dd859df1dd
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Feb 14 16:19:37 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Feb 14 17:01:37 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ff9646fc
sci-mathematics/prover9: fix tests; bump to EAPI 8
Closes: https://bugs.gentoo.org/725594
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
...-2009.11a.ebuild => prover9-2009.11a-r1.ebuild} | 48 +++++++++++-----------
1 file changed, 23 insertions(+), 25 deletions(-)
diff --git a/sci-mathematics/prover9/prover9-2009.11a.ebuild b/sci-mathematics/prover9/prover9-2009.11a-r1.ebuild
similarity index 75%
rename from sci-mathematics/prover9/prover9-2009.11a.ebuild
rename to sci-mathematics/prover9/prover9-2009.11a-r1.ebuild
index 0fa79ab74422..63b9fad1839f 100644
--- a/sci-mathematics/prover9/prover9-2009.11a.ebuild
+++ b/sci-mathematics/prover9/prover9-2009.11a-r1.ebuild
@@ -1,49 +1,48 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=7
+EAPI=8
inherit toolchain-funcs
MY_PN="LADR"
typeset -u MY_PV
-MY_PV=$(ver_rs 1 '-')
+MY_PV="$(ver_rs 1 '-')"
MY_P="${MY_PN}-${MY_PV}"
DESCRIPTION="Automated theorem prover for first-order and equational logic"
HOMEPAGE="https://www.cs.unm.edu/~mccune/mace4/"
SRC_URI="
https://www.cs.unm.edu/~mccune/mace4/download/${MY_P}.tar.gz
- https://dev.gentoo.org/~jlec/distfiles/${MY_PN}-2009-11A-makefile.patch.xz"
+ https://dev.gentoo.org/~jlec/distfiles/${MY_PN}-2009-11A-makefile.patch.xz
+"
+S="${WORKDIR}/${MY_P}/"
+LICENSE="GPL-2"
SLOT="0"
KEYWORDS="~amd64 ~x86"
-LICENSE="GPL-2"
IUSE="examples"
PATCHES=(
- "${WORKDIR}"/${MY_PN}-2009-11A-makefile.patch
- "${FILESDIR}"/${MY_PN}-2009-11A-manpages.patch
- )
-
-S="${WORKDIR}/${MY_P}/"
+ "${WORKDIR}/${MY_PN}-2009-11A-makefile.patch"
+ "${FILESDIR}/${MY_PN}-2009-11A-manpages.patch"
+)
src_prepare() {
default
- MAKEOPTS+=" -j1"
- sed \
- -e "/^CC =/s:gcc:$(tc-getCC):g" \
- -i */Makefile || die
+
+ sed -e "/^CC =/s:gcc:$(tc-getCC):g" -i */Makefile || die
+
+ export MAKEOPTS+=" -j1 "
+ tc-export AR CC
}
src_compile() {
- emake all
+ emake CFLAGS="${CFLAGS} ${LDFLAGS}" -j1 all
}
src_test() {
- emake test1
- emake test2
- emake test3
+ LD_LIBRARY_PATH="${S}/ladr/.libs/" emake -j1 test1 test2 test3
}
src_install() {
@@ -104,23 +103,22 @@ src_install() {
docinto html
dodoc -r ladr/index.html.master ladr/html/*
- insinto /usr/$(get_libdir)
+ insinto "/usr/$(get_libdir)"
dolib.so ladr/.libs/libladr.so.4.0.0
- dosym libladr.so.4.0.0 /usr/$(get_libdir)/libladr.so.4
- dosym libladr.so.4.0.0 /usr/$(get_libdir)/libladr.so
+ dosym libladr.so.4.0.0 "/usr/$(get_libdir)/libladr.so.4"
+ dosym libladr.so.4.0.0 "/usr/$(get_libdir)/libladr.so"
- dodir /usr/include/ladr
insinto /usr/include/ladr
doins ladr/*.h
- if use examples; then
- insinto /usr/share/${PN}/examples
+ if use examples ; then
+ insinto "/usr/share/${PN}/examples"
doins prover9.examples/*
# The prover9-mace4 script is installed as an example script
# to avoid confusion with the GUI sci-mathematics/p9m4 prover9mace4.py
- insinto /usr/share/${PN}/scripts
+ insinto "/usr/share/${PN}/scripts"
doins bin/prover9-mace4
fi
}
^ permalink raw reply related [flat|nested] 3+ messages in thread
end of thread, other threads:[~2024-02-14 17:01 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-01-07 0:08 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/prover9/ Mark Wright
-- strict thread matches above, loose matches on Subject: below --
2024-02-14 17:01 Maciej Barć
2019-05-03 1:03 Aaron Bauman
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox