On Wed, Jul 13, 2022 at 10:08 AM Thierry Dumont <tdum...@math.univ-lyon1.fr> wrote: > > > > Le 13/07/2022 à 10:57, Dima Pasechnik a écrit : > > On Wed, Jul 13, 2022 at 9:40 AM Thierry Dumont > > <tdum...@math.univ-lyon1.fr> wrote: > >> > >> > >> > >> Le 13/07/2022 à 10:29, Dima Pasechnik a écrit : > >>> > >>> > > > > ./configure should print an advice to install libcurl4-openssl-dev > > somewhere at the end of its run. > > > > > Yes. But it did not. > This problem seems to appear with this beta7 version. 9.7.beta5, you mean?
I suppose Sage's curl is getting old, and less compatible. For some reason, Ubuntu is behind Debian in versions (Debian's curl is 7.84, the latest) https://curl.se/download.html I've opened a ticket to update curl: https://trac.sagemath.org/ticket/34176 > Also: in Ubuntu there are different versions of libcurl*.dev > libcurl4-gnutls.dev > libcurl4-nss.dev > libcurl4-openssl.dev > In my case only the gnutls version could be installed (others give > conflicts). May be the advice will be a bit complicated. yeah. (I don't understand why people want to use gnutls, in view of https://cve.mitre.org/cgi-bin/cvekey.cgi?keyword=gnutls it's no better than openssl, if not worse) > So I installed it. Then config.log is ok with curl. > I am now recompiling. > t.d > > > > > -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-release+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-release/32bd38fd-6158-eab7-07ce-2c8b6ccfb165%40math.univ-lyon1.fr. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/CAAWYfq3sJbptKev-53YxXt%2BvQDSfkVjiGpNRqyMBX8QAFxGUOw%40mail.gmail.com.
