Github messages for voidlinux
 help / color / mirror / Atom feed
* [PR PATCH] New math packages: cddlib, singular
@ 2021-09-03 16:05 dkwo
  2021-09-03 16:12 ` dkwo
                   ` (52 more replies)
  0 siblings, 53 replies; 54+ messages in thread
From: dkwo @ 2021-09-03 16:05 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 421 bytes --]

There is a new pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages cdd
https://github.com/void-linux/void-packages/pull/32822

New math packages: cddlib, singular
New math packages, useful for sagemath

- New package: cddlib
- New package: singular

I built them on x86_64



A patch file from https://github.com/void-linux/void-packages/pull/32822.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-cdd-32822.patch --]
[-- Type: text/x-diff, Size: 3302 bytes --]

From 400ca939f5e42d434be4e1c84af1e13ad9d251e1 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 17:57:26 +0200
Subject: [PATCH 1/2] New package: cddlib

---
 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 87c27c459aad..00e40260fc2c 100644
--- a/common/shlibs
+++ b/common/shlibs
@@ -55,6 +55,8 @@ libcc1.so.0 gcc-6.2.1_1
 libcc1plugin.so.0 gcc-6.2.1_1
 libitm.so.1 libitm-4.7.3_1
 liblto_plugin.so.0 gcc-4.7.3_1
+libcddgmp.so.0 cddlib-0.94m_1
+libcdd.so.0 cddlib-0.94m_1
 libgcc_s.so.1 libgcc-4.4.0_1
 libgo.so.16 libgo-10.2.0_1
 libperl.so.5.34 perl-5.34.0_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 <nicolopiazzalunga@gmail.com>"
+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 2de389101ec0418c0b8b56a8ea88bc6fd089134c Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 18:02:11 +0200
Subject: [PATCH 2/2] New package: singular

---
 common/shlibs             |  5 +++++
 srcpkgs/singular/template | 20 ++++++++++++++++++++
 2 files changed, 25 insertions(+)
 create mode 100644 srcpkgs/singular/template

diff --git a/common/shlibs b/common/shlibs
index 00e40260fc2c..1aa0344fe4e9 100644
--- a/common/shlibs
+++ b/common/shlibs
@@ -65,6 +65,11 @@ libgmpxx.so.4 gmpxx-6.0.0_2
 libmpfr.so.6 mpfr-4.0.0_1
 libppl.so.14 ppl-1.2_1
 libppl_c.so.4 ppl-0.11_1
+libSingular-4.2.1.so singular-4.2.1_1
+libpolys-4.2.1.so singular-4.2.1_1
+libfactory-4.2.1.so singular-4.2.1_1
+libomalloc-0.9.6.so singular-4.2.1_1
+libsingular_resources-4.2.1.so singular-4.2.1_1
 libstdc++.so.6 libstdc++-4.4.0_1
 libssp.so.0 libssp-4.4.0_1
 libncurses.so.6 ncurses-libs-6.0_1 ignore
diff --git a/srcpkgs/singular/template b/srcpkgs/singular/template
new file mode 100644
index 000000000000..edc5a41cfe72
--- /dev/null
+++ b/srcpkgs/singular/template
@@ -0,0 +1,20 @@
+# Template file for 'singular'
+pkgname=singular
+version=4.2.1
+revision=1
+_own_version=4-2-1
+build_style=gnu-configure
+configure_args="--enable-bigintm-module --enable-Order-module
+ --enable-python-module --enable-gfanlib-module --enable-polymake-module"
+hostmakedepends="automake libtool"
+makedepends="flintlib-devel cddlib doxygen"
+short_desc="Computer algebra system for polynomial computations"
+maintainer="dkwo <nicolopiazzalunga@gmail.com>"
+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/${_own_version}/singular-${version}.tar.gz"
+checksum=28a56df84f85b116e0068ffecf92fbe08fc27bd4c5ba902997f1a367db0bfe8d
+
+pre_configure() {
+	autoreconf -fi
+}

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
@ 2021-09-03 16:12 ` dkwo
  2021-09-03 20:45 ` [PR REVIEW] " paper42
                   ` (51 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-03 16:12 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 227 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-912654147

Comment:
@tornaria could you take a look?
(it seems singular does not cross-compile, due to ntl.)

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR REVIEW] New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
  2021-09-03 16:12 ` dkwo
@ 2021-09-03 20:45 ` paper42
  2021-09-03 21:34 ` tornaria
                   ` (50 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: paper42 @ 2021-09-03 20:45 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 250 bytes --]

New review comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#discussion_r702152634

Comment:
Could you use something like `${version//./-}`? Also remove this variable, because it's used only once.

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
  2021-09-03 16:12 ` dkwo
  2021-09-03 20:45 ` [PR REVIEW] " paper42
@ 2021-09-03 21:34 ` tornaria
  2021-09-03 21:38 ` tornaria
                   ` (49 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: tornaria @ 2021-09-03 21:34 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 445 bytes --]

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-912823152

Comment:
cddlib:
 - do we want to split a -devel pkg?
 - sage expects include files to be in /usr/include so this is not picked up. It seems old versions of cddlib used to place headers in usr/include, and debian places them in /usr/include/cdd, but recent versions of cddlib place them in /usr/include/cddlib.

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (2 preceding siblings ...)
  2021-09-03 21:34 ` tornaria
@ 2021-09-03 21:38 ` tornaria
  2021-09-03 21:38 ` tornaria
                   ` (48 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: tornaria @ 2021-09-03 21:38 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 246 bytes --]

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-912824537

Comment:
singular:
 - is it necessary to run autoreconf? it seems a configure is already provided in the source.

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (3 preceding siblings ...)
  2021-09-03 21:38 ` tornaria
@ 2021-09-03 21:38 ` tornaria
  2021-09-03 22:12 ` tornaria
                   ` (47 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: tornaria @ 2021-09-03 21:38 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 304 bytes --]

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-912824537

Comment:
singular:
 - is it necessary to run autoreconf? it seems a configure is already provided in the source.
 - do you know something about the test failure in musl?

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (4 preceding siblings ...)
  2021-09-03 21:38 ` tornaria
@ 2021-09-03 22:12 ` tornaria
  2021-09-03 22:21 ` tornaria
                   ` (46 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: tornaria @ 2021-09-03 22:12 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 560 bytes --]

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-912837688

Comment:
More on singular:
 - can you enable readline for the command line?
 - we need to figure out if/how to split singular in pkgs: what's the minimum needed to run the command line?
 - it seems ntl is not being picked up; need to add ntl-devel to makedepends
 - python executable is searched in configure: I don't know what for.
 - dot seems to be needed to build graphics for the documentation (dot is in `graphviz`).

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (5 preceding siblings ...)
  2021-09-03 22:12 ` tornaria
@ 2021-09-03 22:21 ` tornaria
  2021-09-06  9:01 ` [PR REVIEW] " dkwo
                   ` (45 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: tornaria @ 2021-09-03 22:21 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 574 bytes --]

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-912837688

Comment:
More on singular:
 - can you enable readline for the command line?
 - we need to figure out if/how to split singular in pkgs: what's the minimum needed to run the command line?
 - it seems ntl is not being picked up; need to add ntl-devel to makedepends
 - python executable is searched in configure: I don't know what for.
 - dot seems to be needed to build graphics for the documentation (dot is in `graphviz` but cf #32826).

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR REVIEW] New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (6 preceding siblings ...)
  2021-09-03 22:21 ` tornaria
@ 2021-09-06  9:01 ` dkwo
  2021-09-06  9:43 ` dkwo
                   ` (44 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-06  9:01 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 149 bytes --]

New review comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#discussion_r702731452

Comment:
Sure.

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (7 preceding siblings ...)
  2021-09-06  9:01 ` [PR REVIEW] " dkwo
@ 2021-09-06  9:43 ` dkwo
  2021-09-06  9:44 ` dkwo
                   ` (43 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-06  9:43 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 482 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-913506237

Comment:
>     * sage expects include files to be in /usr/include so this is not picked up. It seems old versions of cddlib used to place headers in usr/include, and debian places them in /usr/include/cdd, but recent versions of cddlib place them in /usr/include/cddlib.

This should be addressed in sage tickets 32243 and 29413 linked there, right?


^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (8 preceding siblings ...)
  2021-09-06  9:43 ` dkwo
@ 2021-09-06  9:44 ` dkwo
  2021-09-06  9:45 ` [PR PATCH] [Updated] " dkwo
                   ` (42 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-06  9:44 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 271 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-913507182

Comment:
>     * python executable is searched in configure: I don't know what for.

Could this be due to `enable-python-module` option?



^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR PATCH] [Updated] New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (9 preceding siblings ...)
  2021-09-06  9:44 ` dkwo
@ 2021-09-06  9:45 ` dkwo
  2021-09-06  9:50 ` dkwo
                   ` (41 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-06  9:45 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 426 bytes --]

There is an updated pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages cdd
https://github.com/void-linux/void-packages/pull/32822

New math packages: cddlib, singular
New math packages, useful for sagemath

- New package: cddlib
- New package: singular

I built them on x86_64



A patch file from https://github.com/void-linux/void-packages/pull/32822.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-cdd-32822.patch --]
[-- Type: text/x-diff, Size: 3286 bytes --]

From c207cf42597a634fa98c2f8d2e10bbea9937ed5b Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 17:57:26 +0200
Subject: [PATCH 1/2] New package: cddlib

---
 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 87c27c459aad..00e40260fc2c 100644
--- a/common/shlibs
+++ b/common/shlibs
@@ -55,6 +55,8 @@ libcc1.so.0 gcc-6.2.1_1
 libcc1plugin.so.0 gcc-6.2.1_1
 libitm.so.1 libitm-4.7.3_1
 liblto_plugin.so.0 gcc-4.7.3_1
+libcddgmp.so.0 cddlib-0.94m_1
+libcdd.so.0 cddlib-0.94m_1
 libgcc_s.so.1 libgcc-4.4.0_1
 libgo.so.16 libgo-10.2.0_1
 libperl.so.5.34 perl-5.34.0_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 <nicolopiazzalunga@gmail.com>"
+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 8ca0e3c7d503c350319f1a47d1cfb592d55633a3 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 18:02:11 +0200
Subject: [PATCH 2/2] New package: singular

---
 common/shlibs             |  5 +++++
 srcpkgs/singular/template | 15 +++++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 srcpkgs/singular/template

diff --git a/common/shlibs b/common/shlibs
index 00e40260fc2c..1aa0344fe4e9 100644
--- a/common/shlibs
+++ b/common/shlibs
@@ -65,6 +65,11 @@ libgmpxx.so.4 gmpxx-6.0.0_2
 libmpfr.so.6 mpfr-4.0.0_1
 libppl.so.14 ppl-1.2_1
 libppl_c.so.4 ppl-0.11_1
+libSingular-4.2.1.so singular-4.2.1_1
+libpolys-4.2.1.so singular-4.2.1_1
+libfactory-4.2.1.so singular-4.2.1_1
+libomalloc-0.9.6.so singular-4.2.1_1
+libsingular_resources-4.2.1.so singular-4.2.1_1
 libstdc++.so.6 libstdc++-4.4.0_1
 libssp.so.0 libssp-4.4.0_1
 libncurses.so.6 ncurses-libs-6.0_1 ignore
diff --git a/srcpkgs/singular/template b/srcpkgs/singular/template
new file mode 100644
index 000000000000..9cb32a1893fb
--- /dev/null
+++ b/srcpkgs/singular/template
@@ -0,0 +1,15 @@
+# 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-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 <nicolopiazzalunga@gmail.com>"
+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

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (10 preceding siblings ...)
  2021-09-06  9:45 ` [PR PATCH] [Updated] " dkwo
@ 2021-09-06  9:50 ` dkwo
  2021-09-06  9:52 ` [PR PATCH] [Updated] " dkwo
                   ` (40 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-06  9:50 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 429 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-913510590

Comment:
@tornaria Thanks for the comments, I tried to implement some of them.
I've enabled readline to ncurses.

Do you undesrtand why `[target] ntl-devel-11.5.1_1: not found` for arm? is it a hostmakedep?

Can we postpone splitting to later?
I will perhaps try to address test failures first.

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR PATCH] [Updated] New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (11 preceding siblings ...)
  2021-09-06  9:50 ` dkwo
@ 2021-09-06  9:52 ` dkwo
  2021-09-06  9:53 ` dkwo
                   ` (39 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-06  9:52 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 426 bytes --]

There is an updated pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages cdd
https://github.com/void-linux/void-packages/pull/32822

New math packages: cddlib, singular
New math packages, useful for sagemath

- New package: cddlib
- New package: singular

I built them on x86_64



A patch file from https://github.com/void-linux/void-packages/pull/32822.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-cdd-32822.patch --]
[-- Type: text/x-diff, Size: 3311 bytes --]

From c207cf42597a634fa98c2f8d2e10bbea9937ed5b Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 17:57:26 +0200
Subject: [PATCH 1/2] New package: cddlib

---
 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 87c27c459aad..00e40260fc2c 100644
--- a/common/shlibs
+++ b/common/shlibs
@@ -55,6 +55,8 @@ libcc1.so.0 gcc-6.2.1_1
 libcc1plugin.so.0 gcc-6.2.1_1
 libitm.so.1 libitm-4.7.3_1
 liblto_plugin.so.0 gcc-4.7.3_1
+libcddgmp.so.0 cddlib-0.94m_1
+libcdd.so.0 cddlib-0.94m_1
 libgcc_s.so.1 libgcc-4.4.0_1
 libgo.so.16 libgo-10.2.0_1
 libperl.so.5.34 perl-5.34.0_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 <nicolopiazzalunga@gmail.com>"
+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 f143c8c7281476e5c7a27b2df14df284f2bceafa Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 18:02:11 +0200
Subject: [PATCH 2/2] New package: singular

---
 common/shlibs             |  5 +++++
 srcpkgs/singular/template | 15 +++++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 srcpkgs/singular/template

diff --git a/common/shlibs b/common/shlibs
index 00e40260fc2c..1aa0344fe4e9 100644
--- a/common/shlibs
+++ b/common/shlibs
@@ -65,6 +65,11 @@ libgmpxx.so.4 gmpxx-6.0.0_2
 libmpfr.so.6 mpfr-4.0.0_1
 libppl.so.14 ppl-1.2_1
 libppl_c.so.4 ppl-0.11_1
+libSingular-4.2.1.so singular-4.2.1_1
+libpolys-4.2.1.so singular-4.2.1_1
+libfactory-4.2.1.so singular-4.2.1_1
+libomalloc-0.9.6.so singular-4.2.1_1
+libsingular_resources-4.2.1.so singular-4.2.1_1
 libstdc++.so.6 libstdc++-4.4.0_1
 libssp.so.0 libssp-4.4.0_1
 libncurses.so.6 ncurses-libs-6.0_1 ignore
diff --git a/srcpkgs/singular/template b/srcpkgs/singular/template
new file mode 100644
index 000000000000..842dbd57d75f
--- /dev/null
+++ b/srcpkgs/singular/template
@@ -0,0 +1,15 @@
+# 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-Order-module
+ --enable-python-module --enable-gfanlib-module --enable-polymake-module"
+hostmakedepends="perl tar flintlib-devel ntl-devel"
+makedepends="flintlib-devel ntl-devel cddlib readline-devel doxygen graphviz"
+short_desc="Computer algebra system for polynomial computations"
+maintainer="dkwo <nicolopiazzalunga@gmail.com>"
+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

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (12 preceding siblings ...)
  2021-09-06  9:52 ` [PR PATCH] [Updated] " dkwo
@ 2021-09-06  9:53 ` dkwo
  2021-09-06  9:55 ` [PR PATCH] [Updated] " dkwo
                   ` (38 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-06  9:53 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 460 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-913510590

Comment:
@tornaria Thanks for the comments, I tried to implement some of them.
I've enabled readline to ncurses.

Do you understand why `[target] ntl-devel-11.5.1_1: not found` for arm and same for `flintlib-devel`?
is it a hostmakedep?

Can we postpone splitting to later?
I will perhaps try to address test failures first.

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR PATCH] [Updated] New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (13 preceding siblings ...)
  2021-09-06  9:53 ` dkwo
@ 2021-09-06  9:55 ` dkwo
  2021-09-06  9:55 ` dkwo
                   ` (37 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-06  9:55 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 426 bytes --]

There is an updated pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages cdd
https://github.com/void-linux/void-packages/pull/32822

New math packages: cddlib, singular
New math packages, useful for sagemath

- New package: cddlib
- New package: singular

I built them on x86_64



A patch file from https://github.com/void-linux/void-packages/pull/32822.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-cdd-32822.patch --]
[-- Type: text/x-diff, Size: 3286 bytes --]

From c207cf42597a634fa98c2f8d2e10bbea9937ed5b Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 17:57:26 +0200
Subject: [PATCH 1/2] New package: cddlib

---
 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 87c27c459aad..00e40260fc2c 100644
--- a/common/shlibs
+++ b/common/shlibs
@@ -55,6 +55,8 @@ libcc1.so.0 gcc-6.2.1_1
 libcc1plugin.so.0 gcc-6.2.1_1
 libitm.so.1 libitm-4.7.3_1
 liblto_plugin.so.0 gcc-4.7.3_1
+libcddgmp.so.0 cddlib-0.94m_1
+libcdd.so.0 cddlib-0.94m_1
 libgcc_s.so.1 libgcc-4.4.0_1
 libgo.so.16 libgo-10.2.0_1
 libperl.so.5.34 perl-5.34.0_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 <nicolopiazzalunga@gmail.com>"
+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 08d7a9900fb1a8d5c2995a167bee929546def11d Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 18:02:11 +0200
Subject: [PATCH 2/2] New package: singular

---
 common/shlibs             |  5 +++++
 srcpkgs/singular/template | 15 +++++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 srcpkgs/singular/template

diff --git a/common/shlibs b/common/shlibs
index 00e40260fc2c..1aa0344fe4e9 100644
--- a/common/shlibs
+++ b/common/shlibs
@@ -65,6 +65,11 @@ libgmpxx.so.4 gmpxx-6.0.0_2
 libmpfr.so.6 mpfr-4.0.0_1
 libppl.so.14 ppl-1.2_1
 libppl_c.so.4 ppl-0.11_1
+libSingular-4.2.1.so singular-4.2.1_1
+libpolys-4.2.1.so singular-4.2.1_1
+libfactory-4.2.1.so singular-4.2.1_1
+libomalloc-0.9.6.so singular-4.2.1_1
+libsingular_resources-4.2.1.so singular-4.2.1_1
 libstdc++.so.6 libstdc++-4.4.0_1
 libssp.so.0 libssp-4.4.0_1
 libncurses.so.6 ncurses-libs-6.0_1 ignore
diff --git a/srcpkgs/singular/template b/srcpkgs/singular/template
new file mode 100644
index 000000000000..9cb32a1893fb
--- /dev/null
+++ b/srcpkgs/singular/template
@@ -0,0 +1,15 @@
+# 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-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 <nicolopiazzalunga@gmail.com>"
+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

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (14 preceding siblings ...)
  2021-09-06  9:55 ` [PR PATCH] [Updated] " dkwo
@ 2021-09-06  9:55 ` dkwo
  2021-09-06 11:09 ` dkwo
                   ` (36 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-06  9:55 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 438 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-913510590

Comment:
@tornaria Thanks for the comments, I tried to implement some of them.
I've enabled readline to ncurses.

Do you understand why `[target] ntl-devel-11.5.1_1: not found` for arm and same for `flintlib-devel`?

Can we postpone splitting to later?
I will perhaps try to address test failures first.

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (15 preceding siblings ...)
  2021-09-06  9:55 ` dkwo
@ 2021-09-06 11:09 ` dkwo
  2021-09-06 11:20 ` dkwo
                   ` (35 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-06 11:09 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 287 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-913562774

Comment:
Btw, the packages `ntl-devel` and `flintlib-devel` are not even found on the Void homepage - packages for `arm` and `aarch`, what am I missing here??

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (16 preceding siblings ...)
  2021-09-06 11:09 ` dkwo
@ 2021-09-06 11:20 ` dkwo
  2021-09-06 11:50 ` tornaria
                   ` (34 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-06 11:20 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 332 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-913562774

Comment:
Btw, the packages `ntl-devel` and `flintlib-devel` are not even found on the Void homepage - packages for `arm` and `aarch`, what am I missing here? does it have to do with `nocross=yes` in ntl?

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (17 preceding siblings ...)
  2021-09-06 11:20 ` dkwo
@ 2021-09-06 11:50 ` tornaria
  2021-09-06 11:59 ` tornaria
                   ` (33 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: tornaria @ 2021-09-06 11:50 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 747 bytes --]

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-913585978

Comment:
> Btw, the packages `ntl-devel` and `flintlib-devel` are not even found on the Void homepage - packages for `arm` and `aarch`, what am I missing here? does it have to do with `nocross=yes` in ntl?

There is no native builder for arm, so `nocross` packages won't be available on arm.

Since `ntl` is optional to `flintlib` and singular, one option would be to disable ntl on cross builds. I was pointed to `vips` for an example: add a build_option `ntl` and have it enabled by default only if not cross-compiling. I'm not in a hurry to do that, let's get x86 working and later we can worry about cross.

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (18 preceding siblings ...)
  2021-09-06 11:50 ` tornaria
@ 2021-09-06 11:59 ` tornaria
  2021-09-06 12:31 ` dkwo
                   ` (32 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: tornaria @ 2021-09-06 11:59 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 699 bytes --]

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-913591021

Comment:
> > ```
> > * sage expects include files to be in /usr/include so this is not picked up. It seems old versions of cddlib used to place headers in usr/include, and debian places them in /usr/include/cdd, but recent versions of cddlib place them in /usr/include/cddlib.
> > ```
> 
> This should be addressed in sage tickets 32243 and 29413 linked there, right?

https://trac.sagemath.org/ticket/32243 seems to deal with this and already merged for sage-9.5 so let's just ignore this and wait (maybe it already works with sage-9.5.beta0, I didn't check).

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (19 preceding siblings ...)
  2021-09-06 11:59 ` tornaria
@ 2021-09-06 12:31 ` dkwo
  2021-09-06 12:44 ` dkwo
                   ` (31 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-06 12:31 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 337 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-913612579

Comment:
About musl test failures: on ci it fails `polys_test` for libpolys, while on my system (newer musl) it even fails `omtTest-m` and `omtTest-r` for omalloc (lots of `***omError_Unknown: unknown error`)

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (20 preceding siblings ...)
  2021-09-06 12:31 ` dkwo
@ 2021-09-06 12:44 ` dkwo
  2021-09-11 15:20 ` dkwo
                   ` (30 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-06 12:44 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 387 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-913612579

Comment:
About musl test failures: on ci it fails `polys_test` for libpolys, while on my system (newer musl) it even fails `omtTest-m` and `omtTest-r` for omalloc (lots of `***omError_Unknown: unknown error`)
https://github.com/Singular/Singular/issues/1114

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (21 preceding siblings ...)
  2021-09-06 12:44 ` dkwo
@ 2021-09-11 15:20 ` dkwo
  2021-09-11 15:20 ` dkwo
                   ` (29 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-11 15:20 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 298 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-917424235

Comment:
> we need to figure out if/how to split singular in pkgs: what's the minimum needed to run the command line?

I think singualr comes command line only, right?

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (22 preceding siblings ...)
  2021-09-11 15:20 ` dkwo
@ 2021-09-11 15:20 ` dkwo
  2021-09-11 16:08 ` [PR PATCH] [Updated] " dkwo
                   ` (28 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-11 15:20 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 298 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-917424235

Comment:
> we need to figure out if/how to split singular in pkgs: what's the minimum needed to run the command line?

I think singular comes command line only, right?

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR PATCH] [Updated] New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (23 preceding siblings ...)
  2021-09-11 15:20 ` dkwo
@ 2021-09-11 16:08 ` dkwo
  2021-09-12 13:50 ` tornaria
                   ` (27 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-11 16:08 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 426 bytes --]

There is an updated pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages cdd
https://github.com/void-linux/void-packages/pull/32822

New math packages: cddlib, singular
New math packages, useful for sagemath

- New package: cddlib
- New package: singular

I built them on x86_64



A patch file from https://github.com/void-linux/void-packages/pull/32822.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-cdd-32822.patch --]
[-- Type: text/x-diff, Size: 2770 bytes --]

From cd2d4c366335ff3b70223ef527616ecf16e4c6f7 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
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 d3e078140f7b..cebd96ef4e9e 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 <nicolopiazzalunga@gmail.com>"
+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 1db3f91e69c33e2ac1f7ab935fa7382c3ebc965a Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 17:41:02 +0200
Subject: [PATCH 2/2] New package: singular-4.2.1

---
 srcpkgs/singular/template | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 srcpkgs/singular/template

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 <nicolopiazzalunga@gmail.com>"
+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

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (24 preceding siblings ...)
  2021-09-11 16:08 ` [PR PATCH] [Updated] " dkwo
@ 2021-09-12 13:50 ` tornaria
  2021-09-13  7:35 ` dkwo
                   ` (26 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: tornaria @ 2021-09-12 13:50 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 446 bytes --]

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-917640176

Comment:
> > we need to figure out if/how to split singular in pkgs: what's the minimum needed to run the command line?
> 
> I think singular comes command line only, right?

But it's also a library, and comes with headers, some static libraries, etc. Isn't that so? There's also lots of html documentation.


^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (25 preceding siblings ...)
  2021-09-12 13:50 ` tornaria
@ 2021-09-13  7:35 ` dkwo
  2021-09-20 15:57 ` [PR PATCH] [Updated] " dkwo
                   ` (25 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-13  7:35 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 535 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-917922033

Comment:
> But it's also a library, and comes with headers, some static libraries, etc. Isn't that so? There's also lots of html documentation.

Sure, that we can definitely split.

I'm still trying to investigate the 2nd musl error, the one with polys.
Do you know whether it is possible to skip some tests and do others?
(I'm unable to read the log for polys, as my checks fail before, at omalloc.)

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR PATCH] [Updated] New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (26 preceding siblings ...)
  2021-09-13  7:35 ` dkwo
@ 2021-09-20 15:57 ` dkwo
  2021-09-20 16:13 ` dkwo
                   ` (24 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-20 15:57 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 426 bytes --]

There is an updated pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages cdd
https://github.com/void-linux/void-packages/pull/32822

New math packages: cddlib, singular
New math packages, useful for sagemath

- New package: cddlib
- New package: singular

I built them on x86_64



A patch file from https://github.com/void-linux/void-packages/pull/32822.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-cdd-32822.patch --]
[-- Type: text/x-diff, Size: 3983 bytes --]

From a2ade83c1df9b347b41af2a21f8e20ffe32dbdb1 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
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 <nicolopiazzalunga@gmail.com>"
+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 <nicolopiazzalunga@gmail.com>
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 <hannes@mathematik.uni-kl.de>
+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 <nicolopiazzalunga@gmail.com>"
+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

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (27 preceding siblings ...)
  2021-09-20 15:57 ` [PR PATCH] [Updated] " dkwo
@ 2021-09-20 16:13 ` dkwo
  2021-09-20 16:33 ` tornaria
                   ` (23 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-20 16:13 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 807 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-923072313

Comment:
Patch kindly provided by upstream.
Now we should decide how to split, and possibly which config options to use.
```
configure_args="
       --with-readline=ncurses
       --enable-bigintm-module
       --enable-bigintm-module
       --enable-Order-module
       --enable-gfanlib-module
       --disable-omalloc # this requires patch from upstream, useful for musl 1.2
       --enable-gfanlib
       --enable-Singular
       --enable-factory
       --disable-doc
       --disable-polymake
       --without-python
       --without-pythonmodule
       --disable-python
       --disable-python_module
       --disable-static
       --with-libparse"
```

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (28 preceding siblings ...)
  2021-09-20 16:13 ` dkwo
@ 2021-09-20 16:33 ` tornaria
  2021-09-20 16:47 ` [PR PATCH] [Updated] " dkwo
                   ` (22 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: tornaria @ 2021-09-20 16:33 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 434 bytes --]

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-923089017

Comment:
I Let's go with something standard that allows one to run `singular` and that we expect it will later work with sage. Is `--enable-bigintm-module` repeated above?

Regarding omalloc: I think it makes a difference in speed, so if not much trouble I would leave it enabled except when broken.

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR PATCH] [Updated] New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (29 preceding siblings ...)
  2021-09-20 16:33 ` tornaria
@ 2021-09-20 16:47 ` dkwo
  2021-09-20 17:02 ` dkwo
                   ` (21 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-20 16:47 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 426 bytes --]

There is an updated pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages cdd
https://github.com/void-linux/void-packages/pull/32822

New math packages: cddlib, singular
New math packages, useful for sagemath

- New package: cddlib
- New package: singular

I built them on x86_64



A patch file from https://github.com/void-linux/void-packages/pull/32822.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-cdd-32822.patch --]
[-- Type: text/x-diff, Size: 4215 bytes --]

From a2ade83c1df9b347b41af2a21f8e20ffe32dbdb1 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
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 <nicolopiazzalunga@gmail.com>"
+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 53845166281466d43a6669cbea9d9da6f2028a24 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
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            | 32 ++++++++++++++++++++++++++++
 2 files changed, 54 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 <hannes@mathematik.uni-kl.de>
+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..a93c84f4e09b
--- /dev/null
+++ b/srcpkgs/singular/template
@@ -0,0 +1,32 @@
+# Template file for 'singular'
+pkgname=singular
+version=4.2.1
+revision=1
+build_style=gnu-configure
+configure_args="--with-readline=ncurses
+	--prefix=/usr
+	--libexecdir=/usr/lib
+	--enable-gfanlib
+	--enable-Singular
+	--enable-factory
+	--disable-doc
+	--disable-polymake
+	--without-python
+	--without-pythonmodule
+	--disable-python
+	--disable-python_module
+	--disable-python-module
+	--disable-static
+	--with-libparse"
+	# --disable-omalloc
+	# this requires patch from upstream, useful for musl 1.2
+hostmakedepends="perl tar"
+makedepends="flintlib-devel ntl-devel cddlib readline-devel doxygen graphviz"
+short_desc="Computer algebra system for polynomial computations"
+maintainer="dkwo <nicolopiazzalunga@gmail.com>"
+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

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (30 preceding siblings ...)
  2021-09-20 16:47 ` [PR PATCH] [Updated] " dkwo
@ 2021-09-20 17:02 ` dkwo
  2021-09-21  8:21 ` dkwo
                   ` (20 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-20 17:02 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 416 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-923110323

Comment:
Yes, that was a copy-paste of all possible options.
With current options (taken mostly from Sage), I can install and run `Singular`.
The omalloc test failure only occurs with newer musl (1.2), so I'll just leave a comment there,
as there's a chance it can get fixed upstream.

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (31 preceding siblings ...)
  2021-09-20 17:02 ` dkwo
@ 2021-09-21  8:21 ` dkwo
  2021-09-23  9:28 ` [PR PATCH] [Updated] " dkwo
                   ` (19 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-21  8:21 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 215 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-923751678

Comment:
@tornaria With the updated graphviz,  should the dependency here be modified?

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR PATCH] [Updated] New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (32 preceding siblings ...)
  2021-09-21  8:21 ` dkwo
@ 2021-09-23  9:28 ` dkwo
  2021-09-23  9:38 ` dkwo
                   ` (18 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-23  9:28 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 426 bytes --]

There is an updated pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages cdd
https://github.com/void-linux/void-packages/pull/32822

New math packages: cddlib, singular
New math packages, useful for sagemath

- New package: cddlib
- New package: singular

I built them on x86_64



A patch file from https://github.com/void-linux/void-packages/pull/32822.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-cdd-32822.patch --]
[-- Type: text/x-diff, Size: 6147 bytes --]

From 0232fce8daa8ed39e235dc8bb054cb9643f655b9 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
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 <nicolopiazzalunga@gmail.com>"
+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 84888ff98f77691555e7f731a0f9055060022e67 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 17:41:02 +0200
Subject: [PATCH 2/2] New package: singular-4.2.1

---
 .../patches/upstream_omalloc_new_musl.patch   | 40 +++++++++++++++++++
 .../patches/upstream_polys_test_musl.patch    | 22 ++++++++++
 srcpkgs/singular/template                     | 30 ++++++++++++++
 3 files changed, 92 insertions(+)
 create mode 100644 srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
 create mode 100644 srcpkgs/singular/patches/upstream_polys_test_musl.patch
 create mode 100644 srcpkgs/singular/template

diff --git a/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch b/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
new file mode 100644
index 000000000000..354603bb2c44
--- /dev/null
+++ b/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
@@ -0,0 +1,40 @@
+From e1643135645a3cc97af8659018defd2b8617bb4e Mon Sep 17 00:00:00 2001
+From: Hans Schoenemann <hannes@mathematik.uni-kl.de>
+Date: Thu, 23 Sep 2021 10:57:25 +0200
+Subject: [PATCH] omalloc: fix alignment stuff for "make check"
+
+---
+ omalloc/omtTest.c | 6 ------
+ omalloc/omtTest.h | 2 +-
+ 2 files changed, 1 insertion(+), 7 deletions(-)
+
+diff --git a/omalloc/omtTest.c b/omalloc/omtTest.c
+index 715fbb113c..75c8cdb210 100644
+--- a/omalloc/omtTest.c
++++ b/omalloc/omtTest.c
+@@ -70,12 +70,6 @@ void omtTestDebug(omMemCell cell)
+   }
+ 
+   is_size = omSizeOfAddr(cell->addr);
+-  if (!OM_IS_ALIGNED(is_size))
+-  {
+-    omReportError(omError_Unknown, omError_NoError, OM_FLR,
+-                  "is_size == %u is unaligned", is_size);
+-    return;
+-  }
+   if (is_size < size)
+   {
+     omReportError(omError_Unknown, omError_NoError, OM_FLR,
+diff --git a/omalloc/omtTest.h b/omalloc/omtTest.h
+index a579d88011..6faa099c89 100644
+--- a/omalloc/omtTest.h
++++ b/omalloc/omtTest.h
+@@ -48,7 +48,7 @@ void TestFree(omMemCell cell);
+ 
+ #define IS_STICKY_BIN(spec) (spec & 1)
+ // #define IS_STICKY_BIN(spec) (0)
+-#define GET_SIZE(spec)      (spec & ((((unsigned long) 1) << 14) -1))
++#define GET_SIZE(spec)      OM_ALIGN_SIZE((spec & ((((unsigned long) 1) << 14) -1)))
+ #define SET_SIZE(spec, size) spec = ((spec & ~((((unsigned long) 1) << 14) -1)) | (size))
+ #define IS_ALIGNED(spec)    (spec & (((unsigned long) 1) << 15))
+ #define IS_ZERO(spec)       (spec & (((unsigned long) 1) << 16))
diff --git a/srcpkgs/singular/patches/upstream_polys_test_musl.patch b/srcpkgs/singular/patches/upstream_polys_test_musl.patch
new file mode 100644
index 000000000000..73ee062e2f89
--- /dev/null
+++ b/srcpkgs/singular/patches/upstream_polys_test_musl.patch
@@ -0,0 +1,22 @@
+From 6e2383111a18b2fa2d3421045625d1d424eb1e25 Mon Sep 17 00:00:00 2001
+From: Hans Schoenemann <hannes@mathematik.uni-kl.de>
+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..b7500ae8ac7c
--- /dev/null
+++ b/srcpkgs/singular/template
@@ -0,0 +1,30 @@
+# Template file for 'singular'
+pkgname=singular
+version=4.2.1
+revision=1
+build_style=gnu-configure
+configure_args="--with-readline=ncurses
+	--prefix=/usr
+	--libexecdir=/usr/lib
+	--enable-gfanlib
+	--enable-Singular
+	--enable-factory
+	--disable-doc
+	--disable-polymake
+	--without-python
+	--without-pythonmodule
+	--disable-python
+	--disable-python_module
+	--disable-python-module
+	--disable-static
+	--with-libparse"
+hostmakedepends="perl tar"
+makedepends="flintlib-devel ntl-devel cddlib readline-devel doxygen graphviz"
+short_desc="Computer algebra system for polynomial computations"
+maintainer="dkwo <nicolopiazzalunga@gmail.com>"
+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

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (33 preceding siblings ...)
  2021-09-23  9:28 ` [PR PATCH] [Updated] " dkwo
@ 2021-09-23  9:38 ` dkwo
  2021-10-07  8:38 ` dkwo
                   ` (17 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-09-23  9:38 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 330 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-925653381

Comment:
The omalloc test failure with newer musl has been fixed, so I think this PR is ready for review.
All patches are already merged upstream.
I did benefit a lot from the insights of @richfelker

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (34 preceding siblings ...)
  2021-09-23  9:38 ` dkwo
@ 2021-10-07  8:38 ` dkwo
  2021-10-13 17:11 ` [PR PATCH] [Updated] " dkwo
                   ` (16 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-10-07  8:38 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 437 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-937578071

Comment:
I was trying to make it crosscompile, but it first warns that `configure: WARNING: Unable to find NTL (which is strongly recommended) on your machine` and then fails with
```
checking for dd_free_global_constants in -lcddgmp... no
configure: error: Error, could not use libcddgmp
```
Any ideas?

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR PATCH] [Updated] New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (35 preceding siblings ...)
  2021-10-07  8:38 ` dkwo
@ 2021-10-13 17:11 ` dkwo
  2021-10-13 17:15 ` dkwo
                   ` (15 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-10-13 17:11 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 426 bytes --]

There is an updated pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages cdd
https://github.com/void-linux/void-packages/pull/32822

New math packages: cddlib, singular
New math packages, useful for sagemath

- New package: cddlib
- New package: singular

I built them on x86_64



A patch file from https://github.com/void-linux/void-packages/pull/32822.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-cdd-32822.patch --]
[-- Type: text/x-diff, Size: 6214 bytes --]

From ad0cdf4d16bdfc7f3c5bab14819cea184e174cf4 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
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 7a4d4ea1794d..584d315606a0 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 <nicolopiazzalunga@gmail.com>"
+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 423f15ce7df2855a2ed8b451eed37ce1f00a5fe9 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 17:41:02 +0200
Subject: [PATCH 2/2] New package: singular-4.2.1

---
 .../patches/upstream_omalloc_new_musl.patch   | 40 +++++++++++++++++++
 .../patches/upstream_polys_test_musl.patch    | 22 ++++++++++
 srcpkgs/singular/template                     | 34 ++++++++++++++++
 3 files changed, 96 insertions(+)
 create mode 100644 srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
 create mode 100644 srcpkgs/singular/patches/upstream_polys_test_musl.patch
 create mode 100644 srcpkgs/singular/template

diff --git a/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch b/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
new file mode 100644
index 000000000000..354603bb2c44
--- /dev/null
+++ b/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
@@ -0,0 +1,40 @@
+From e1643135645a3cc97af8659018defd2b8617bb4e Mon Sep 17 00:00:00 2001
+From: Hans Schoenemann <hannes@mathematik.uni-kl.de>
+Date: Thu, 23 Sep 2021 10:57:25 +0200
+Subject: [PATCH] omalloc: fix alignment stuff for "make check"
+
+---
+ omalloc/omtTest.c | 6 ------
+ omalloc/omtTest.h | 2 +-
+ 2 files changed, 1 insertion(+), 7 deletions(-)
+
+diff --git a/omalloc/omtTest.c b/omalloc/omtTest.c
+index 715fbb113c..75c8cdb210 100644
+--- a/omalloc/omtTest.c
++++ b/omalloc/omtTest.c
+@@ -70,12 +70,6 @@ void omtTestDebug(omMemCell cell)
+   }
+ 
+   is_size = omSizeOfAddr(cell->addr);
+-  if (!OM_IS_ALIGNED(is_size))
+-  {
+-    omReportError(omError_Unknown, omError_NoError, OM_FLR,
+-                  "is_size == %u is unaligned", is_size);
+-    return;
+-  }
+   if (is_size < size)
+   {
+     omReportError(omError_Unknown, omError_NoError, OM_FLR,
+diff --git a/omalloc/omtTest.h b/omalloc/omtTest.h
+index a579d88011..6faa099c89 100644
+--- a/omalloc/omtTest.h
++++ b/omalloc/omtTest.h
+@@ -48,7 +48,7 @@ void TestFree(omMemCell cell);
+ 
+ #define IS_STICKY_BIN(spec) (spec & 1)
+ // #define IS_STICKY_BIN(spec) (0)
+-#define GET_SIZE(spec)      (spec & ((((unsigned long) 1) << 14) -1))
++#define GET_SIZE(spec)      OM_ALIGN_SIZE((spec & ((((unsigned long) 1) << 14) -1)))
+ #define SET_SIZE(spec, size) spec = ((spec & ~((((unsigned long) 1) << 14) -1)) | (size))
+ #define IS_ALIGNED(spec)    (spec & (((unsigned long) 1) << 15))
+ #define IS_ZERO(spec)       (spec & (((unsigned long) 1) << 16))
diff --git a/srcpkgs/singular/patches/upstream_polys_test_musl.patch b/srcpkgs/singular/patches/upstream_polys_test_musl.patch
new file mode 100644
index 000000000000..73ee062e2f89
--- /dev/null
+++ b/srcpkgs/singular/patches/upstream_polys_test_musl.patch
@@ -0,0 +1,22 @@
+From 6e2383111a18b2fa2d3421045625d1d424eb1e25 Mon Sep 17 00:00:00 2001
+From: Hans Schoenemann <hannes@mathematik.uni-kl.de>
+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..3aaa8730af02
--- /dev/null
+++ b/srcpkgs/singular/template
@@ -0,0 +1,34 @@
+# Template file for 'singular'
+pkgname=singular
+version=4.2.1
+revision=1
+build_style=gnu-configure
+configure_args="--with-readline=ncurses
+	--prefix=/usr
+	--libexecdir=/usr/lib
+	--enable-gfanlib
+	--enable-Singular
+	--enable-factory
+	--disable-doc
+	--disable-polymake
+	--without-python
+	--without-pythonmodule
+	--disable-python
+	--disable-python_module
+	--disable-python-module
+	--disable-static
+	--with-libparse"
+hostmakedepends="perl tar doxygen"
+makedepends="flintlib-devel cddlib readline-devel graphviz"
+short_desc="Computer algebra system for polynomial computations"
+maintainer="dkwo <nicolopiazzalunga@gmail.com>"
+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
+# fails to configure for cross, bug upstream
+no_cross=yes
+
+if [ -z "$CROSS_BUILD" ]; then
+	makedepends+=" ntl-devel"
+fi

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR PATCH] [Updated] New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (36 preceding siblings ...)
  2021-10-13 17:11 ` [PR PATCH] [Updated] " dkwo
@ 2021-10-13 17:15 ` dkwo
  2021-10-22 12:45 ` dkwo
                   ` (14 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-10-13 17:15 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 426 bytes --]

There is an updated pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages cdd
https://github.com/void-linux/void-packages/pull/32822

New math packages: cddlib, singular
New math packages, useful for sagemath

- New package: cddlib
- New package: singular

I built them on x86_64



A patch file from https://github.com/void-linux/void-packages/pull/32822.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-cdd-32822.patch --]
[-- Type: text/x-diff, Size: 6197 bytes --]

From ad0cdf4d16bdfc7f3c5bab14819cea184e174cf4 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
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 7a4d4ea1794d..584d315606a0 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 <nicolopiazzalunga@gmail.com>"
+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 08ceadb93eb234851278c1cb43f76acc0dd363af Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 17:41:02 +0200
Subject: [PATCH 2/2] New package: singular-4.2.1

---
 .../patches/upstream_omalloc_new_musl.patch   | 40 +++++++++++++++++++
 .../patches/upstream_polys_test_musl.patch    | 22 ++++++++++
 srcpkgs/singular/template                     | 33 +++++++++++++++
 3 files changed, 95 insertions(+)
 create mode 100644 srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
 create mode 100644 srcpkgs/singular/patches/upstream_polys_test_musl.patch
 create mode 100644 srcpkgs/singular/template

diff --git a/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch b/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
new file mode 100644
index 000000000000..354603bb2c44
--- /dev/null
+++ b/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
@@ -0,0 +1,40 @@
+From e1643135645a3cc97af8659018defd2b8617bb4e Mon Sep 17 00:00:00 2001
+From: Hans Schoenemann <hannes@mathematik.uni-kl.de>
+Date: Thu, 23 Sep 2021 10:57:25 +0200
+Subject: [PATCH] omalloc: fix alignment stuff for "make check"
+
+---
+ omalloc/omtTest.c | 6 ------
+ omalloc/omtTest.h | 2 +-
+ 2 files changed, 1 insertion(+), 7 deletions(-)
+
+diff --git a/omalloc/omtTest.c b/omalloc/omtTest.c
+index 715fbb113c..75c8cdb210 100644
+--- a/omalloc/omtTest.c
++++ b/omalloc/omtTest.c
+@@ -70,12 +70,6 @@ void omtTestDebug(omMemCell cell)
+   }
+ 
+   is_size = omSizeOfAddr(cell->addr);
+-  if (!OM_IS_ALIGNED(is_size))
+-  {
+-    omReportError(omError_Unknown, omError_NoError, OM_FLR,
+-                  "is_size == %u is unaligned", is_size);
+-    return;
+-  }
+   if (is_size < size)
+   {
+     omReportError(omError_Unknown, omError_NoError, OM_FLR,
+diff --git a/omalloc/omtTest.h b/omalloc/omtTest.h
+index a579d88011..6faa099c89 100644
+--- a/omalloc/omtTest.h
++++ b/omalloc/omtTest.h
+@@ -48,7 +48,7 @@ void TestFree(omMemCell cell);
+ 
+ #define IS_STICKY_BIN(spec) (spec & 1)
+ // #define IS_STICKY_BIN(spec) (0)
+-#define GET_SIZE(spec)      (spec & ((((unsigned long) 1) << 14) -1))
++#define GET_SIZE(spec)      OM_ALIGN_SIZE((spec & ((((unsigned long) 1) << 14) -1)))
+ #define SET_SIZE(spec, size) spec = ((spec & ~((((unsigned long) 1) << 14) -1)) | (size))
+ #define IS_ALIGNED(spec)    (spec & (((unsigned long) 1) << 15))
+ #define IS_ZERO(spec)       (spec & (((unsigned long) 1) << 16))
diff --git a/srcpkgs/singular/patches/upstream_polys_test_musl.patch b/srcpkgs/singular/patches/upstream_polys_test_musl.patch
new file mode 100644
index 000000000000..73ee062e2f89
--- /dev/null
+++ b/srcpkgs/singular/patches/upstream_polys_test_musl.patch
@@ -0,0 +1,22 @@
+From 6e2383111a18b2fa2d3421045625d1d424eb1e25 Mon Sep 17 00:00:00 2001
+From: Hans Schoenemann <hannes@mathematik.uni-kl.de>
+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..8ad89df85dee
--- /dev/null
+++ b/srcpkgs/singular/template
@@ -0,0 +1,33 @@
+# Template file for 'singular'
+pkgname=singular
+version=4.2.1
+revision=1
+build_style=gnu-configure
+configure_args="--with-readline=ncurses
+	--prefix=/usr
+	--libexecdir=/usr/lib
+	--enable-gfanlib
+	--enable-Singular
+	--enable-factory
+	--disable-doc
+	--disable-polymake
+	--without-python
+	--without-pythonmodule
+	--disable-python
+	--disable-python_module
+	--disable-python-module
+	--disable-static
+	--with-libparse"
+hostmakedepends="perl tar doxygen"
+makedepends="flintlib-devel cddlib readline-devel graphviz"
+short_desc="Computer algebra system for polynomial computations"
+maintainer="dkwo <nicolopiazzalunga@gmail.com>"
+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
+nocross="fails to configure, bug upstream"
+
+if [ -z "$CROSS_BUILD" ]; then
+	makedepends+=" ntl-devel"
+fi

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (37 preceding siblings ...)
  2021-10-13 17:15 ` dkwo
@ 2021-10-22 12:45 ` dkwo
  2021-11-08 23:04 ` leahneukirchen
                   ` (13 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-10-22 12:45 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 209 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-949597922

Comment:
I've just built sage9.5beta4 using this pr and the ticket for singular.

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (38 preceding siblings ...)
  2021-10-22 12:45 ` dkwo
@ 2021-11-08 23:04 ` leahneukirchen
  2021-11-09 10:43 ` [PR PATCH] [Updated] " dkwo
                   ` (12 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: leahneukirchen @ 2021-11-08 23:04 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 634 bytes --]

New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-963652638

Comment:
For Singular, this is good enough to cross-build:

```
configure_args="--with-readline=ncurses
        --enable-gfanlib
        --enable-Singular
        --enable-factory
        --disable-doc
        --disable-polymake
        --without-python
        --with-libparse
        ac_cv_lib_cddgmp_dd_free_global_constants=yes
        "
```

For cddlib, please add cddlib-devel and also move the binaries that are not relevant for end-users there (or remove them completely).

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR PATCH] [Updated] New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (39 preceding siblings ...)
  2021-11-08 23:04 ` leahneukirchen
@ 2021-11-09 10:43 ` dkwo
  2021-11-09 10:47 ` dkwo
                   ` (11 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-11-09 10:43 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 426 bytes --]

There is an updated pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages cdd
https://github.com/void-linux/void-packages/pull/32822

New math packages: cddlib, singular
New math packages, useful for sagemath

- New package: cddlib
- New package: singular

I built them on x86_64



A patch file from https://github.com/void-linux/void-packages/pull/32822.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-cdd-32822.patch --]
[-- Type: text/x-diff, Size: 6793 bytes --]

From 77e12b9a2a93b64b2b8ea02143708d36ace86499 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 16:32:12 +0200
Subject: [PATCH 1/2] New package: cddlib-0.94m

---
 common/shlibs           |  2 ++
 srcpkgs/cddlib-devel    |  1 +
 srcpkgs/cddlib/template | 23 +++++++++++++++++++++++
 3 files changed, 26 insertions(+)
 create mode 120000 srcpkgs/cddlib-devel
 create mode 100644 srcpkgs/cddlib/template

diff --git a/common/shlibs b/common/shlibs
index 52c2f17b7198..68d935a476a4 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-devel b/srcpkgs/cddlib-devel
new file mode 120000
index 000000000000..401ad0a0b1bc
--- /dev/null
+++ b/srcpkgs/cddlib-devel
@@ -0,0 +1 @@
+cddlib
\ No newline at end of file
diff --git a/srcpkgs/cddlib/template b/srcpkgs/cddlib/template
new file mode 100644
index 000000000000..39ccfae92ac6
--- /dev/null
+++ b/srcpkgs/cddlib/template
@@ -0,0 +1,23 @@
+# 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 <nicolopiazzalunga@gmail.com>"
+license="GPL-2.0-or-later"
+homepage="https://people.inf.ethz.ch/fukudak/cdd_home/"
+distfiles="https://github.com/cddlib/cddlib/releases/download/${version}/cddlib-${version}.tar.gz"
+checksum=70dffdb3369b8704dc75428a1b3c42ab9047b81ce039f12f427e2eb2b1b0dee2
+
+cddlib-devel_package() {
+	short_desc+=" - development files"
+	depends="${sourcepkg}>=${version}_${revision}"
+	pkg_install() {
+		vmove usr/include
+		vmove "usr/lib/*.a"
+		vmove "usr/lib/*.so"
+		vmove usr/lib/pkgconfig
+	}
+}

From a5803b78f9dbf2578dcb7222705a5f2ab8f73270 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 17:41:02 +0200
Subject: [PATCH 2/2] New package: singular-4.2.1

---
 .../patches/upstream_omalloc_new_musl.patch   | 40 +++++++++++++++++++
 .../patches/upstream_polys_test_musl.patch    | 22 ++++++++++
 srcpkgs/singular/template                     | 34 ++++++++++++++++
 3 files changed, 96 insertions(+)
 create mode 100644 srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
 create mode 100644 srcpkgs/singular/patches/upstream_polys_test_musl.patch
 create mode 100644 srcpkgs/singular/template

diff --git a/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch b/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
new file mode 100644
index 000000000000..354603bb2c44
--- /dev/null
+++ b/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
@@ -0,0 +1,40 @@
+From e1643135645a3cc97af8659018defd2b8617bb4e Mon Sep 17 00:00:00 2001
+From: Hans Schoenemann <hannes@mathematik.uni-kl.de>
+Date: Thu, 23 Sep 2021 10:57:25 +0200
+Subject: [PATCH] omalloc: fix alignment stuff for "make check"
+
+---
+ omalloc/omtTest.c | 6 ------
+ omalloc/omtTest.h | 2 +-
+ 2 files changed, 1 insertion(+), 7 deletions(-)
+
+diff --git a/omalloc/omtTest.c b/omalloc/omtTest.c
+index 715fbb113c..75c8cdb210 100644
+--- a/omalloc/omtTest.c
++++ b/omalloc/omtTest.c
+@@ -70,12 +70,6 @@ void omtTestDebug(omMemCell cell)
+   }
+ 
+   is_size = omSizeOfAddr(cell->addr);
+-  if (!OM_IS_ALIGNED(is_size))
+-  {
+-    omReportError(omError_Unknown, omError_NoError, OM_FLR,
+-                  "is_size == %u is unaligned", is_size);
+-    return;
+-  }
+   if (is_size < size)
+   {
+     omReportError(omError_Unknown, omError_NoError, OM_FLR,
+diff --git a/omalloc/omtTest.h b/omalloc/omtTest.h
+index a579d88011..6faa099c89 100644
+--- a/omalloc/omtTest.h
++++ b/omalloc/omtTest.h
+@@ -48,7 +48,7 @@ void TestFree(omMemCell cell);
+ 
+ #define IS_STICKY_BIN(spec) (spec & 1)
+ // #define IS_STICKY_BIN(spec) (0)
+-#define GET_SIZE(spec)      (spec & ((((unsigned long) 1) << 14) -1))
++#define GET_SIZE(spec)      OM_ALIGN_SIZE((spec & ((((unsigned long) 1) << 14) -1)))
+ #define SET_SIZE(spec, size) spec = ((spec & ~((((unsigned long) 1) << 14) -1)) | (size))
+ #define IS_ALIGNED(spec)    (spec & (((unsigned long) 1) << 15))
+ #define IS_ZERO(spec)       (spec & (((unsigned long) 1) << 16))
diff --git a/srcpkgs/singular/patches/upstream_polys_test_musl.patch b/srcpkgs/singular/patches/upstream_polys_test_musl.patch
new file mode 100644
index 000000000000..73ee062e2f89
--- /dev/null
+++ b/srcpkgs/singular/patches/upstream_polys_test_musl.patch
@@ -0,0 +1,22 @@
+From 6e2383111a18b2fa2d3421045625d1d424eb1e25 Mon Sep 17 00:00:00 2001
+From: Hans Schoenemann <hannes@mathematik.uni-kl.de>
+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..9996a2db535a
--- /dev/null
+++ b/srcpkgs/singular/template
@@ -0,0 +1,34 @@
+# Template file for 'singular'
+pkgname=singular
+version=4.2.1
+revision=1
+build_style=gnu-configure
+configure_args="--with-readline=ncurses
+#	--prefix=/usr
+#	--libexecdir=/usr/lib
+	--enable-gfanlib
+	--enable-Singular
+	--enable-factory
+	--disable-doc
+	--disable-polymake
+	--without-python
+#	--without-pythonmodule
+#	--disable-python
+#	--disable-python_module
+#	--disable-python-module
+#	--disable-static
+	--with-libparse
+	ac_cv_lib_cddgmp_dd_free_global_constants=yes"
+hostmakedepends="perl tar doxygen"
+makedepends="flintlib-devel cddlib-devel readline-devel graphviz"
+short_desc="Computer algebra system for polynomial computations"
+maintainer="dkwo <nicolopiazzalunga@gmail.com>"
+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
+# nocross="fails to configure, bug upstream"
+
+if [ -z "$CROSS_BUILD" ]; then
+	makedepends+=" ntl-devel"
+fi

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (40 preceding siblings ...)
  2021-11-09 10:43 ` [PR PATCH] [Updated] " dkwo
@ 2021-11-09 10:47 ` dkwo
  2021-11-09 10:59 ` dkwo
                   ` (10 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-11-09 10:47 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 195 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-964030394

Comment:
@leahneukirchen Done, thank you. Does it look better now?

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (41 preceding siblings ...)
  2021-11-09 10:47 ` dkwo
@ 2021-11-09 10:59 ` dkwo
  2021-11-09 11:27 ` tornaria
                   ` (9 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-11-09 10:59 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 469 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-964039581

Comment:
it seems cross-compilation now fails at build stage, with
```
In file included from gfanlib_zcone.cpp:19:
/usr/aarch64-linux-gnu/usr/include/cddlib/cdd.h:26:10: fatal error: cdd_f.h: No such file or directory
   26 | #include "cdd_f.h"
      |          ^~~~~~~~~
compilation terminated.
```
Am I still messing something up?

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (42 preceding siblings ...)
  2021-11-09 10:59 ` dkwo
@ 2021-11-09 11:27 ` tornaria
  2021-11-09 11:38 ` tornaria
                   ` (8 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: tornaria @ 2021-11-09 11:27 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 2300 bytes --]

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-964061132

Comment:
For some reason the cross compiled version of cddlib is missing some files:
```
$ tar tvf hostdir/binpkgs/cdd/cddlib-devel-0.94m_1.aarch64.xbps 
-rw-r--r-- root/root       878 1969-12-31 21:00 ./props.plist
-rw-r--r-- root/root      2897 1969-12-31 21:00 ./files.plist
-rw-r--r-- 0/0             267 2021-11-09 07:39 ./usr/lib/pkgconfig/cddlib.pc
lrwxrwxrwx 0/0               0 2021-11-09 07:39 ./usr/lib/libcdd.so -> libcdd.so.0.1.2
-rw-r--r-- 0/0          241012 2021-11-09 07:39 ./usr/lib/libcdd.a
-rw-r--r-- 0/0             609 2021-11-09 07:39 ./usr/include/cddlib/splitmix64.h
-rw-r--r-- 0/0            1373 2021-11-09 07:39 ./usr/include/cddlib/setoper.h
-rw-r--r-- 0/0           10953 2021-11-09 07:39 ./usr/include/cddlib/cddtypes.h
-rw-r--r-- 0/0            4726 2021-11-09 07:39 ./usr/include/cddlib/cddmp.h
-rw-r--r-- 0/0           13933 2021-11-09 07:39 ./usr/include/cddlib/cdd.h
```
versus
```
$ tar tvf hostdir/binpkgs/cdd/cddlib-devel-0.94m_1.x86_64.xbps 
-rw-r--r-- root/root       877 1969-12-31 21:00 ./props.plist
-rw-r--r-- root/root      4267 1969-12-31 21:00 ./files.plist
-rw-r--r-- 0/0             276 2021-11-09 07:39 ./usr/lib/pkgconfig/cddlib.pc
lrwxrwxrwx 0/0               0 2021-11-09 07:39 ./usr/lib/libcddgmp.so -> libcddgmp.so.0.1.2
-rw-r--r-- 0/0          479286 2021-11-09 07:39 ./usr/lib/libcddgmp.a
lrwxrwxrwx 0/0               0 2021-11-09 07:39 ./usr/lib/libcdd.so -> libcdd.so.0.1.2
-rw-r--r-- 0/0          236468 2021-11-09 07:39 ./usr/lib/libcdd.a
-rw-r--r-- 0/0             609 2021-11-09 07:39 ./usr/include/cddlib/splitmix64.h
-rw-r--r-- 0/0            1373 2021-11-09 07:39 ./usr/include/cddlib/setoper.h
-rw-r--r-- 0/0           11307 2021-11-09 07:39 ./usr/include/cddlib/cddtypes_f.h
-rw-r--r-- 0/0           10953 2021-11-09 07:39 ./usr/include/cddlib/cddtypes.h
-rw-r--r-- 0/0            4947 2021-11-09 07:39 ./usr/include/cddlib/cddmp_f.h
-rw-r--r-- 0/0            4726 2021-11-09 07:39 ./usr/include/cddlib/cddmp.h
-rw-r--r-- 0/0           14714 2021-11-09 07:39 ./usr/include/cddlib/cdd_f.h
-rw-r--r-- 0/0           13933 2021-11-09 07:39 ./usr/include/cddlib/cdd.h
```

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (43 preceding siblings ...)
  2021-11-09 11:27 ` tornaria
@ 2021-11-09 11:38 ` tornaria
  2021-11-09 12:15 ` [PR PATCH] [Updated] " dkwo
                   ` (7 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: tornaria @ 2021-11-09 11:38 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 307 bytes --]

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-964069675

Comment:
I think it is because there is `hostmakedepends=gmp-devel` instead of `makedepends=gmp-devel`. Then configure is not finding gmp. Can you try again with that change?

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR PATCH] [Updated] New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (44 preceding siblings ...)
  2021-11-09 11:38 ` tornaria
@ 2021-11-09 12:15 ` dkwo
  2021-11-09 12:27 ` dkwo
                   ` (6 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-11-09 12:15 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 426 bytes --]

There is an updated pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages cdd
https://github.com/void-linux/void-packages/pull/32822

New math packages: cddlib, singular
New math packages, useful for sagemath

- New package: cddlib
- New package: singular

I built them on x86_64



A patch file from https://github.com/void-linux/void-packages/pull/32822.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-cdd-32822.patch --]
[-- Type: text/x-diff, Size: 6815 bytes --]

From a6659fc6b78eb154afa99ce755abd1fed8ad998b Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 16:32:12 +0200
Subject: [PATCH 1/2] New package: cddlib-0.94m

---
 common/shlibs           |  2 ++
 srcpkgs/cddlib-devel    |  1 +
 srcpkgs/cddlib/template | 24 ++++++++++++++++++++++++
 3 files changed, 27 insertions(+)
 create mode 120000 srcpkgs/cddlib-devel
 create mode 100644 srcpkgs/cddlib/template

diff --git a/common/shlibs b/common/shlibs
index 52c2f17b7198..68d935a476a4 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-devel b/srcpkgs/cddlib-devel
new file mode 120000
index 000000000000..401ad0a0b1bc
--- /dev/null
+++ b/srcpkgs/cddlib-devel
@@ -0,0 +1 @@
+cddlib
\ No newline at end of file
diff --git a/srcpkgs/cddlib/template b/srcpkgs/cddlib/template
new file mode 100644
index 000000000000..7d847efbfe7d
--- /dev/null
+++ b/srcpkgs/cddlib/template
@@ -0,0 +1,24 @@
+# Template file for 'cddlib'
+pkgname=cddlib
+version=0.94m
+revision=1
+build_style=gnu-configure
+makedepends="gmp-devel"
+short_desc="Efficient implementation of the Double Description Method"
+maintainer="dkwo <nicolopiazzalunga@gmail.com>"
+license="GPL-2.0-or-later"
+homepage="https://people.inf.ethz.ch/fukudak/cdd_home/"
+distfiles="https://github.com/cddlib/cddlib/releases/download/${version}/cddlib-${version}.tar.gz"
+checksum=70dffdb3369b8704dc75428a1b3c42ab9047b81ce039f12f427e2eb2b1b0dee2
+
+cddlib-devel_package() {
+	short_desc+=" - development files"
+	depends="${sourcepkg}>=${version}_${revision}"
+	pkg_install() {
+		vmove usr/include
+		vmove "usr/lib/*.a"
+		vmove "usr/lib/*.so"
+		vmove usr/lib/pkgconfig
+		vmove "usr/bin/test*"
+	}
+}

From ecfa13cae92f38fcebd4e338b3a32b3ec8a61703 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 17:41:02 +0200
Subject: [PATCH 2/2] New package: singular-4.2.1

---
 .../patches/upstream_omalloc_new_musl.patch   | 40 +++++++++++++++++++
 .../patches/upstream_polys_test_musl.patch    | 22 ++++++++++
 srcpkgs/singular/template                     | 34 ++++++++++++++++
 3 files changed, 96 insertions(+)
 create mode 100644 srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
 create mode 100644 srcpkgs/singular/patches/upstream_polys_test_musl.patch
 create mode 100644 srcpkgs/singular/template

diff --git a/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch b/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
new file mode 100644
index 000000000000..354603bb2c44
--- /dev/null
+++ b/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
@@ -0,0 +1,40 @@
+From e1643135645a3cc97af8659018defd2b8617bb4e Mon Sep 17 00:00:00 2001
+From: Hans Schoenemann <hannes@mathematik.uni-kl.de>
+Date: Thu, 23 Sep 2021 10:57:25 +0200
+Subject: [PATCH] omalloc: fix alignment stuff for "make check"
+
+---
+ omalloc/omtTest.c | 6 ------
+ omalloc/omtTest.h | 2 +-
+ 2 files changed, 1 insertion(+), 7 deletions(-)
+
+diff --git a/omalloc/omtTest.c b/omalloc/omtTest.c
+index 715fbb113c..75c8cdb210 100644
+--- a/omalloc/omtTest.c
++++ b/omalloc/omtTest.c
+@@ -70,12 +70,6 @@ void omtTestDebug(omMemCell cell)
+   }
+ 
+   is_size = omSizeOfAddr(cell->addr);
+-  if (!OM_IS_ALIGNED(is_size))
+-  {
+-    omReportError(omError_Unknown, omError_NoError, OM_FLR,
+-                  "is_size == %u is unaligned", is_size);
+-    return;
+-  }
+   if (is_size < size)
+   {
+     omReportError(omError_Unknown, omError_NoError, OM_FLR,
+diff --git a/omalloc/omtTest.h b/omalloc/omtTest.h
+index a579d88011..6faa099c89 100644
+--- a/omalloc/omtTest.h
++++ b/omalloc/omtTest.h
+@@ -48,7 +48,7 @@ void TestFree(omMemCell cell);
+ 
+ #define IS_STICKY_BIN(spec) (spec & 1)
+ // #define IS_STICKY_BIN(spec) (0)
+-#define GET_SIZE(spec)      (spec & ((((unsigned long) 1) << 14) -1))
++#define GET_SIZE(spec)      OM_ALIGN_SIZE((spec & ((((unsigned long) 1) << 14) -1)))
+ #define SET_SIZE(spec, size) spec = ((spec & ~((((unsigned long) 1) << 14) -1)) | (size))
+ #define IS_ALIGNED(spec)    (spec & (((unsigned long) 1) << 15))
+ #define IS_ZERO(spec)       (spec & (((unsigned long) 1) << 16))
diff --git a/srcpkgs/singular/patches/upstream_polys_test_musl.patch b/srcpkgs/singular/patches/upstream_polys_test_musl.patch
new file mode 100644
index 000000000000..73ee062e2f89
--- /dev/null
+++ b/srcpkgs/singular/patches/upstream_polys_test_musl.patch
@@ -0,0 +1,22 @@
+From 6e2383111a18b2fa2d3421045625d1d424eb1e25 Mon Sep 17 00:00:00 2001
+From: Hans Schoenemann <hannes@mathematik.uni-kl.de>
+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..9996a2db535a
--- /dev/null
+++ b/srcpkgs/singular/template
@@ -0,0 +1,34 @@
+# Template file for 'singular'
+pkgname=singular
+version=4.2.1
+revision=1
+build_style=gnu-configure
+configure_args="--with-readline=ncurses
+#	--prefix=/usr
+#	--libexecdir=/usr/lib
+	--enable-gfanlib
+	--enable-Singular
+	--enable-factory
+	--disable-doc
+	--disable-polymake
+	--without-python
+#	--without-pythonmodule
+#	--disable-python
+#	--disable-python_module
+#	--disable-python-module
+#	--disable-static
+	--with-libparse
+	ac_cv_lib_cddgmp_dd_free_global_constants=yes"
+hostmakedepends="perl tar doxygen"
+makedepends="flintlib-devel cddlib-devel readline-devel graphviz"
+short_desc="Computer algebra system for polynomial computations"
+maintainer="dkwo <nicolopiazzalunga@gmail.com>"
+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
+# nocross="fails to configure, bug upstream"
+
+if [ -z "$CROSS_BUILD" ]; then
+	makedepends+=" ntl-devel"
+fi

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (45 preceding siblings ...)
  2021-11-09 12:15 ` [PR PATCH] [Updated] " dkwo
@ 2021-11-09 12:27 ` dkwo
  2021-11-09 12:45 ` tornaria
                   ` (5 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-11-09 12:27 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 198 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-964106587

Comment:
@tornaria Good point.
Now everything seems to run smoothly.

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (46 preceding siblings ...)
  2021-11-09 12:27 ` dkwo
@ 2021-11-09 12:45 ` tornaria
  2021-11-09 15:44 ` leahneukirchen
                   ` (4 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: tornaria @ 2021-11-09 12:45 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 220 bytes --]

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-964118472

Comment:
LGTM: I compiled sage-9.5.beta5 which supports system singular out of the box.

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (47 preceding siblings ...)
  2021-11-09 12:45 ` tornaria
@ 2021-11-09 15:44 ` leahneukirchen
  2021-11-09 15:44 ` leahneukirchen
                   ` (3 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: leahneukirchen @ 2021-11-09 15:44 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 196 bytes --]

New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-964273892

Comment:
@dkwo  Please remove the comments, the :shipit: 

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (48 preceding siblings ...)
  2021-11-09 15:44 ` leahneukirchen
@ 2021-11-09 15:44 ` leahneukirchen
  2021-11-09 15:46 ` [PR PATCH] [Updated] " dkwo
                   ` (2 subsequent siblings)
  52 siblings, 0 replies; 54+ messages in thread
From: leahneukirchen @ 2021-11-09 15:44 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 197 bytes --]

New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-964273892

Comment:
@dkwo  Please remove the comments, then :shipit: 

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR PATCH] [Updated] New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (49 preceding siblings ...)
  2021-11-09 15:44 ` leahneukirchen
@ 2021-11-09 15:46 ` dkwo
  2021-11-09 15:48 ` dkwo
  2021-11-09 16:02 ` [PR PATCH] [Merged]: " leahneukirchen
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-11-09 15:46 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 426 bytes --]

There is an updated pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages cdd
https://github.com/void-linux/void-packages/pull/32822

New math packages: cddlib, singular
New math packages, useful for sagemath

- New package: cddlib
- New package: singular

I built them on x86_64



A patch file from https://github.com/void-linux/void-packages/pull/32822.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-cdd-32822.patch --]
[-- Type: text/x-diff, Size: 6603 bytes --]

From 392905f04a899a6934967ef9bc95f5c1fed840fa Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 16:32:12 +0200
Subject: [PATCH 1/2] New package: cddlib-0.94m

---
 common/shlibs           |  2 ++
 srcpkgs/cddlib-devel    |  1 +
 srcpkgs/cddlib/template | 24 ++++++++++++++++++++++++
 3 files changed, 27 insertions(+)
 create mode 120000 srcpkgs/cddlib-devel
 create mode 100644 srcpkgs/cddlib/template

diff --git a/common/shlibs b/common/shlibs
index 1b16bbcdc427..5d5c7ef58dd9 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-devel b/srcpkgs/cddlib-devel
new file mode 120000
index 000000000000..401ad0a0b1bc
--- /dev/null
+++ b/srcpkgs/cddlib-devel
@@ -0,0 +1 @@
+cddlib
\ No newline at end of file
diff --git a/srcpkgs/cddlib/template b/srcpkgs/cddlib/template
new file mode 100644
index 000000000000..7d847efbfe7d
--- /dev/null
+++ b/srcpkgs/cddlib/template
@@ -0,0 +1,24 @@
+# Template file for 'cddlib'
+pkgname=cddlib
+version=0.94m
+revision=1
+build_style=gnu-configure
+makedepends="gmp-devel"
+short_desc="Efficient implementation of the Double Description Method"
+maintainer="dkwo <nicolopiazzalunga@gmail.com>"
+license="GPL-2.0-or-later"
+homepage="https://people.inf.ethz.ch/fukudak/cdd_home/"
+distfiles="https://github.com/cddlib/cddlib/releases/download/${version}/cddlib-${version}.tar.gz"
+checksum=70dffdb3369b8704dc75428a1b3c42ab9047b81ce039f12f427e2eb2b1b0dee2
+
+cddlib-devel_package() {
+	short_desc+=" - development files"
+	depends="${sourcepkg}>=${version}_${revision}"
+	pkg_install() {
+		vmove usr/include
+		vmove "usr/lib/*.a"
+		vmove "usr/lib/*.so"
+		vmove usr/lib/pkgconfig
+		vmove "usr/bin/test*"
+	}
+}

From 78c8bc7c012a7cf4c3d942cb1bd303ea84d7942b Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 3 Sep 2021 17:41:02 +0200
Subject: [PATCH 2/2] New package: singular-4.2.1

---
 .../patches/upstream_omalloc_new_musl.patch   | 40 +++++++++++++++++++
 .../patches/upstream_polys_test_musl.patch    | 22 ++++++++++
 srcpkgs/singular/template                     | 26 ++++++++++++
 3 files changed, 88 insertions(+)
 create mode 100644 srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
 create mode 100644 srcpkgs/singular/patches/upstream_polys_test_musl.patch
 create mode 100644 srcpkgs/singular/template

diff --git a/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch b/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
new file mode 100644
index 000000000000..354603bb2c44
--- /dev/null
+++ b/srcpkgs/singular/patches/upstream_omalloc_new_musl.patch
@@ -0,0 +1,40 @@
+From e1643135645a3cc97af8659018defd2b8617bb4e Mon Sep 17 00:00:00 2001
+From: Hans Schoenemann <hannes@mathematik.uni-kl.de>
+Date: Thu, 23 Sep 2021 10:57:25 +0200
+Subject: [PATCH] omalloc: fix alignment stuff for "make check"
+
+---
+ omalloc/omtTest.c | 6 ------
+ omalloc/omtTest.h | 2 +-
+ 2 files changed, 1 insertion(+), 7 deletions(-)
+
+diff --git a/omalloc/omtTest.c b/omalloc/omtTest.c
+index 715fbb113c..75c8cdb210 100644
+--- a/omalloc/omtTest.c
++++ b/omalloc/omtTest.c
+@@ -70,12 +70,6 @@ void omtTestDebug(omMemCell cell)
+   }
+ 
+   is_size = omSizeOfAddr(cell->addr);
+-  if (!OM_IS_ALIGNED(is_size))
+-  {
+-    omReportError(omError_Unknown, omError_NoError, OM_FLR,
+-                  "is_size == %u is unaligned", is_size);
+-    return;
+-  }
+   if (is_size < size)
+   {
+     omReportError(omError_Unknown, omError_NoError, OM_FLR,
+diff --git a/omalloc/omtTest.h b/omalloc/omtTest.h
+index a579d88011..6faa099c89 100644
+--- a/omalloc/omtTest.h
++++ b/omalloc/omtTest.h
+@@ -48,7 +48,7 @@ void TestFree(omMemCell cell);
+ 
+ #define IS_STICKY_BIN(spec) (spec & 1)
+ // #define IS_STICKY_BIN(spec) (0)
+-#define GET_SIZE(spec)      (spec & ((((unsigned long) 1) << 14) -1))
++#define GET_SIZE(spec)      OM_ALIGN_SIZE((spec & ((((unsigned long) 1) << 14) -1)))
+ #define SET_SIZE(spec, size) spec = ((spec & ~((((unsigned long) 1) << 14) -1)) | (size))
+ #define IS_ALIGNED(spec)    (spec & (((unsigned long) 1) << 15))
+ #define IS_ZERO(spec)       (spec & (((unsigned long) 1) << 16))
diff --git a/srcpkgs/singular/patches/upstream_polys_test_musl.patch b/srcpkgs/singular/patches/upstream_polys_test_musl.patch
new file mode 100644
index 000000000000..73ee062e2f89
--- /dev/null
+++ b/srcpkgs/singular/patches/upstream_polys_test_musl.patch
@@ -0,0 +1,22 @@
+From 6e2383111a18b2fa2d3421045625d1d424eb1e25 Mon Sep 17 00:00:00 2001
+From: Hans Schoenemann <hannes@mathematik.uni-kl.de>
+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..d3af1c8b919b
--- /dev/null
+++ b/srcpkgs/singular/template
@@ -0,0 +1,26 @@
+# Template file for 'singular'
+pkgname=singular
+version=4.2.1
+revision=1
+build_style=gnu-configure
+configure_args="--with-readline=ncurses
+	--enable-gfanlib
+	--enable-Singular
+	--enable-factory
+	--disable-doc
+	--disable-polymake
+	--without-python
+	--with-libparse
+	ac_cv_lib_cddgmp_dd_free_global_constants=yes"
+hostmakedepends="perl tar doxygen"
+makedepends="flintlib-devel cddlib-devel readline-devel graphviz"
+short_desc="Computer algebra system for polynomial computations"
+maintainer="dkwo <nicolopiazzalunga@gmail.com>"
+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
+
+if [ -z "$CROSS_BUILD" ]; then
+	makedepends+=" ntl-devel"
+fi

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (50 preceding siblings ...)
  2021-11-09 15:46 ` [PR PATCH] [Updated] " dkwo
@ 2021-11-09 15:48 ` dkwo
  2021-11-09 16:02 ` [PR PATCH] [Merged]: " leahneukirchen
  52 siblings, 0 replies; 54+ messages in thread
From: dkwo @ 2021-11-09 15:48 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 159 bytes --]

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/32822#issuecomment-964277770

Comment:
@leahneukirchen Done!

^ permalink raw reply	[flat|nested] 54+ messages in thread

* Re: [PR PATCH] [Merged]: New math packages: cddlib, singular
  2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
                   ` (51 preceding siblings ...)
  2021-11-09 15:48 ` dkwo
@ 2021-11-09 16:02 ` leahneukirchen
  52 siblings, 0 replies; 54+ messages in thread
From: leahneukirchen @ 2021-11-09 16:02 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 280 bytes --]

There's a merged pull request on the void-packages repository

New math packages: cddlib, singular
https://github.com/void-linux/void-packages/pull/32822

Description:
New math packages, useful for sagemath

- New package: cddlib
- New package: singular

I built them on x86_64



^ permalink raw reply	[flat|nested] 54+ messages in thread

end of thread, other threads:[~2021-11-09 16:02 UTC | newest]

Thread overview: 54+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-09-03 16:05 [PR PATCH] New math packages: cddlib, singular dkwo
2021-09-03 16:12 ` dkwo
2021-09-03 20:45 ` [PR REVIEW] " paper42
2021-09-03 21:34 ` tornaria
2021-09-03 21:38 ` tornaria
2021-09-03 21:38 ` tornaria
2021-09-03 22:12 ` tornaria
2021-09-03 22:21 ` tornaria
2021-09-06  9:01 ` [PR REVIEW] " dkwo
2021-09-06  9:43 ` dkwo
2021-09-06  9:44 ` dkwo
2021-09-06  9:45 ` [PR PATCH] [Updated] " dkwo
2021-09-06  9:50 ` dkwo
2021-09-06  9:52 ` [PR PATCH] [Updated] " dkwo
2021-09-06  9:53 ` dkwo
2021-09-06  9:55 ` [PR PATCH] [Updated] " dkwo
2021-09-06  9:55 ` dkwo
2021-09-06 11:09 ` dkwo
2021-09-06 11:20 ` dkwo
2021-09-06 11:50 ` tornaria
2021-09-06 11:59 ` tornaria
2021-09-06 12:31 ` dkwo
2021-09-06 12:44 ` dkwo
2021-09-11 15:20 ` dkwo
2021-09-11 15:20 ` dkwo
2021-09-11 16:08 ` [PR PATCH] [Updated] " dkwo
2021-09-12 13:50 ` tornaria
2021-09-13  7:35 ` dkwo
2021-09-20 15:57 ` [PR PATCH] [Updated] " dkwo
2021-09-20 16:13 ` dkwo
2021-09-20 16:33 ` tornaria
2021-09-20 16:47 ` [PR PATCH] [Updated] " dkwo
2021-09-20 17:02 ` dkwo
2021-09-21  8:21 ` dkwo
2021-09-23  9:28 ` [PR PATCH] [Updated] " dkwo
2021-09-23  9:38 ` dkwo
2021-10-07  8:38 ` dkwo
2021-10-13 17:11 ` [PR PATCH] [Updated] " dkwo
2021-10-13 17:15 ` dkwo
2021-10-22 12:45 ` dkwo
2021-11-08 23:04 ` leahneukirchen
2021-11-09 10:43 ` [PR PATCH] [Updated] " dkwo
2021-11-09 10:47 ` dkwo
2021-11-09 10:59 ` dkwo
2021-11-09 11:27 ` tornaria
2021-11-09 11:38 ` tornaria
2021-11-09 12:15 ` [PR PATCH] [Updated] " dkwo
2021-11-09 12:27 ` dkwo
2021-11-09 12:45 ` tornaria
2021-11-09 15:44 ` leahneukirchen
2021-11-09 15:44 ` leahneukirchen
2021-11-09 15:46 ` [PR PATCH] [Updated] " dkwo
2021-11-09 15:48 ` dkwo
2021-11-09 16:02 ` [PR PATCH] [Merged]: " leahneukirchen

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).