On 2016-11-21 12:37, Emmanuel Charpentier wrote:
What do you think ?

I think we should simply NOT install the package at all instead of faking an install in spkg-install. We currently do for gcc and git using some logic in the top-level ./configure.

--
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