On Wed, Apr 30, 2025 at 11:42 AM Dima Pasechnik <dimp...@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


>
> There is also a request to update gfan, to version 0.7.
>
> Dima
>
> On Wed, Apr 30, 2025 at 3:45 AM John Cremona <john.crem...@gmail.com>
> wrote:
>
>> 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
>>
>> --
>> 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+unsubscr...@googlegroups.com.
>> To view this discussion visit
>> https://groups.google.com/d/msgid/sage-devel/CAD0p0K7uUS8pvdTjO_H1Q1U0UXSYV05E_5gA%3DLdVLh2k6ycfVg%40mail.gmail.com
>> .
>>
>

-- 
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+unsubscr...@googlegroups.com.
To view this discussion visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq3h7E%2B27YicHNkru_%3DmNgzJx2ur%2BSGsSfG9DuBCH9Rp6Q%40mail.gmail.com.

Reply via email to