Must be /home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src/config.log then, sorry for the mistake. But it is almost certain the system glpk is the problem.
Not sure how to get you updated automatically if you are not subscribed to the list sorry. Francois On Mon, 08 Sep 2014 11:50:33 'Paul Mercat' via sage-devel wrote: > I see your message only know. Do you know how to be alerted when somebody > answer a question of mine ? > > Yes, I have libglpk.so , libglpk.so.0 and libglpk.so.0.5.0 in /usr/lib/ > > There is no > file config.log in /home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/ > > Paul > > Le mercredi 3 septembre 2014 00:18:04 UTC+2, François a écrit : > > On Tue, 02 Sep 2014 05:55:51 'Paul Mercat' via sage-devel wrote: > > > I've done what you proposed, but I get the same error. > > > Here is the new log file. > > > > > > Le mardi 2 septembre 2014 14:42:01 UTC+2, Paul Mercat a écrit : > > > > Le mardi 2 septembre 2014 14:34:16 UTC+2, Jeroen Demeyer a écrit : > > > >> Please send the *whole* log file > > > >> /home/paul.mercat/sage/logs/pkgs/ppl-1.1.log > > > > I think the obvious problem is that we are picking the wrong > > version of glpk. Do you have glpk installed on the system in > > either /usr (from a rpm) or /usr/local? > > We may also want to look at > > /home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/config.log > > > > Francois -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
