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
                   ` (37 more replies)
  0 siblings, 38 replies; 39+ 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] 39+ 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
                   ` (36 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (35 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (34 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (33 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (32 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (31 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (30 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (29 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (28 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (27 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (26 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (25 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (24 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (23 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (22 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (21 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (20 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (19 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (18 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (17 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (16 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (15 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (14 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (13 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (12 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (11 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (10 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (9 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (8 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (7 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (6 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (5 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (4 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (3 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
                   ` (2 subsequent siblings)
  37 siblings, 0 replies; 39+ 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] 39+ 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
  2021-10-13 17:15 ` dkwo
  37 siblings, 0 replies; 39+ 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] 39+ 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
  37 siblings, 0 replies; 39+ 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] 39+ 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
  37 siblings, 0 replies; 39+ 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] 39+ messages in thread

end of thread, other threads:[~2021-10-13 17:15 UTC | newest]

Thread overview: 39+ 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

Github messages for voidlinux

This inbox may be cloned and mirrored by anyone:

	git clone --mirror https://inbox.vuxu.org/voidlinux-github

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 voidlinux-github voidlinux-github/ https://inbox.vuxu.org/voidlinux-github \
		voidlinux-github@inbox.vuxu.org
	public-inbox-index voidlinux-github

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.github.voidlinux


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git