OKlibrary  0.2.1.6
Sage.hpp File Reference

Plans regarding installation of Sage. More...

Go to the source code of this file.


Detailed Description

Plans regarding installation of Sage.

Todo:
DONE (now using 4.7.1) Update to newer Sage
  • Version 4.6:
    1. DONE (we will update the operating system) On cs-wsok (Suse 10.0):
      /usr/local/lib/../lib/libstdc++.so: could not read symbols: File in wrong format
      collect2: ld returned 1 exit status
      make[4]: *** [libfplll.la] Error 1
      make[4]: Leaving directory `/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Sage/sage-4.6/spkg/build/libfplll-3.0.12.p1/src'
      make[3]: *** [all-recursive] Error 1
      make[3]: Leaving directory `/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Sage/sage-4.6/spkg/build/libfplll-3.0.12.p1/src'
      Error building libfplll
           
    2. On cs-oksvr (Suse 11.0) we get
      gcc version 4.3.1 20080507 (prerelease) [gcc-4_3-branch revision 135036] (SUSE Linux)
      ****************************************************
      Building a 32-bit version of Readline
      
      Deleting old readline headers and libs
      OpenSuSE detected
      OpenSuSE 11 detected
      The development version of libreadline is installed -> copying
      cp: cannot stat `/lib64/libreadline.so.6*': No such file or directory
      Error copying the system's libreadline
      
      sys     0m0.028s
      sage: An error occurred while installing readline-6.0.p4
           
      (/lib64/libreadline.so.5 and /lib64/libreadline.so.5.2 is available; it says it will install readline, but then wants a very specific version already installed?).
    3. According to the sage-devel mailing list, there have been similar issues related to newer versions of readline (see http://trac.sagemath.org/sage_trac/ticket/9523) and we should try the development version of Sage at http://sage.math.washington.edu/home/release/sage-4.6.1.alpha3/sage-4.6.1.alpha3.tar .
    4. However with Sage version 6.1 we get exactly the same failure (now with "An error occurred while installing readline-6.1").
    5. DONE (using DOT_SAGE) On csltok (Suse 11.3): Here finally the installation succeeds, however Sage installs a directory .sage in the home directory, and this we must avoid! We need to move this data-directory to the installation directory. (One could redefine HOME for the installation.)
    6. DONE Sage allows one to change the ".sage" directory using the "DOT_SAGE" environment variable either during the build process (setting the default) or when running Sage. See "DOT_SAGE" on http://www.sagemath.org/doc/installation/source.html for information on building Sage using this variable.
  • DONE (using 4.6) Version 4.5.3:
    1. On csltok (Suse 11.3, 64bit Intel i5) we get the error
      Thread model: posix
      gcc version 4.5.0 20100604 [gcc-4_5-branch revision 160292] (SUSE Linux) 
      ****************************************************
      bash: symbol lookup error: bash: undefined symbol: rl_filename_rewrite_hook
      
      real    0m0.015s
      user    0m0.001s
      sys     0m0.003s
      sage: An error occurred while installing sqlite-3.6.22
           
    2. On cs-wsok (Suse 10.0, 64bit AMD) we get the usual error
      make[3]: Leaving directory `/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Sage/sage-4.5.3/spkg/build/libfplll-3.0.12.p1/src'
      Error building libfplll
           
    3. It is quite unbelievable what a bad software this is --- on no system since version 2.7.2 was a build succesful!
  • Likely the failures below indicate missing "-fPIC"-options to gcc in the respective sub-builds; and perhaps this is corrected with version 4 of Sage.
  • On cs-wsok we get a build-error:
    /usr/local/lib/../lib/libstdc++.so: could not read symbols: File in wrong format
    collect2: ld returned 1 exit status
    make[4]: *** [libfplll.la] Error 1
    make[4]: Leaving directory `/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Sage/sage-4.2.1/spkg/build/libfplll-3.0.12.p0/src'
    make[3]: *** [all-recursive] Error 1
    make[3]: Leaving directory `/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Sage/sage-4.2.1/spkg/build/libfplll-3.0.12.p0/src'
    Error building libfplll
    
    real    0m48.806s
    user    0m36.738s
    sys     0m9.989s
    sage: An error occurred while installing libfplll-3.0.12.p0
       
  • Let's wait whether over time the situation improves.
  • DONE Still not corrected with Sage 4.2.1.
  • DONE Same with version 4.4.1:
    /bin/sh ./libtool --tag=CXX --mode=link g++  -fPIC -I/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Sage/sage-4.4.1/local/include/ -L/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Sage/sage-4.4.1/local/lib   -o libfplll.la -rpath /home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Sage/sage-4.4.1/local/lib -version-info 1:0:1 dummy.lo -lgmp -lmpfr -lmpfr -lgmp -lmpfr -lgmp
    g++ -shared -nostdlib /usr/lib/../lib64/crti.o /usr/local/lib/gcc/x86_64-unknown-linux-gnu/4.1.2/crtbeginS.o  .libs/dummy.o  -Wl,--rpath -Wl,/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Sage/sage-4.4.1/local/lib -Wl,--rpath -Wl,/usr/local/lib/../lib -Wl,--rpath -Wl,/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Sage/sage-4.4.1/local/lib -Wl,--rpath -Wl,/usr/local/lib/../lib -L/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Sage/sage-4.4.1/local/lib /home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Sage/sage-4.4.1/local/lib/libmpfr.so /home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Sage/sage-4.4.1/local/lib/libgmp.so -L/usr/local/lib/gcc/x86_64-unknown-linux-gnu/4.1.2 -L/usr/local/lib/gcc/x86_64-unknown-linux-gnu/4.1.2/../../../../x86_64-unknown-linux-gnu/lib -L/usr/local/lib/gcc/x86_64-unknown-linux-gnu/4.1.2/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 /usr/local/lib/../lib/libstdc++.so -lm -lc -lgcc_s /usr/local/lib/gcc/x86_64-unknown-linux-gnu/4.1.2/crtendS.o /usr/lib/../lib64/crtn.o  -Wl,-soname -Wl,libfplll.so.0 -o .libs/libfplll.so.0.1.0
    /usr/local/lib/../lib/libstdc++.so: could not read symbols: File in wrong format
    collect2: ld returned 1 exit status
    make[4]: *** [libfplll.la] Error 1
    make[4]: Leaving directory `/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Sage/sage-4.4.1/spkg/build/libfplll-3.0.12.p0/src'
       
  • Now it is impossible to contact Sage without becoming a member of "google" --- since this is the same (likely worse) as "microsoft", I (OK) don't want to be a "member" of this organisation in any form.
  • MG has sent a message to the list asking what the problem could be with the above error.
  • DONE (hopefully from 4.6 on we can work it out) So it seems best to drop support for Sage; or just use packages which install without further efforts.
    1. Perhaps this is best: 2.7.2 is installing fine (apparently), and from time to time we can try to see whether the installation problems disappear or not with some newer version.
    2. Same error with 3.0, 2.11.
  • DONE If we would continue with Sage, then we need to update the documentation files (apparently in the doc-subdirectory of the installation directory).
  • DONE (enabled again) Yet I have removed Sage from the list of external sources installed by "all"; if we include it again, then we have to add to README the following:
     - GNU tar
      (check: run "tar --version")
     - GNU ranlib
      (check: run "ranlib --version")
     - perl
      (check: run "perl --version")
       
    since installing Sage needs these tools.

Definition in file Sage.hpp.