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.