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

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 Mai

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. --

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? Do

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 on

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 l

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) wrote: > > On 9 Sep 2014 00:25, "François Bissey" > 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 exa

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" 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 needs modifying to ensure it l

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 'P

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 20

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 : > >> Plea

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 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 sage-devel+unsubscr...@googlegroups.c

[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 -