On Wed, 8 Nov 2023, 16:17 John Cremona, <john.crem...@gmail.com> wrote:
> > > On Wed, 8 Nov 2023 at 15:31, Dima Pasechnik <dimp...@gmail.com> wrote: > >> On Wed, Nov 8, 2023 at 3:20 PM John Cremona <john.crem...@gmail.com> >> wrote: >> > >> > >> > >> > On Wed, 8 Nov 2023 at 12:51, John Cremona <john.crem...@gmail.com> >> wrote: >> >> >> >> >> >> >> >> On Wed, 8 Nov 2023, 11:46 Dima Pasechnik, <dimp...@gmail.com> wrote: >> >>> >> >>> On Wed, Nov 8, 2023 at 11:37 AM John Cremona <john.crem...@gmail.com> >> wrote: >> >>> > >> >>> > PS OK, my bug was fixed in pari-2.15.4 which is what is in Sage >> 10.2rc0 so I am happy with that -- though I would still like to know how to >> use my system-installed 2.16.1. >> >>> >> >>> if you have pari installed in Sage you need to uninstall it before >> >>> using the system-wide one. This can be done by >> >>> >> >>> make pari-clean pari-uninstall >> >>> >> >>> and then you can run ./configure and hope that the system one is >> judged OK. >> > >> > >> > After this, configure did not like the newly installed system-wide pari >> (version 2.16.1). >> > >> > Checking whether SageMath should install SPKG pari... >> > checking whether any of gmp readline is installed as or will be >> installed as SPKG... yes; install pari as well >> > configure: no suitable system package found for SPKG pari >> > >> > -- which is what you thought might happen. So I also did make x-clean >> x-uninstall for x=gmp and x=readline. AFter that it was happy with my >> readline but not with my gmp. I wonder why: >> > >> > Checking whether SageMath should install SPKG gmp... >> > checking for gmp.h... yes >> > checking for gmpxx.h... no >> > checking for library containing __gmpq_cmp_z... -lgmp >> > configure: no suitable system package found for SPKG gmp >> > >> > I do of course have gmp installed, I'm not sure anything works without >> it (this is a ubuntu Ubuntu 22.04.3 LTS system). I have libgmp-dev, >> libgmp10, libgmp10-doc, libgmp3-dev, libgmpxx4ldbl. The file mentioned >> gmpxx is in /usr/include (and also in >> /usr/local/sage/sage-10.1/local/include/gmpxx.h from a system-wide >> installation of sage 10.1) -- and those two files are identical. >> >> do you have a file named >> >> /usr/include/gmpxx.h ? >> >> Or is it >> >> /usr/include/gmpxx ? >> >> The latter won't work. >> > > I do have the former: > > john@john-Latitude-E5470:~/sage (branch: develop)$ locate gmpxx.h > /usr/include/gmpxx.h > /usr/local/sage/sage-10.1/local/include/gmpxx.h > > and no file gmpxx (without the suffix) anywhere. > > > this is very strange. Could it be that you have some weird stuff in PATH or other env vars? please send config.log along Is > >> >> >> > >> > Any ideas? >> > >> > John >> > >> >>> >> >>> HTH >> >>> Dima >> >>> >> >>> PS.I'm also not 100% sure that the dependency resolution will work >> >>> correctly, so that everything that depends on libpari is properly >> >>> rebuilt (or you need to clean these all, manually, as well) >> >> >> >> >> >> Thanks Dima, I'll try and report back. >> >> >> >> John >> >> >> >>> >> >>> >> >>> >> >>> >> >>> > >> >>> > On Wed, 8 Nov 2023 at 11:28, John Cremona <john.crem...@gmail.com> >> wrote: >> >>> >> >> >>> >> Two things: >> >>> >> >> >>> >> 1. After >> >>> >> >> >>> >> ./configure --enable-pari_elldata --enable-pari_galpol >> --enable-pari_jupyter --enable-pari_nftables --enable-pari_seadata >> >>> >> >> >>> >> and make build I had an error installing pari_jupyter (which I had >> never used before). See attched log. >> >>> >> >> >>> >> 2. I really need to build Sage to use my own installation of a >> more recent version of pari than the one which Sage includes, which appears >> to now be 2.15.4, as It has a bug in functions I use. I have my own >> istallation of pari-2.16.1 (in /usr/local), and used --with-system-pari=yes >> in the configure line, but configure still reports >> >>> >> >> >>> >> pari: SPKG version 2.15.4 is already >> installed >> >>> >> >> >>> >> --- >> >>> >> >> >>> >> Of these, #1 is not important to me right now but #2 is. Thanks, >> >>> >> >> >>> >> 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 on the web visit >> https://groups.google.com/d/msgid/sage-devel/CAD0p0K5S%3DmdGxKRXCY2zEALCaJFi_z5_8t%3DhHro-uHtSon%2BCKA%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 on the web visit >> https://groups.google.com/d/msgid/sage-devel/CAAWYfq3YJdMi%3D2fde%3DDNixM8C-ZhoTJRCRWJKf8_iw7fEQHFXA%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 on the web visit >> https://groups.google.com/d/msgid/sage-devel/CAD0p0K6LnqVjLuzq_35H%3Dfm5affAjWGTd9h5njd4KuYsC3JARw%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 on the web visit >> https://groups.google.com/d/msgid/sage-devel/CAAWYfq3YLiKk5Y1mXk4caoi-1zHqT3sXVAP_oyFrFkjtHb143w%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 on the web visit > https://groups.google.com/d/msgid/sage-devel/CAD0p0K6oJoXvRZAxcW%3DHq340BN4wBh2sqgXKh%2BVLT%2B1WOs1W%2Bw%40mail.gmail.com > <https://groups.google.com/d/msgid/sage-devel/CAD0p0K6oJoXvRZAxcW%3DHq340BN4wBh2sqgXKh%2BVLT%2B1WOs1W%2Bw%40mail.gmail.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/CAAWYfq2gYXQyx7n37cg-yJ7255V0Qav6wqcZf3-ap_sdu%2B4CMw%40mail.gmail.com.
