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

>
>
> 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)
>

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



> 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/CAD0p0K44zbfivt99qhD80JCXFWg%3D75O0F0doB4RsaLKBgAm0Ew%40mail.gmail.com.

Reply via email to