Re: [sage-devel] Compiling Sage stops at PPL

2018-07-20 Thread Odile
Le Fri, 13 Jul 2018 15:52:07 +0200, Erik Bray a écrit : > > As a simple workaround, you could try for now building with > > --enable-fat for MPIR, which builds a more machine-generic MPIR by > > running: > > > > SAGE_FAT_BINARY=yes ./sage -f mpir > > > > Then, once MPIR has been re-built, ru

Re: [sage-devel] Compiling Sage stops at PPL

2018-07-13 Thread Erik Bray
On Fri, Jul 13, 2018 at 10:54 AM Erik Bray wrote: > > On Fri, Jul 13, 2018 at 8:22 AM Odile wrote: > > > > Le Thu, 12 Jul 2018 16:26:27 +0200, > > Erik Bray a écrit : > > > > > > > Well here's certainly something interesting from the ppl config.log: > > > > > > 2837 config.lt:681: creating libto

Re: [sage-devel] Compiling Sage stops at PPL

2018-07-13 Thread Erik Bray
On Fri, Jul 13, 2018 at 8:22 AM Odile wrote: > > Le Thu, 12 Jul 2018 16:26:27 +0200, > Erik Bray a écrit : > > > > Well here's certainly something interesting from the ppl config.log: > > > > 2837 config.lt:681: creating libtool > > 2838 configure:21701: checking for the GMP library version 4.1.3

Re: [sage-devel] Compiling Sage stops at PPL

2018-07-12 Thread Odile
Le Thu, 12 Jul 2018 16:26:27 +0200, Erik Bray a écrit : > Well here's certainly something interesting from the ppl config.log: > > 2837 config.lt:681: creating libtool > 2838 configure:21701: checking for the GMP library version 4.1.3 or above > 2839 configure:21790: ./libtool --mode=link --tag

Re: [sage-devel] Compiling Sage stops at PPL

2018-07-12 Thread Erik Bray
On Thu, Jul 12, 2018 at 4:26 PM Erik Bray wrote: > > On Fri, Jul 6, 2018 at 5:53 PM Odile wrote: > > > > Hi > > > > I downloaded > > http://www-ftp.lip6.fr/pub/math/sagemath/src/sage-8.2.tar.gz > > > > I installed all the dependencies, including gcc and gfortran > > > > I attach ppl.log and my PP

Re: [sage-devel] Compiling Sage stops at PPL

2018-07-12 Thread Erik Bray
On Fri, Jul 6, 2018 at 5:53 PM Odile wrote: > > Hi > > I downloaded > http://www-ftp.lip6.fr/pub/math/sagemath/src/sage-8.2.tar.gz > > I installed all the dependencies, including gcc and gfortran > > I attach ppl.log and my PPL config.log Well here's certainly something interesting from the ppl c

Re : [sage-devel] Compiling Sage stops at PPL

2018-07-07 Thread Odile Bénassy
> your log says: > checking for the GMP library version 4.1.3 or above... no > configure: error: Cannot find GMP version 4.1.3 or higher. > Did you run ./configure before running make? Thanks for your answer. ./make did it for me and it works well > So this indicated that something got broken ea