Le 18/06/2013 09:19, Francois Bissey a écrit :
gmp should mostly work, but you'll have issues with flint 2.3 which asks explicitly for mpir headers and libraries. But trivially flint can be compiled with gmp after a good sed command.
Why isn't upstream flint able to compile with gmp or mpir depending on configure switches if it's that easy? This is something which has been lost recently...
Snark on #debian-science -- 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. For more options, visit https://groups.google.com/groups/opt_out.
