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?
Best, Travis -- 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.
