Bill Hart wrote:
Ah, I see in a later trac update you have the same problem in Fedora.
But surely there you have cat /proc/cpuinfo. What information does it
give you? We might be able to tackle the problem from there.


I had the wrong Fedora running.

On Fedora 12 64 bit in Virtualbox:

gcc version 4.4.2 20091222 (Red Hat 4.4.2-20) (GCC)
****************************************************
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for gawk... gawk
checking whether make -j2 sets $(MAKE)... yes
checking whether to enable maintainer-specific portions of Makefiles... no
checking ABI=64
checking compiler gcc -O2 -m64 ... yes
checking compiler gcc -O2 -m64  -march=k8... yes

Sorry for the noise!

Jaap


-- 
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