Error installing package singular-4.4.0

79 views
Skip to first unread message

John Cremona

unread,
Apr 30, 2025, 4:45:36 AM4/30/25
to SAGE devel
I am building 10.7.beta2 in order to review a PR, on Ubuntu 24.04.2 LTS.

After
git pull upstream develop
make distclean
./bootstrap
./configure
make

it fails on installing package singular-4.4.0. Log files attached.
The problem is with FLINT. config.log finds an apparently suitable
FLINT version installed:

real_configure:25233: g++ -std=gnu++11 -o conftest -Dlinux
-I/usr/include conftest.cpp -lflint -lmpfr -lpari -lcurl -lcliquer
-lcddgmp -lbz2 -lglpk -lgmp -lm -lntl >&5
real_configure:25233: $? = 0
real_configure:25253: result: -lflint
real_configure:25259: checking whether FLINT version is >= 3.3.0
real_configure:25277: g++ -std=gnu++11 -c -Dlinux -I/usr/include
conftest.cpp >&5
real_configure:25277: $? = 0
real_configure:25279: result: no
real_configure:25198: checking for flint/padic.h
real_configure:25198: g++ -std=gnu++11 -c -Dlinux -I/usr/include
conftest.cpp >&5
real_configure:25198: $? = 0
real_configure:25198: result: yes
real_configure:25204: checking for library containing gr_get_fexpr
real_configure:25253: result: -lflint
real_configure:25259: checking whether FLINT version is >= 3.3.0
real_configure:25277: g++ -std=gnu++11 -c -Dlinux -I/usr/include
conftest.cpp >&5
real_configure:25277: $? = 0
real_configure:25279: result: no
real_configure:25309: will use system package and not install SPKG flint

BUT then in compiling singular:

[spkg-install] libtool: compile: g++ -std=gnu++11 -DHAVE_CONFIG_H -I.
-I./include -I./include -I. -DFACTORY_BUILDING_DLL
-I/home/john/sage/local/var/tmp/sage/build/singular-4.4.0/src
-I/home/john/sage/local/var/tmp/sage/build/singular-4.4.0/src
-DSING_NDEBUG -DOM_NDEBUG -g -O2 -pipe -fno-common -g0 -O3
-Wno-unused-function -Wno-trigraphs -Wno-unused-parameter
-Wunknown-pragmas -Wno-unused-variable -fomit-frame-pointer -fwrapv
-fvisibility=default -finline-functions -fno-exceptions
-fno-threadsafe-statics -fno-enforce-eh-specs -fconserve-space
-funroll-loops -fno-rtti -c facMul.cc -fPIC -DPIC -o .libs/facMul.o
[spkg-install] facMul.cc: In function 'void
kronSubFp(nmod_poly_struct*, const CanonicalForm&, int)':
[spkg-install] facMul.cc:1258:3: error: 'flint_mpn_zero' was not
declared in this scope
[spkg-install] 1258 | flint_mpn_zero (result->coeffs, d*(degAy+1));
[spkg-install] | ^~~~~~~~~~~~~~
[spkg-install] facMul.cc:1267:5: error: 'flint_mpn_copyi' was not
declared in this scope
[spkg-install] 1267 | flint_mpn_copyi (result->coeffs+k,
buf->coeffs, nmod_poly_length(buf));
[spkg-install] | ^~~~~~~~~~~~~~~
[spkg-install] make[9]: *** [Makefile:1274: facMul.lo] Error 1
[spkg-install] make[8]: *** [Makefile:1379: all-recursive] Error 1
[spkg-install] make[7]: *** [Makefile:1041: all] Error 2
[spkg-install] make[6]: *** [Makefile:624: all-recursive] Error 1
[spkg-install] make[5]: *** [Makefile:475: all] Error 2

My flint version is flint-3.2.0.rc1 (in /usr/local/lib I have
libflint.so.20.0.0 and in /usr/local/include/flint/flint.h I see
#define FLINT_VERSION "3.2.0-rc1").

Obviously I will upgrade to FLINT-3.3.0, but the configure script
should not have accepted my FLINT, surely?

John
config.log
singular-4.4.0.log

Dima Pasechnik

unread,
Apr 30, 2025, 1:17:22 PM4/30/25
to sage-...@googlegroups.com, John Cremona
Hi John,

Flint is already on 3.2.2, see https://github.com/flintlib/flint
If could be that your Flint beta is buggy, and you need 3.2.2


We should upgrade to it, if possible.
Singular is now 4.4.1 - not 100% sure whether an upgrade is feasible.
I know that flint 3.1.3 is working with Singular 4.4.0 (and, apparently, 3.2,* is not)

There is also a request to update gfan, to version 0.7.

Dima

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/sage-devel/CAD0p0K7uUS8pvdTjO_H1Q1U0UXSYV05E_5gA%3DLdVLh2k6ycfVg%40mail.gmail.com.

Michael Orlitzky

unread,
Apr 30, 2025, 1:36:43 PM4/30/25
to sage-...@googlegroups.com
On Wed, 2025-04-30 at 11:42 -0500, Dima Pasechnik wrote:
>
> There is also a request to update gfan, to version 0.7.

IIRC gfan-0.7 uses glibc int128 types everywhere without testing for
them, so it will fail on Gentoo, Void, Alpine, etc. where the libc may
not be glibc. I emailed Anders about it a while ago.

John Cremona

unread,
Apr 30, 2025, 2:37:32 PM4/30/25
to Dima Pasechnik, SAGE devel


On Wed, 30 Apr 2025, 19:00 Dima Pasechnik, <dim...@gmail.com> wrote:


On Wed, Apr 30, 2025 at 11:42 AM Dima Pasechnik <dim...@gmail.com> wrote:
Hi John,

Flint is already on 3.2.2, see https://github.com/flintlib/flint
If could be that your Flint beta is buggy, and you need 3.2.2


We should upgrade to it, if possible.
Singular is now 4.4.1 - not 100% sure whether an upgrade is feasible.
I know that flint 3.1.3 is working with Singular 4.4.0 (and, apparently, 3.2,* is not)

This is now https://github.com/sagemath/sage/pull/40033 (not really tested yet, but should be OK - as it's already in Conda and Homebrew)

OK, I made a comment there and will look at it tomorrow.



Dima

Dima Pasechnik

unread,
Apr 30, 2025, 5:24:21 PM4/30/25
to sage-...@googlegroups.com, John Cremona
On Wed, Apr 30, 2025 at 11:42 AM Dima Pasechnik <dim...@gmail.com> wrote:
Hi John,

Flint is already on 3.2.2, see https://github.com/flintlib/flint
If could be that your Flint beta is buggy, and you need 3.2.2


We should upgrade to it, if possible.
Singular is now 4.4.1 - not 100% sure whether an upgrade is feasible.
I know that flint 3.1.3 is working with Singular 4.4.0 (and, apparently, 3.2,* is not)

This is now https://github.com/sagemath/sage/pull/40033 (not really tested yet, but should be OK - as it's already in Conda and Homebrew)

Dima
Reply all
Reply to author
Forward
0 new messages