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.