On 04/11/2013 01:36 PM, Travis Scrimshaw wrote:
On Thursday, April 11, 2013 4:29:33 AM UTC-4, Volker Braun wrote:
Also, a top-level configure script is the natural point to select
alternatives to 3rd party code. For example, one should be able to
./configure --with-mpir=/usr --with-gap=/usr/local
to use an external mpir and gap install...
Would the top-level configure script also include optional/experimental
packages?
Maybe yes, but let's not consider that for the moment.
--
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 http://groups.google.com/group/sage-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
