* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/libpoly/
@ 2022-12-18 21:50 Maciej Barć
0 siblings, 0 replies; 4+ messages in thread
From: Maciej Barć @ 2022-12-18 21:50 UTC (permalink / raw
To: gentoo-commits
commit: d820c1e66cf14fc974084c92e937611a5c6006f3
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Dec 18 20:36:50 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Dec 18 21:50:55 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d820c1e6
sci-mathematics/libpoly: new package; add 0.1.11
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/libpoly/Manifest | 1 +
sci-mathematics/libpoly/libpoly-0.1.11.ebuild | 60 +++++++++++++++++++++++++++
sci-mathematics/libpoly/metadata.xml | 19 +++++++++
3 files changed, 80 insertions(+)
diff --git a/sci-mathematics/libpoly/Manifest b/sci-mathematics/libpoly/Manifest
new file mode 100644
index 000000000000..8e2480c62da5
--- /dev/null
+++ b/sci-mathematics/libpoly/Manifest
@@ -0,0 +1 @@
+DIST libpoly-0.1.11.tar.gz 614216 BLAKE2B 42a2510a6a9f94e7170b5df97ec8f2b7b29cb9c95bd13c8c7abebc9e7db7fedcbeb7a928f22d173e154180acc199e081323d2f1cb23264bf31ac1bfc88494dc8 SHA512 df08a6bab33e27023316972e2496801cea4959faf403b5df8314fa45b4541cd1352583a44084bea130c1e3ca4ed86de032f7f96eeb915599f178e80976a68f7a
diff --git a/sci-mathematics/libpoly/libpoly-0.1.11.ebuild b/sci-mathematics/libpoly/libpoly-0.1.11.ebuild
new file mode 100644
index 000000000000..e3b8fb247367
--- /dev/null
+++ b/sci-mathematics/libpoly/libpoly-0.1.11.ebuild
@@ -0,0 +1,60 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{8,9,10} )
+
+inherit python-single-r1 cmake
+
+DESCRIPTION="C library for manipulating polynomials"
+HOMEPAGE="https://github.com/SRI-CSL/libpoly/"
+SRC_URI="https://github.com/SRI-CSL/${PN}/archive/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="LGPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+python"
+REQUIRED_USE="python? ( ${PYTHON_REQUIRED_USE} )"
+
+RDEPEND="
+ dev-libs/gmp:=
+ python? (
+ ${PYTHON_DEPS}
+ $(python_gen_cond_dep 'dev-python/sympy[${PYTHON_USEDEP}]')
+ )
+"
+DEPEND="${RDEPEND}"
+BDEPEND="dev-util/patchelf"
+
+DOCS=( README.md examples )
+
+pkg_setup() {
+ use python && python-single-r1_pkg_setup
+}
+
+src_configure() {
+ local mycmakeargs=(
+ -DLIBPOLY_BUILD_PYTHON_API=$(usex python)
+ -DLIBPOLY_BUILD_STATIC=OFF
+ -DLIBPOLY_BUILD_STATIC_PIC=OFF
+ )
+ cmake_src_configure
+}
+
+src_install() {
+ cmake_src_install
+
+ mv "${D}"/usr/lib "${D}"/usr/$(get_libdir) || die
+
+ if use python ; then
+ local sitedir="${D}"/"$(python_get_sitedir)"
+ local sopath="${BUILD_DIR}"/python/polypy.so
+
+ patchelf --remove-rpath "${sopath}" || die
+
+ mkdir -p "${sitedir}" || die
+ cp "${sopath}" "${sitedir}" || die
+ fi
+}
diff --git a/sci-mathematics/libpoly/metadata.xml b/sci-mathematics/libpoly/metadata.xml
new file mode 100644
index 000000000000..9d9fdde167c9
--- /dev/null
+++ b/sci-mathematics/libpoly/metadata.xml
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="project">
+ <email>sci-mathematics@gentoo.org</email>
+ <name>Gentoo Mathematics Project</name>
+ </maintainer>
+ <longdescription>
+ LibPoly is a C library for manipulating polynomials. The target
+ applications are symbolic reasoning engines, such as SMT solvers, that need
+ to reason about polynomial constraints. It is research software under
+ development, so the features and the API might change rapidly.
+ </longdescription>
+ <upstream>
+ <bugs-to>https://github.com/SRI-CSL/libpoly/issues/</bugs-to>
+ <remote-id type="github">SRI-CSL/libpoly</remote-id>
+ </upstream>
+</pkgmetadata>
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/libpoly/
@ 2022-12-19 22:28 Maciej Barć
0 siblings, 0 replies; 4+ messages in thread
From: Maciej Barć @ 2022-12-19 22:28 UTC (permalink / raw
To: gentoo-commits
commit: d5a1050d3e2e050151e73d63d624a2aeafeba061
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 19 18:41:35 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Dec 19 22:28:15 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d5a1050d
sci-mathematics/libpoly: remove -Werror
Closes: https://bugs.gentoo.org/887109
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/libpoly/libpoly-0.1.11.ebuild | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/sci-mathematics/libpoly/libpoly-0.1.11.ebuild b/sci-mathematics/libpoly/libpoly-0.1.11.ebuild
index e3b8fb247367..09b57d07fe96 100644
--- a/sci-mathematics/libpoly/libpoly-0.1.11.ebuild
+++ b/sci-mathematics/libpoly/libpoly-0.1.11.ebuild
@@ -34,6 +34,14 @@ pkg_setup() {
use python && python-single-r1_pkg_setup
}
+src_prepare() {
+ sed -i "s| -Werror||g" \
+ "${S}"/src/CMakeLists.txt \
+ "${S}"/test/polyxx/CMakeLists.txt || die
+
+ cmake_src_prepare
+}
+
src_configure() {
local mycmakeargs=(
-DLIBPOLY_BUILD_PYTHON_API=$(usex python)
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/libpoly/
@ 2023-02-24 9:02 Andrew Ammerlaan
0 siblings, 0 replies; 4+ messages in thread
From: Andrew Ammerlaan @ 2023-02-24 9:02 UTC (permalink / raw
To: gentoo-commits
commit: b12c29426d2a029f1af2b3636723dc9f7929fa18
Author: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 24 09:01:56 2023 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Fri Feb 24 09:01:56 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b12c2942
sci-mathematics/libpoly: enable py3.11
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>
sci-mathematics/libpoly/libpoly-0.1.11.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/libpoly/libpoly-0.1.11.ebuild b/sci-mathematics/libpoly/libpoly-0.1.11.ebuild
index b2e129113f07..f83360e390fa 100644
--- a/sci-mathematics/libpoly/libpoly-0.1.11.ebuild
+++ b/sci-mathematics/libpoly/libpoly-0.1.11.ebuild
@@ -3,7 +3,7 @@
EAPI=8
-PYTHON_COMPAT=( python3_{9,10} )
+PYTHON_COMPAT=( python3_{9..11} )
inherit python-single-r1 cmake
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/libpoly/
@ 2024-07-31 9:24 Pacho Ramos
0 siblings, 0 replies; 4+ messages in thread
From: Pacho Ramos @ 2024-07-31 9:24 UTC (permalink / raw
To: gentoo-commits
commit: d9c0a64c2d9268c18ab186c785a662717abcb25b
Author: Pacho Ramos <pacho <AT> gentoo <DOT> org>
AuthorDate: Wed Jul 31 08:22:10 2024 +0000
Commit: Pacho Ramos <pacho <AT> gentoo <DOT> org>
CommitDate: Wed Jul 31 09:23:07 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d9c0a64c
sci-mathematics/libpoly: enable py3.12
Closes: https://bugs.gentoo.org/929793
Signed-off-by: Pacho Ramos <pacho <AT> gentoo.org>
sci-mathematics/libpoly/libpoly-0.1.11.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/libpoly/libpoly-0.1.11.ebuild b/sci-mathematics/libpoly/libpoly-0.1.11.ebuild
index f83360e390fa..53f135b36c03 100644
--- a/sci-mathematics/libpoly/libpoly-0.1.11.ebuild
+++ b/sci-mathematics/libpoly/libpoly-0.1.11.ebuild
@@ -1,9 +1,9 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
-PYTHON_COMPAT=( python3_{9..11} )
+PYTHON_COMPAT=( python3_{10..12} )
inherit python-single-r1 cmake
^ permalink raw reply related [flat|nested] 4+ messages in thread
end of thread, other threads:[~2024-07-31 9:24 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-12-18 21:50 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/libpoly/ Maciej Barć
-- strict thread matches above, loose matches on Subject: below --
2022-12-19 22:28 Maciej Barć
2023-02-24 9:02 Andrew Ammerlaan
2024-07-31 9:24 Pacho Ramos
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox