Re: [sage-devel] Error installing package ppl-1.1
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 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 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? Does the same error occur? >> >> * If yes => your compiler is broken >> >> * If no => your hardware is broken >> >> -- 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.
Re: [sage-devel] Error installing package ppl-1.1
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 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? Does the same error occur? > > * If yes => your compiler is broken > > * If no => your hardware is broken > > -- 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.
Re: [sage-devel] Error installing package ppl-1.1
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 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.
Re: [sage-devel] Error installing package ppl-1.1
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? Does the same error occur? * If yes => your compiler is broken * If no => your hardware is broken -- 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.
Re: [sage-devel] error installing package ppl-1.1
[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 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 like I said earlier in answering David, fixing it not as obvious > as it seems. > > François > > On 9/09/2014, at 20:51, 'Paul Mercat' via sage-devel < > sage-...@googlegroups.com > wrote: > > > Here is the file > /home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src/config.log > > > > Paul > > > > Le mardi 9 septembre 2014 07:02:11 UTC+2, François a écrit : > > > > On 9/09/2014, at 16:32, Dr. David Kirkby (Kirkby Microwave Ltd) < > drki...@kirkbymicrowave.co.uk> 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 exactly the versions being linked, then I suspect > the ppl package needs modifying to ensure it links against the version of > glpk shipped in Sage and not some other version which may be on the system. > > > > > > Although I have not looked at the code; that should be a fairly easy > fix. > > > > > I have looked at the code and unfortunately there is nothing to give a > location > > for glpk in ppl’s configure script. We have to make sure CPPFLAGS and > LDFLAGS > > point to the good spot. > > > > Francois > > > > > > This email may be confidential and subject to legal privilege, it may > > not reflect the views of the University of Canterbury, and it is not > > guaranteed to be virus free. If you are not an intended recipient, > > please notify the sender immediately and erase all copies of the message > > and any attachments. > > > > Please refer to http://www.canterbury.ac.nz/emaildisclaimer for more > > information. > > > > -- > > 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+...@googlegroups.com . > > To post to this group, send email to sage-...@googlegroups.com > . > > Visit this group at http://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > > > > > This email may be confidential and subject to legal privilege, it may > not reflect the views of the University of Canterbury, and it is not > guaranteed to be virus free. If you are not an intended recipient, > please notify the sender immediately and erase all copies of the message > and any attachments. > > Please refer to http://www.canterbury.ac.nz/emaildisclaimer for more > information. > -- 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.
Re: [sage-devel] error installing package ppl-1.1
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 like I said earlier in answering David, fixing it not as obvious as it seems. François On 9/09/2014, at 20:51, 'Paul Mercat' via sage-devel wrote: > Here is the file > /home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src/config.log > > Paul > > Le mardi 9 septembre 2014 07:02:11 UTC+2, François a écrit : > > 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 exactly the versions being linked, then I suspect > > the ppl package needs modifying to ensure it links against the version of > > glpk shipped in Sage and not some other version which may be on the system. > > > > Although I have not looked at the code; that should be a fairly easy fix. > > > I have looked at the code and unfortunately there is nothing to give a > location > for glpk in ppl's configure script. We have to make sure CPPFLAGS and LDFLAGS > point to the good spot. > > Francois > > > This email may be confidential and subject to legal privilege, it may > not reflect the views of the University of Canterbury, and it is not > guaranteed to be virus free. If you are not an intended recipient, > please notify the sender immediately and erase all copies of the message > and any attachments. > > Please refer to http://www.canterbury.ac.nz/emaildisclaimer for more > information. > > -- > 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. > This email may be confidential and subject to legal privilege, it may not reflect the views of the University of Canterbury, and it is not guaranteed to be virus free. If you are not an intended recipient, please notify the sender immediately and erase all copies of the message and any attachments. Please refer to http://www.canterbury.ac.nz/emaildisclaimer for more information. -- 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.
Re: [sage-devel] error installing package ppl-1.1
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 exactly the versions being linked, then I suspect the ppl > package needs modifying to ensure it links against the version of glpk > shipped in Sage and not some other version which may be on the system. > > Although I have not looked at the code; that should be a fairly easy fix. > I have looked at the code and unfortunately there is nothing to give a location for glpk in ppl's configure script. We have to make sure CPPFLAGS and LDFLAGS point to the good spot. Francois This email may be confidential and subject to legal privilege, it may not reflect the views of the University of Canterbury, and it is not guaranteed to be virus free. If you are not an intended recipient, please notify the sender immediately and erase all copies of the message and any attachments. Please refer to http://www.canterbury.ac.nz/emaildisclaimer for more information. -- 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.
Re: [sage-devel] error installing package ppl-1.1
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 links against the version of glpk shipped in Sage and not some other version which may be on the system. Although I have not looked at the code; that should be a fairly easy fix. Dave -- 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.
Re: [sage-devel] error installing package ppl-1.1
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 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.
Re: [sage-devel] error installing package ppl-1.1
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 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.
Re: [sage-devel] error installing package ppl-1.1
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 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.
Re: [sage-devel] error installing package ppl-1.1
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 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.
Re: [sage-devel] error installing package ppl-1.1
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.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.
