On 2014-10-11, Dima Pasechnik <dimp...@gmail.com> wrote: > On 2014-10-11, Vincent Delecroix <20100.delecr...@gmail.com> wrote: >> Dear all, >> >> I wanted to install the Latte package but the configure stopped with >> >> $ sage -i latte_int >> ... >> checking for GMP >= 3.1.1... configure: error: GMP not found! > thanks for reporting this. > The fix is easy: > > one needs to add --with-gmp=$SAGE_LOCAL to the parameters of ./configure > in the spkg-install. > > it seems that it only checks for headers in /usr/include, and happily gets > the gmp - actually mpir - from $SAGE_LOCAL. > > This is now track ticket #17136 (for this bug, and an upgrade).
Ready for review! Dima -- 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/d/optout.