Original bug ID: 3552
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Boris Yakobowski
Version: 3.08.3
OS: Linux
Submission from: gobelins-4-81-56-65-67.fbx.proxad.net (81.56.65.67)

Bonjour,

Alléché par les informations de Xavier sur les capacités 64 bits de ma machine
j'ai changé de noyau. Après avoir fait planter mon serveur X (sic), j'ai décidé
de tester le temps de compilation de Caml pour me réconforter.

Pas de chance ça échoue aussi. Il semble que le configure décide que
l'architecture est de l'amd 64, ce qui échoue légèrement... Je joins ce qui me
semble pertinent, mais vous pouvez faire des essais sur la machine aussi si vous
voulez (Damien a le mot de passe root).

Linux pouilly 2.6.10-9-em64t-p4-smp #1 SMP Sat Jan 29 18:41:40 CET 2005 x86_64
GNU/Linux
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 3
model name : Intel(R) Pentium(R) 4 CPU 3.20GHz
stepping : 4
cpu MHz : 3192.130
cache size : 1024 KB
physical id : 0
siblings : 2
fpu : yes
fpu_exception : yes
cpuid level : 3
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 l
m pni monitor ds_cpl cid xtpr
bogomips : 6324.22
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:

processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 3
model name : Intel(R) Pentium(R) 4 CPU 3.20GHz
stepping : 4
cpu MHz : 3192.130
cache size : 1024 KB
physical id : 0
siblings : 2
fpu : yes
fpu_exception : yes
cpuid level : 3
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 l
m pni monitor ds_cpl cid xtpr
bogomips : 6373.37
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:

Configuring for a x86_64-unknown-linux-gnu ...
gcc found
The C compiler is ANSI-compliant.
Checking the sizes of integers and pointers...
OK, this is a regular 32 bit architecture.
64-bit "long long" integer type found (printf with "%ll").
This is a little-endian architecture.
Doubles can be word-aligned.
64-bit integers can be word-aligned.
Native division and modulus have round-towards-zero semantics, will use them.

Directories where Objective Caml will be installed:
binaries.................. /usr/local/bin
standard library.......... /usr/local/lib/ocaml
manual pages.............. /usr/local/man (with extension .1)
Configuration for the bytecode compiler:
C compiler used........... gcc
options for compiling..... -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64
-D_REENTRANT
options for linking....... -Wl,-E -lm -ldl -lcurses -lpthread
shared libraries are supported
options for compiling..... -fPIC -fno-defer-pop -Wall
-D_FILE_OFFSET_BITS=64 -D_REENTRANT
command for building...... gcc -shared -o lib.so -Wl,-rpath,/a/path
objs
Configuration for the native-code compiler:
hardware architecture..... amd64
OS variant................ linux
C compiler used........... gcc
options for compiling..... -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
options for linking....... -lm
assembler ................ $(AS)
preprocessed assembler ... gcc -c -DSYS_$(SYSTEM)
profiling with gprof ..... supported
ocamlopt -pack ........... supported
Source-level replay debugger: supported
Additional libraries supported:
unix str num dynlink bigarray systhreads threads
Configuration for the "num" library:
target architecture ...... amd64 (asm level 1)
Configuration for the "graph" library:
options for compiling ....
options for linking ...... not found
The "labltk" library: not supported

make world :
[...]
make[1]: Entering directory /opt/ocaml-3.08.3/otherlibs/num' gcc -O -I../../byterun -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -DBNG_ARCH_amd64 -DBNG_ASM_LEVEL=1 -c -o bng.o bng.c In file included from bng.c:23: bng_amd64.c: In function bng_amd64_mult_add_digit':
bng_amd64.c:113: error: can't find a register in class GENERAL_REGS' while reloading asm'
make[1]: *** [bng.o] Error 1