You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 1959 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
J'ai récupéré la version CVS hier (ça remontait à avant la 3.07).
J'ai configuré (cf. plus bas); la seule différence avec la fois
d'avant était:
99c99
< target architecture ...... x86
target architecture ...... ia32 (asm level 2)
Ça plante ici:
make[1]: Entering directory /afs/.inria.fr/common/usr/local/adm/src/caml/csl/otherlibs/num' gcc -O -I../../byterun -fno-defer-pop -Wall -Wno-unused -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -DBNG_ARCH_ia32 -DBNG_ASM_LEVEL=2 -c -o bng.o bng.c /tmp/ccu07YCq.s: Assembler messages: /tmp/ccu07YCq.s:294: Error: no such instruction: paddq %mm1,%mm0'
/tmp/ccu07YCq.s:295: Error: no such instruction: paddq %mm2,%mm0' /tmp/ccu07YCq.s:350: Error: no such instruction: psubq %mm0,%mm1'
/tmp/ccu07YCq.s:351: Error: no such instruction: psubq %mm2,%mm1' /tmp/ccu07YCq.s:410: Error: no such instruction: paddq %mm1,%mm0'
/tmp/ccu07YCq.s:411: Error: no such instruction: paddq %mm2,%mm0' /tmp/ccu07YCq.s:505: Error: no such instruction: paddq %mm6,%mm1'
/tmp/ccu07YCq.s:507: Error: no such instruction: psubq %mm2,%mm1' /tmp/ccu07YCq.s:508: Error: no such instruction: paddq %mm1,%mm0'
make[1]: *** [bng.o] Error 1
make[1]: Leaving directory `/afs/.inria.fr/common/usr/local/adm/src/caml/csl/otherlibs/num'
make: *** [otherlibraries] Error 2
Je joins le log de configure. Que faut-il que je fournisse en plus
pour aider à la reproduction du problème ?
La machine a Linux RH 7.1, le compilo est un gcc-2.95.2.
Bruno.
cd /afs/.inria.fr/common/usr/local/adm/src/caml/csl/
./configure -prefix /usr/local/adm/src/caml
Configuring for a i686-pc-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.
objcopy and nm found in /usr/bin
ranlib found
#! appears to work in shell scripts
POSIX signal handling found.
strerror() found.
times() found.
termcap functions found (with libraries '-lcurses')
You have BSD sockets.
socklen_t is defined in <sys/socket.h>
inet_aton() found.
unistd.h found.
off_t is defined in <sys/types.h>
dirent.h found.
rewinddir() found.
lockf() found.
mkfifo() found.
getcwd() found.
getwd() found.
getpriority() found.
utime() found.
utimes() found.
dup2() found.
fchmod() found.
truncate() found.
sys/select.h found.
select() found.
symlink() found.
waitpid() found.
wait4() found.
getgroups() found.
POSIX termios found.
Asynchronous I/O are supported.
setitimer() found.
gethostname() found.
uname() found.
gettimeofday() found.
mktime() found.
setsid() found.
putenv() found.
setlocale() and <locale.h> found.
dlopen() found in -ldl.
Dynamic loading of shared libraries is supported.
mmap() found.
gethostbyname_r() found (with 6 arguments).
gethostbyaddr_r() found (with 8 arguments).
Replay debugger supported.
System stack overflow can be detected.
POSIX threads library supported.
Options for linking with POSIX threads: -lpthread
sigwait() found
Bytecode threads library supported.
Location of X11 include files: /usr/X11R6/include/X11
Options for linking with X11: -L/usr/X11R6/lib -lX11
NDBM found (in /usr/include/db1)
Configuring LablTk...
tcl.h version 8.3 found with "".
tk.h found.
Tcl/Tk libraries found.
** Configuration summary **
Directories where Objective Caml will be installed:
binaries.................. /usr/local/adm/src/caml/bin
standard library.......... /usr/local/adm/src/caml/lib/ocaml
manual pages.............. /usr/local/adm/src/caml/man (with extension .1)
Configuration for the bytecode compiler:
C compiler used........... gcc
options for compiling..... -fno-defer-pop -Wall -Wno-unused -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 -Wno-unused -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..... i386
OS variant................ linux_elf
C compiler used........... gcc
options for compiling..... -Wall -Wno-unused -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 graph dbm labltk
Configuration for the "num" library:
target architecture ...... ia32 (asm level 2)
Configuration for the "graph" library:
options for compiling .... -I/usr/X11R6/include
options for linking ...... -L/usr/X11R6/lib -lX11
Configuration for the "labltk" library:
use tcl/tk version ....... 8.3
options for compiling ....
options for linking ...... -ltk8.3 -ltcl8.3 -ldl
The text was updated successfully, but these errors were encountered:
Original bug ID: 1959
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
J'ai récupéré la version CVS hier (ça remontait à avant la 3.07).
J'ai configuré (cf. plus bas); la seule différence avec la fois
d'avant était:
99c99
< target architecture ...... x86
Ça plante ici:
make[1]: Entering directory
/afs/.inria.fr/common/usr/local/adm/src/caml/csl/otherlibs/num' gcc -O -I../../byterun -fno-defer-pop -Wall -Wno-unused -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -DBNG_ARCH_ia32 -DBNG_ASM_LEVEL=2 -c -o bng.o bng.c /tmp/ccu07YCq.s: Assembler messages: /tmp/ccu07YCq.s:294: Error: no such instruction:
paddq %mm1,%mm0'/tmp/ccu07YCq.s:295: Error: no such instruction:
paddq %mm2,%mm0' /tmp/ccu07YCq.s:350: Error: no such instruction:
psubq %mm0,%mm1'/tmp/ccu07YCq.s:351: Error: no such instruction:
psubq %mm2,%mm1' /tmp/ccu07YCq.s:410: Error: no such instruction:
paddq %mm1,%mm0'/tmp/ccu07YCq.s:411: Error: no such instruction:
paddq %mm2,%mm0' /tmp/ccu07YCq.s:505: Error: no such instruction:
paddq %mm6,%mm1'/tmp/ccu07YCq.s:507: Error: no such instruction:
psubq %mm2,%mm1' /tmp/ccu07YCq.s:508: Error: no such instruction:
paddq %mm1,%mm0'make[1]: *** [bng.o] Error 1
make[1]: Leaving directory `/afs/.inria.fr/common/usr/local/adm/src/caml/csl/otherlibs/num'
make: *** [otherlibraries] Error 2
Je joins le log de configure. Que faut-il que je fournisse en plus
pour aider à la reproduction du problème ?
La machine a Linux RH 7.1, le compilo est un gcc-2.95.2.
Bruno.
cd /afs/.inria.fr/common/usr/local/adm/src/caml/csl/
./configure -prefix /usr/local/adm/src/caml
Configuring for a i686-pc-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.
objcopy and nm found in /usr/bin
ranlib found
#! appears to work in shell scripts
POSIX signal handling found.
strerror() found.
times() found.
termcap functions found (with libraries '-lcurses')
You have BSD sockets.
socklen_t is defined in <sys/socket.h>
inet_aton() found.
unistd.h found.
off_t is defined in <sys/types.h>
dirent.h found.
rewinddir() found.
lockf() found.
mkfifo() found.
getcwd() found.
getwd() found.
getpriority() found.
utime() found.
utimes() found.
dup2() found.
fchmod() found.
truncate() found.
sys/select.h found.
select() found.
symlink() found.
waitpid() found.
wait4() found.
getgroups() found.
POSIX termios found.
Asynchronous I/O are supported.
setitimer() found.
gethostname() found.
uname() found.
gettimeofday() found.
mktime() found.
setsid() found.
putenv() found.
setlocale() and <locale.h> found.
dlopen() found in -ldl.
Dynamic loading of shared libraries is supported.
mmap() found.
gethostbyname_r() found (with 6 arguments).
gethostbyaddr_r() found (with 8 arguments).
Replay debugger supported.
System stack overflow can be detected.
POSIX threads library supported.
Options for linking with POSIX threads: -lpthread
sigwait() found
Bytecode threads library supported.
Location of X11 include files: /usr/X11R6/include/X11
Options for linking with X11: -L/usr/X11R6/lib -lX11
NDBM found (in /usr/include/db1)
Configuring LablTk...
tcl.h version 8.3 found with "".
tk.h found.
Tcl/Tk libraries found.
** Configuration summary **
Directories where Objective Caml will be installed:
binaries.................. /usr/local/adm/src/caml/bin
standard library.......... /usr/local/adm/src/caml/lib/ocaml
manual pages.............. /usr/local/adm/src/caml/man (with extension .1)
Configuration for the bytecode compiler:
C compiler used........... gcc
options for compiling..... -fno-defer-pop -Wall -Wno-unused -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 -Wno-unused -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..... i386
OS variant................ linux_elf
C compiler used........... gcc
options for compiling..... -Wall -Wno-unused -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 graph dbm labltk
Configuration for the "num" library:
target architecture ...... ia32 (asm level 2)
Configuration for the "graph" library:
options for compiling .... -I/usr/X11R6/include
options for linking ...... -L/usr/X11R6/lib -lX11
Configuration for the "labltk" library:
use tcl/tk version ....... 8.3
options for compiling ....
options for linking ...... -ltk8.3 -ltcl8.3 -ldl
The text was updated successfully, but these errors were encountered: