Hum...

configure: CHECKS for libraries
checking for SHA1_Init in -lcrypto... no
checking for SHA1_Init in -lssl... no
checking for curl_global_init in -lcurl... no
checking for XML_ParserCreate in -lexpat... no
checking for iconv in -lc... yes

Would you be able to get the config.log file (either
interrupt the compilation after configure or set
whatever the variable is to keep building directories after
install)?

Francois


On 04/06/16 10:23, Simon King wrote:
Voilà

Am Mittwoch, 6. April 2016 00:10:27 UTC+2 schrieb François:

    On 04/06/16 09:54, Simon King wrote:
     >
     >
     > Am Dienstag, 5. April 2016 23:47:20 UTC+2 schrieb François:
     >
     >     On 04/06/16 09:27, Simon King wrote:
     >      > Interesting. There really is no such thing as
    git-remote-http.
     >     Why could
     >      > that be?
     >
     >     Do you have curl+curl-dev installed? That what it uses for
    those.
     >
     >
     > After
     >    sudo apt-get install curl libcurl3-dev
     > and
     >    sage -f git
     > I still have not git-remote-http.
     >

    Was definitely missing from your original install. New build log
    please.

    Francois

--
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
<mailto:sage-devel+unsubscr...@googlegroups.com>.
To post to this group, send email to sage-devel@googlegroups.com
<mailto:sage-devel@googlegroups.com>.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

--
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to