Le 13/07/2022 à 10:29, Dima Pasechnik a écrit :
On Wed, 13 Jul 2022, 09:25 Thierry Dumont, <tdum...@math.univ-lyon1.fr
<mailto:tdum...@math.univ-lyon1.fr>> wrote:
Le 13/07/2022 à 09:57, Dima Pasechnik a écrit :
> what does top level config.log say about curl?
>
> why the system one was not good?
Note that curl was downloaded (source) and its compilation failed.
you have a header clash between the Sage's curl and system curl.
why does configure reject the system curl?
(this can be found by inspecting config.log)
This is a part of config.log.
The ubuntu packages libcurl*.dev are not installed (and the
configuration procedure did not mention this):
# Checking whether SageMath should install SPKG curl... ##
## ----------------------------------------------------- ##
configure:20300: checking for curl 7.22
configure:20343: result:
configure:20389: checking for gawk
configure:20421: result: gawk
configure:20488: checking for curl-config
configure:20526: result: no
configure:20604: checking whether libcurl is usable
configure:20639: g++ -std=gnu++11 -o conftest conftest.cpp -lcurl
-lbz2 -lflint -lmpfr -lgmp -lm -lntl >&5
conftest.cpp:28:10: fatal error: curl/curl.h: No such file or directory
28 | #include <curl/curl.h>
| ^~~~~~~~~~~~~
compilation terminated.
configure:20639: $? = 1
configure: failed program was:
| /* confdefs.h */
--
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/f7b95577-d485-1acf-2eac-497dcac91ed9%40math.univ-lyon1.fr.
