Dear Matthew,

Thanks for your report.  I know I can't answer your question fully :)
but I can say that the most likely way to receive more specific info
is to also post your OS, chip type if known, and any other info.

One reason I say this might be relevant is the following I found doing
a quick Google search for your error message, at
http://ugweb.cs.ualberta.ca/~rod/tutorials/error_messagesC.html :

" If you compile part of a
project on one type of architecture and then try to compile the rest
of the
project on another type of architecture, when you go to make the final
executable the linker/loader will NOT be able to read one of the parts
of the
project .o files to create an executable, thus the
"could not read symbols: File in wrong format" error message."

I'm not saying that's what the problem is, but information about your
physical computer and its system will help enormously in tracking this
down, especially if others have also experienced it.

Best,
- kcrisman

On May 24, 8:45 am, Matthew Gwynne <mathew.gwy...@gmail.com> wrote:
> Hi,
>
> When building Sage 4.4.1, I (and also my colleague) get the following
> errors during the build process -
>
> /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'
>
> Does anyone have any idea if I am doing something wrong, or whether
> this is a possible problem with Sage itself?
>
> Thanks!
>
> Matthew
>
> --
> To post to this group, send an email to sage-devel@googlegroups.com
> To unsubscribe from this group, send an email to 
> sage-devel+unsubscr...@googlegroups.com
> For more options, visit this group athttp://groups.google.com/group/sage-devel
> URL:http://www.sagemath.org

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to