On Tuesday, June 18, 2013 9:23:14 AM UTC+2, Snark wrote: > > 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... > Because it uses some internal MPIR functions which differ from the GMP ones.
However the git version of FLINT has fixed that, it now supports GMP. > > 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.
