Re: [sage-devel] Error installing package ppl-1.1

2015-07-11 Thread Jeroen Demeyer
On 2015-07-11 04:32, Luis Mailhos wrote: While compiling SageMath 6.7 I got an error on ppl-1.1. I am using a VM running Mint 17.2 (Ubuntu 14.04 based). I wonder if it can be fixed, or better to try the newer source? Is the bug reproducible? I.e. what happens if you just try building again?

Re: [sage-devel] Error installing package ppl-1.1

2015-07-11 Thread Volker Braun
On Saturday, July 11, 2015 at 2:28:40 PM UTC+2, Jeroen Demeyer wrote: Is the bug reproducible? I.e. what happens if you just try building again? Does the same error occur? * If yes = your compiler is broken Or your system gcc can't work with Sage's version of ppl preloaded. -- You

Re: [sage-devel] Error installing package ppl-1.1

2015-07-11 Thread Luis Mailhos
I have got the error twice, looks like the compiler is to blame (gcc version 4.8.4). I am not trying more times, seems final. Do you think it may work by installing another version of gcc? On Saturday, July 11, 2015 at 9:28:40 AM UTC-3, Jeroen Demeyer wrote: On 2015-07-11 04:32, Luis

Re: [sage-devel] Error installing package ppl-1.1

2015-07-11 Thread Volker Braun
Just use export SAGE_INSTALL_GCC=yes make On Saturday, July 11, 2015 at 10:41:46 PM UTC+2, Luis Mailhos wrote: I have got the error twice, looks like the compiler is to blame (gcc version 4.8.4). I am not trying more times, seems final. Do you think it may work by installing another

Re: [sage-devel] error installing package ppl-1.1

2014-09-09 Thread Francois Bissey
No obvious things in this log. But a careful reading shows that both glpk.h and glpk/glpk.h where found. glpk in sage only ships glpk.h so the other one must come from the system. The output of rpm -ql glpk-dev or would it be glpk-devel would show us what has been detected from the system. But

Re: [sage-devel] error installing package ppl-1.1

2014-09-09 Thread 'Paul Mercat' via sage-devel
[paul.mercat@octopus ~]$ rpm -ql glpk-dev package glpk-dev is not installed Le mardi 9 septembre 2014 11:03:50 UTC+2, François a écrit : No obvious things in this log. But a careful reading shows that both glpk.h and glpk/glpk.h where found. glpk in sage only ships glpk.h so the other one

Re: [sage-devel] error installing package ppl-1.1

2014-09-08 Thread 'Paul Mercat' via sage-devel
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

Re: [sage-devel] error installing package ppl-1.1

2014-09-08 Thread François Bissey
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

Re: [sage-devel] error installing package ppl-1.1

2014-09-08 Thread Dr. David Kirkby (Kirkby Microwave Ltd)
On 9 Sep 2014 00:25, François Bissey francois.bis...@canterbury.ac.nz wrote: But it is almost certain the system glpk is the problem. If so, given Sage ships glpk, and quite a number of other packages to ensure that we control exactly the versions being linked, then I suspect the ppl package

Re: [sage-devel] error installing package ppl-1.1

2014-09-08 Thread Francois Bissey
On 9/09/2014, at 16:32, Dr. David Kirkby (Kirkby Microwave Ltd) drkir...@kirkbymicrowave.co.uk wrote: On 9 Sep 2014 00:25, François Bissey francois.bis...@canterbury.ac.nz wrote: But it is almost certain the system glpk is the problem. If so, given Sage ships glpk, and quite a

[sage-devel] error installing package ppl-1.1

2014-09-02 Thread 'Paul Mercat' via sage-devel
Hi ! I have the following error during the compilation of sage : gcc -DHAVE_CONFIG_H -I. -I../.. -I../../interfaces/C -I/home/paul.mercat/sage/local/include -g -O2 -frounding-math -W -Wall -MT glpk_set_d_eps.o -MD -MP -MF .deps/glpk_set_d_eps.Tpo -c -o glpk_set_d_eps.o glpk_set_d_eps.c mv

Re: [sage-devel] error installing package ppl-1.1

2014-09-02 Thread Jeroen Demeyer
Please send the *whole* log file /home/paul.mercat/sage/logs/pkgs/ppl-1.1.log -- 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

Re: [sage-devel] error installing package ppl-1.1

2014-09-02 Thread Jeroen Demeyer
It looks like a problem with GLPK. Could you re-install glpk with $ ./sage -f glpk and then continue the build with $ make -- 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

Re: [sage-devel] error installing package ppl-1.1

2014-09-02 Thread François Bissey
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