On Friday, March 21, 2014 11:56:43 AM UTC-4, John Cremona wrote: > > Have you tried asking on flint-devel? If their Makefiles don't work > on some systems then they should know that. > >
True, but I don't know whether in fact the Makefile doesn't work. Or rather, all I know is this one include thing, which I figure Francois or Jean-Pierre know more about. I did post there just now, but it hasn't shown up yet - perhaps there is moderation for new members. Hopefully we'll turn something up. - kcrisman -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
