From a2ade83c1df9b347b41af2a21f8e20ffe32dbdb1 Mon Sep 17 00:00:00 2001 From: dkwo Date: Fri, 3 Sep 2021 16:32:12 +0200 Subject: [PATCH 1/2] New package: cddlib-0.94m --- common/shlibs | 2 ++ srcpkgs/cddlib/template | 12 ++++++++++++ 2 files changed, 14 insertions(+) create mode 100644 srcpkgs/cddlib/template diff --git a/common/shlibs b/common/shlibs index 6f250a63f5d0..80533fffc33e 100644 --- a/common/shlibs +++ b/common/shlibs @@ -47,6 +47,8 @@ libSegFault.so glibc-2.32_1 libpcprofile.so glibc-2.32_1 libcidn.so.1 glibc-2.32_1 libmvec.so.1 glibc-2.32_1 +libcddgmp.so.0 cddlib-0.94m_1 +libcdd.so.0 cddlib-0.94m_1 libz.so.1 zlib-1.2.3_1 libb2.so.1 libb2-0.98.1_1 libbz2.so.1 bzip2-1.0.5_1 diff --git a/srcpkgs/cddlib/template b/srcpkgs/cddlib/template new file mode 100644 index 000000000000..37759cf0361c --- /dev/null +++ b/srcpkgs/cddlib/template @@ -0,0 +1,12 @@ +# Template file for 'cddlib' +pkgname=cddlib +version=0.94m +revision=1 +build_style=gnu-configure +hostmakedepends="gmp-devel" +short_desc="Efficient implementation of the Double Description Method" +maintainer="dkwo " +license="GPL-2.0-or-later" +homepage="https://github.com/cddlib/cddlib" +distfiles="https://github.com/cddlib/cddlib/releases/download/${version}/cddlib-${version}.tar.gz" +checksum=70dffdb3369b8704dc75428a1b3c42ab9047b81ce039f12f427e2eb2b1b0dee2 From e967ad397d575d6edfb91f263109a43f9ae8cd6a Mon Sep 17 00:00:00 2001 From: dkwo Date: Fri, 3 Sep 2021 17:41:02 +0200 Subject: [PATCH 2/2] New package: singular-4.2.1 --- srcpkgs/singular/patches/polys.patch | 22 ++++++++++++++++++++++ srcpkgs/singular/template | 17 +++++++++++++++++ 2 files changed, 39 insertions(+) create mode 100644 srcpkgs/singular/patches/polys.patch create mode 100644 srcpkgs/singular/template diff --git a/srcpkgs/singular/patches/polys.patch b/srcpkgs/singular/patches/polys.patch new file mode 100644 index 000000000000..73ee062e2f89 --- /dev/null +++ b/srcpkgs/singular/patches/polys.patch @@ -0,0 +1,22 @@ +From 6e2383111a18b2fa2d3421045625d1d424eb1e25 Mon Sep 17 00:00:00 2001 +From: Hans Schoenemann +Date: Mon, 20 Sep 2021 15:13:36 +0200 +Subject: [PATCH] fix: make check: polys_test + +--- + libpolys/tests/polys_test.h | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/libpolys/tests/polys_test.h b/libpolys/tests/polys_test.h +index 5526aa5a6b..5b4c561238 100644 +--- a/libpolys/tests/polys_test.h ++++ b/libpolys/tests/polys_test.h +@@ -2481,7 +2481,7 @@ class PolysTestSuite : public CxxTest::TestSuite + { + for (int qi = 0; qi <= 100; qi++) + { +- int c = rand() % 1000000; ++ int c = rand() % 1000000+1; /* c must not be 0 */ + poly qterm = p_ISet(c, r); p_SetExp(qterm, 1, qi, r); + p_Setm(qterm, r); + number qtermAsN = toFractionNumber(qterm, cf); diff --git a/srcpkgs/singular/template b/srcpkgs/singular/template new file mode 100644 index 000000000000..e3d27bd0d4cd --- /dev/null +++ b/srcpkgs/singular/template @@ -0,0 +1,17 @@ +# Template file for 'singular' +pkgname=singular +version=4.2.1 +revision=1 +build_style=gnu-configure +configure_args="--with-readline=ncurses --enable-bigintm-module --enable-bigintm-module --enable-Order-module + --enable-python-module --enable-gfanlib-module --enable-polymake-module" +hostmakedepends="perl tar" +makedepends="flintlib-devel ntl-devel cddlib readline-devel doxygen graphviz" +short_desc="Computer algebra system for polynomial computations" +maintainer="dkwo " +license="GPL-2.0-or-later" +homepage="https://www.singular.uni-kl.de" +distfiles="https://service.mathematik.uni-kl.de/ftp/pub/Math/Singular/src/${version//./-}/singular-${version}.tar.gz" +checksum=28a56df84f85b116e0068ffecf92fbe08fc27bd4c5ba902997f1a367db0bfe8d +# due to flint and ntl being nocross +nocross=yes