[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/prover9/
commit: ff9646fcc48ee9834a1b7e5a9c0f36dd859df1dd
Author: Maciej Barć gentoo org>
AuthorDate: Wed Feb 14 16:19:37 2024 +
Commit: Maciej Barć gentoo org>
CommitDate: Wed Feb 14 17:01:37 2024 +
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ć 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
}
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/prover9/
commit: 422dbf48dc19c6268e86dd4c1ca1217f7dd4df85
Author: Mark Wright gentoo org>
AuthorDate: Tue Jan 7 00:07:36 2020 +
Commit: Mark Wright gentoo org>
CommitDate: Tue Jan 7 00:07:36 2020 +
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 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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/prover9/
commit: 9313279243fd73849c246068197b916292a87b45
Author: Michael Mair-Keimberger gmail com>
AuthorDate: Mon Apr 29 10:47:19 2019 +
Commit: Aaron Bauman gentoo org>
CommitDate: Fri May 3 01:03:50 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=93132792
sci-mathematics/prover9: use HTTPS
Signed-off-by: Michael Mair-Keimberger gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/11860
Signed-off-by: Aaron Bauman 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"
