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
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
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
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
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-devel@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 francoi...@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 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. config.log 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
[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 javascript: 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 francoi...@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 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 javascript:. To post to this group, send email to sage-...@googlegroups.com javascript:. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout. config.log 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
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
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
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 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
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 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.
[sage-devel] error installing package ppl-1.1
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 -f .deps/glpk_set_d_eps.Tpo .deps/glpk_set_d_eps.Po rm -f libglpk_set_d_eps.a ar cru libglpk_set_d_eps.a glpk_set_d_eps.o ranlib libglpk_set_d_eps.a gcc -DHAVE_CONFIG_H -I. -I../.. -I../../interfaces/C -I/home/paul.mercat/sage/local/include -pedantic -std=gnu89 -g -O2 -frounding-math -W -Wall -MT ppl_lpsol-ppl_lpsol.o -MD -MP -MF .deps/ppl_lpsol-ppl_lpsol.Tpo -c -o ppl_lpsol-ppl_lpsol.o `test -f 'ppl_lpsol.c' || echo './'`ppl_lpsol.c ppl_lpsol.c: In function 'maybe_check_results': ppl_lpsol.c:595:5: warning: implicit declaration of function 'glp_exact' [-Wimplicit-function-declaration] ppl_lpsol.c: In function 'solve': ppl_lpsol.c:1038:3: error: unknown type name 'glp_mpscp' ppl_lpsol.c:1041:3: warning: implicit declaration of function 'glp_init_mpscp' [-Wimplicit-function-declaration] ppl_lpsol.c:1054:3: warning: implicit declaration of function 'glp_read_mps' [-Wimplicit-function-declaration] ppl_lpsol.c:1054:29: error: 'GLP_MPS_FILE' undeclared (first use in this function) ppl_lpsol.c:1054:29: note: each undeclared identifier is reported only once for each function it appears in make[8]: *** [ppl_lpsol-ppl_lpsol.o] Error 1 make[8]: Leaving directory `/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src/demos/ppl_lpsol' make[7]: *** [all-recursive] Error 1 make[7]: Leaving directory `/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src/demos/ppl_lpsol' make[6]: *** [all-recursive] Error 1 make[6]: Leaving directory `/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src/demos' make[5]: *** [all-recursive] Error 1 make[5]: Leaving directory `/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src' make[4]: *** [all] Error 2 make[4]: Leaving directory `/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src' Error building the Parma Polyhedra Library. real 8m29.527s user 7m28.497s sys 0m26.911s Error installing package ppl-1.1 Please email sage-devel (http://groups.google.com/group/sage-devel) explaining the problem and including the relevant part of the log file /home/paul.mercat/sage/logs/pkgs/ppl-1.1.log Describe your computer, operating system, etc. If you want to try to fix the problem yourself, *don't* just cd to /home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1 and type 'make' or whatever is appropriate. Instead, the following commands setup all environment variables correctly and load a subshell for you to debug the error: (cd '/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1' '/home/paul.mercat/sage/sage' --sh) When you are done debugging, you can type exit to leave the subshell. make[3]: *** [/home/paul.mercat/sage/local/var/lib/sage/installed/ppl-1.1] Error 1 make[3]: Leaving directory `/home/paul.mercat/sage/build' make[2]: *** [toolchain-deps] Error 2 make[2]: Leaving directory `/home/paul.mercat/sage/build' make[1]: *** [all] Error 2 make[1]: Leaving directory `/home/paul.mercat/sage/build' real 85m52.764s user 68m37.669s sys 8m0.649s *** Error building Sage. The following package(s) may have failed to build: package: ppl-1.1 log file: /home/paul.mercat/sage/logs/pkgs/ppl-1.1.log build directory: /home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1 The build directory may contain configuration files and other potentially helpful information. WARNING: if you now run 'make' again, the build directory will, by default, be deleted. Set the environment variable SAGE_KEEP_BUILT_SPKGS to 'yes' to prevent this. make: *** [build] Error 1 - et voici ce que donne la commande : *[paul.mercat@octopus ~/sage]$ cat /proc/cpuinfo* *processor : 0* *vendor_id : GenuineIntel* *cpu family : 6* *model : 26* *model name : Intel(R) Xeon(R) CPU X5570 @ 2.93GHz* *stepping : 5* *cpu MHz : 1600.000* *cache size : 8192 KB* *physical id : 0* *siblings : 4* *core id : 0* *cpu cores : 4* *apicid : 0* *fpu : yes* *fpu_exception : yes* *cpuid level : 11* *wp : yes* *flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm* *bogomips : 5867.08* *clflush size : 64* *cache_alignment : 64* *address sizes : 40 bits physical, 48 bits virtual* *power management: [8]* *processor : 1* *vendor_id : GenuineIntel* *cpu family : 6* *model : 26* *model name
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.
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
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.
