I've filed https://github.com/sagemath/sage/issues/37838
On Sat, Apr 20, 2024 at 5:34 PM Dima Pasechnik <dimp...@gmail.com> wrote: > This is due to https://github.com/sagemath/sage/pull/37495 > Sorry, this is the usual careless reviewing of late, preventing people > from using their own Singular (too "new") > The check should have been conditional on building Sage's own Singular - > otherwise it should have been ignored. > > You can revert the this PR, and re-run ./bootstrap > > On Saturday, April 20, 2024 at 5:10:41 PM UTC+1 Peter Mueller wrote: > >> Dima Pasechnik schrieb am Samstag, 20. April 2024 um 17:57:05 UTC+2: >> >> [...] well, this looks relevant. "any of gmp ntl flint readline mpfr >> cddlib is installed as or will be installed as SPKG" >> >> these are Singular's dependencies, and possibly not all of them are on >> your OS. >> In particular, flint is not there - you need Flint 3, and it's only in >> the very latest Ubuntu, cf. >> https://packages.ubuntu.com/search?searchon=sourcenames&keywords=flint >> >> You might want to install latest flint3, 3.1.2, into /usr/local/, and >> try again. >> This will be dodgy, and not really very good idea, >> as your Singular is built with flint2, I suppose... >> >> >> well, all these packages were installed when I compiled sage: >> >> `pacman -Q gmp ntl flint readline mpfr cddlib` returns >> >> gmp 6.3.0-1 >> ntl 11.5.1-1 >> flint 3.1.2-1 >> readline 8.2.010-1 >> mpfr 4.2.1-2 >> cddlib 1:0.94m-1 >> >> -- Peter >> > -- > 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 on the web visit > https://groups.google.com/d/msgid/sage-devel/0e3b2cae-6a6c-45b6-af2d-d35118d044d1n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/0e3b2cae-6a6c-45b6-af2d-d35118d044d1n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq0hfzMDhN4_MUzKLfhXAjNJ%3DxsLdK2Mpeoo0pjiAaooww%40mail.gmail.com.
