[sage-devel] Re: SAGE 8.1 will not compile under Ubuntu 17.10: error installing giac-1.2.3.47.p0
The output of ldd cc1 is now linux-vdso.so.1 => (0x7fff966bd000) libisl.so.15 => /usr/lib/x86_64-linux-gnu/libisl.so.15 (0x7f001ac2d000) libmpc.so.3 => /usr/lib/x86_64-linux-gnu/libmpc.so.3 (0x7f001aa15000) libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 (0x7f001a795000) libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x7f001a514000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x7f001a31) libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x7f001a0f3000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x7f0019d9d000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x7f00199bd000) /lib64/ld-linux-x86-64.so.2 (0x7f001afb3000) That looks right, no? Le jeudi 15 février 2018 19:07:42 UTC-5, Dima Pasechnik a écrit : > > > > On Thursday, February 15, 2018 at 10:53:40 PM UTC, Harald Helfgott wrote: >> >> Hi Samuel, >> >> >I would recommend the following before proceeding with the installation: >> > >> >sudo apt full-upgrade >> > sudo apt-get install binutils gcc g++ gfortran make m4 perl tar \ >> >git openssl libssl-dev texlive dvipng ffmpeg imagemagick tk tk-dev >> >> Thanks for this! I just did as much, and sagemath v8.1 (the version I had >> installed in binary from a repository) magically started to work. >> >> Just out of curiosity: why would it not have worked before? Should I keep >> my eyes open for other misbehavior? >> > > It would be good to know the output of this now: > > $ ldd /usr/libexec/gcc/x86_64-pc-linux-gnu/4.9.4/cc1 > > In your previous message it had lines > > libmpfr.so.4 => /usr/lib/x86_64-linux-gnu/libmpfr.so.4 > (0x7fcb73c96000) > libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 > (0x7fcb72c3e000) > > which looks like a library conflict (I suppose that's what Francois > referred to " the compiler is in a broken state at the system level") > > Perhaps it got fixed by your call to apt-get (and if not, it's still means > a broken gcc toolchain). > > > -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: SAGE 8.1 will not compile under Ubuntu 17.10: error installing giac-1.2.3.47.p0
Hi Samuel, >I would recommend the following before proceeding with the installation: > >sudo apt full-upgrade > sudo apt-get install binutils gcc g++ gfortran make m4 perl tar \ >git openssl libssl-dev texlive dvipng ffmpeg imagemagick tk tk-dev Thanks for this! I just did as much, and sagemath v8.1 (the version I had installed in binary from a repository) magically started to work. Just out of curiosity: why would it not have worked before? Should I keep my eyes open for other misbehavior? -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] SAGE 8.1 will not compile under Ubuntu 17.10: error installing giac-1.2.3.47.p0
What should I do, then? Do you mean that I will have compile problems when working on my own programs, without sage? Le jeudi 15 février 2018 16:55:25 UTC-5, François Bissey a écrit : > > I’d say the compiler is in a broken state at the system level. Exactly > like > what happens in sage after the mpfr upgrade. > I think it would be best to build sage’s own gcc here. > > > On 16/02/2018, at 10:37, Harald Helfgott <harald@gmail.com > > wrote: > > > > First, here is the output of /usr/lib/gcc/x86_64-linux-gnu/7.2.0$ ldd > cc1 > > > > linux-vdso.so.1 => (0x7fff8af56000) > > libisl.so.15 => /usr/lib/x86_64-linux-gnu/libisl.so.15 > (0x7fcb74113000) > > libmpc.so.3 => /usr/lib/x86_64-linux-gnu/libmpc.so.3 > (0x7fcb73efb000) > > libmpfr.so.4 => /usr/lib/x86_64-linux-gnu/libmpfr.so.4 > (0x7fcb73c96000) > > libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 > (0x7fcb73a15000) > > libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x7fcb73811000) > > libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x7fcb735f4000) > > libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x7fcb7329e000) > > libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x7fcb72ebe000) > > /lib64/ld-linux-x86-64.so.2 (0x7fcb74499000) > > libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 > (0x7fcb72c3e000) > > > > Here is the output of the second command: > > linux-vdso.so.1 => (0x7ffdd0f78000) > > libisl.so.15 => /usr/lib/x86_64-linux-gnu/libisl.so.15 > (0x7f6d62321000) > > libmpc.so.3 => /usr/lib/x86_64-linux-gnu/libmpc.so.3 > (0x7f6d62109000) > > libmpfr.so.4 => /usr/lib/x86_64-linux-gnu/libmpfr.so.4 > (0x7f6d61ea4000) > > libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 > (0x7f6d61c23000) > > libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x7f6d61a1f000) > > libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x7f6d61802000) > > libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x7f6d614ac000) > > libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x7f6d610cc000) > > /lib64/ld-linux-x86-64.so.2 (0x7f6d626a7000) > > libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 > (0x7f6d60e4c000) > > > > What to do? > > > > Best > > Harald > > > > Le jeudi 15 février 2018 16:18:18 UTC-5, Jeroen Demeyer a écrit : > > On 2018-02-15 21:34, Harald Helfgott wrote: > > > What is the issue here? What can be done? > > > > Seems like a conflict between the mpfr/mpc libraries used by your > > system's GCC and the libraries in Sage. > > > > Can you try to find the location of the "cc1" program used by GCC. > > Typically, this will be in a location like > > /usr/libexec/gcc/x86_64-pc-linux-gnu/4.9.4/cc1 and then do (adjusting > > the paths) > > > > $ ldd /usr/libexec/gcc/x86_64-pc-linux-gnu/4.9.4/cc1 > > > > And from the Sage directory: > > > > $ ./sage --sh -c "ldd /usr/libexec/gcc/x86_64-pc-linux-gnu/4.9.4/cc1" > > > > and post the output of both commands. > > > > -- > > 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 https://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > > -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] SAGE 8.1 will not compile under Ubuntu 17.10: error installing giac-1.2.3.47.p0
First, here is the output of /usr/lib/gcc/x86_64-linux-gnu/7.2.0$ ldd cc1 linux-vdso.so.1 => (0x7fff8af56000) libisl.so.15 => /usr/lib/x86_64-linux-gnu/libisl.so.15 (0x7fcb74113000) libmpc.so.3 => /usr/lib/x86_64-linux-gnu/libmpc.so.3 (0x7fcb73efb000) libmpfr.so.4 => /usr/lib/x86_64-linux-gnu/libmpfr.so.4 (0x7fcb73c96000) libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x7fcb73a15000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x7fcb73811000) libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x7fcb735f4000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x7fcb7329e000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x7fcb72ebe000) /lib64/ld-linux-x86-64.so.2 (0x7fcb74499000) libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 (0x7fcb72c3e000) Here is the output of the second command: linux-vdso.so.1 => (0x7ffdd0f78000) libisl.so.15 => /usr/lib/x86_64-linux-gnu/libisl.so.15 (0x7f6d62321000) libmpc.so.3 => /usr/lib/x86_64-linux-gnu/libmpc.so.3 (0x7f6d62109000) libmpfr.so.4 => /usr/lib/x86_64-linux-gnu/libmpfr.so.4 (0x7f6d61ea4000) libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x7f6d61c23000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x7f6d61a1f000) libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x7f6d61802000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x7f6d614ac000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x7f6d610cc000) /lib64/ld-linux-x86-64.so.2 (0x7f6d626a7000) libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 (0x7f6d60e4c000) What to do? Best Harald Le jeudi 15 février 2018 16:18:18 UTC-5, Jeroen Demeyer a écrit : > > On 2018-02-15 21:34, Harald Helfgott wrote: > > What is the issue here? What can be done? > > Seems like a conflict between the mpfr/mpc libraries used by your > system's GCC and the libraries in Sage. > > Can you try to find the location of the "cc1" program used by GCC. > Typically, this will be in a location like > /usr/libexec/gcc/x86_64-pc-linux-gnu/4.9.4/cc1 and then do (adjusting > the paths) > > $ ldd /usr/libexec/gcc/x86_64-pc-linux-gnu/4.9.4/cc1 > > And from the Sage directory: > > $ ./sage --sh -c "ldd /usr/libexec/gcc/x86_64-pc-linux-gnu/4.9.4/cc1" > > and post the output of both commands. > -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] SAGE 8.1 will not compile under Ubuntu 17.10: error installing giac-1.2.3.47.p0
I have just updated Ubuntu 17.04 to 17.10 (since version 17.04 reached its end-of-life point). Sage was uninstalled in the process. The binary I reinstalled from the standard repositories crashed, so the only option I had left was to install the most recent stable version of Sage (8.1) from source. I get: (end of the log file) Error installing package giac-1.2.3.47.p0 Please email sage-devel (http://groups.google.com/group/sage-devel) explaining the problem and including the log file /home/ahelfgo/Downloads/sage-8.1/logs/pkgs/giac-1.2.3.47.p0.log Describe your computer, operating system, etc. If you want to try to fix the problem yourself, *don't* just cd to /home/ahelfgo/Downloads/sage-8.1/local/var/tmp/sage/build/giac-1.2.3.47.p0 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/ahelfgo/Downloads/sage-8.1/local/var/tmp/sage/build/giac-1.2.3.47.p0' && '/home/ahelfgo/Downloads/sage-8.1/sage' --sh) When you are done debugging, you can type "exit" to leave the subshell. I am attaching the entire log file for giac. What is the issue here? What can be done? Best Harald harald.helfg...@gmail.com PS. The computer is a Dell XPS Ultrabook with the following specifications: Memory: 7,7 GiB Processor: Intel® Core™ i5-7200U CPU @ 2.50GHz × 4 Ubuntu 17.10 Gnome 3.26.2 -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout. Found local metadata for giac-1.2.3.47.p0 Using cached file /home/ahelfgo/Downloads/sage-8.1/upstream/giac-1.2.3.47.tar.bz2 giac-1.2.3.47.p0 Setting up build directory for giac-1.2.3.47.p0 Finished extraction Applying patches from ../patches... Applying ../patches/cSolveorder-check.patch patching file check/TP16-sol.cas.out1 Applying ../patches/libpng16.patch patching file configure.in patching file configure Applying ../patches/macos-ifactor.patch patching file src/ifactor.cc Applying ../patches/nofltk-check.patch patching file check/testgeo patching file check/TP00-sol.cas patching file check/TP00-sol.cas.out1 patching file check/TP02-sol.cas patching file check/TP09-sol.cas patching file check/TP19-sol.cas Host system: Linux ahelfgo-XPS-13-9360 4.13.0-32-generic #35-Ubuntu SMP Thu Jan 25 09:13:46 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux C compiler: gcc C compiler version: Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/7/lto-wrapper OFFLOAD_TARGET_NAMES=nvptx-none OFFLOAD_TARGET_DEFAULT=1 Target: x86_64-linux-gnu Configured with: ../src/configure -v --with-pkgversion='Ubuntu 7.2.0-8ubuntu3' --with-bugurl=file:///usr/share/doc/gcc-7/README.Bugs --enable-languages=c,ada,c++,go,brig,d,fortran,objc,obj-c++ --prefix=/usr --with-gcc-major-version-only --program-suffix=-7 --program-prefix=x86_64-linux-gnu- --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libmpx --enable-plugin --enable-default-pie --with-system-zlib --with-target-system-zlib --enable-objc-gc=auto --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-offload-targets=nvptx-none --without-cuda-driver --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu Thread model: posix gcc version 7.2.0 (Ubuntu 7.2.0-8ubuntu3) Configuring giac... configure: WARNING: you should use --build, --host, --target checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix