Actually there is a funny bit of cut and paste in configure.ac that I didn’t pass upstream: https://github.com/cschwan/sage-on-gentoo/commit/2f379a5b732c40547c2c06e915111efa3d881b8d
you cannot pass “—without-gmp” or “—with-gmp=no” and expect it to have an effect if gmp/mpir is present. Someone has copied a “readline” enabling option and forgot to change some bits to gmp. François > On 12/12/2015, at 20:26, Nathann Cohen <[email protected]> wrote: > >> Can someone confirm this? With bliss installed > > Works for me too. But what you report is a bug with which we fought > hard in the past already: do you use the latest beta and the latest > version of bliss? > > Nathann > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
