Re: AMD64 support?

MLRisc supports the AMD64 instruction set and is being used in other  
compilers
to generate 64-bit code, but SML/NJ is still 32-bit only.  SML/NJ  
will build on
a 64-bit machine, but you have to have the 32-bit emulation  
libraries, etc.
On our system, there is a link from /usr/lib32 to /emul/ia32-linux/ 
usr/lib/
and the system will build "out of the box".

	- John

On Jul 5, 2007, at 9:08 AM, A.E.Lawrence wrote:

> I have been away from smlnj for a long time. I tried to install 110.65
> on a linux AMD64 system it failed.
>
> ---------------------------------------------------------------------
> ./config/install.sh: Compiling the run-time system.
> (make RUNTIME="run.x86-linux" VERSION="v-x86-linux" AS="as --32"  
> CC="gcc
> -ansi" CFLAGS="-O2 -m32" CPP="gcc -x assembler-with-cpp -E -P"
> TARGET=X86 DEFS="  -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_GNU_SOURCE -DGNU_ASSEMBLER -DDLOPEN" XOBJS=""
> XLIBS="../c-libs/dl/libunix-dynload.a" LD_LIBS="-ldl" run.x86-linux)
>
> [..snip..]
>
> make[2]: Leaving directory
> `/usr/local/src/sml/smlnj/110.65/base/runtime/objs'
> echo "v-x86-linux" > v-x86-linux
> gcc -ansi -c -O2 -m32 -I../config -I../objs -I../include
> ../config/gen-common.c
> gcc -ansi -O2 -m32 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_GNU_SOURCE -DGNU_ASSEMBLER -DDLOPEN -I../config -I../objs
> -I../include -o gen-sizes ../config/gen-sizes.c gen-common.o
> /usr/bin/ld: skipping incompatible /usr/bin/../lib/libc.so when
> searching for -lc
> /usr/bin/ld: skipping incompatible /usr/bin/../lib/libc.a when  
> searching
> for -lc
> /usr/bin/ld: skipping incompatible /usr/lib/libc.so when searching  
> for -lc
> /usr/bin/ld: skipping incompatible /usr/lib/libc.a when searching  
> for -lc
> /usr/bin/ld: cannot find -lc
> collect2: ld returned 1 exit status
> make[1]: *** [gen-sizes] Error 1
> make[1]: Leaving directory
> `/usr/local/src/sml/smlnj/110.65/base/runtime/objs'
> make: *** [all] Error 2
> ./config/install.sh: !!! Run-time system build failed for some reason.
> ---------------------------------------------------------------------- 
> ----
>
>
> I saw the support for the AMD64 via MLRISC which is why I thought that
> there was a chance that this might work on a 64-bit system, although
>    boot.x86-unix.tgz
> seemed to be 32-bit only.
>
> Is my inference that there is no support for 64 bits correct? If it
> matters, I am trying under a debian etch amd64 system.
>
> A E Lawrence
>
> ---------------------------------------------------------------------- 
> ---
> This SF.net email is sponsored by DB2 Express
> Download DB2 Express C - the FREE version of DB2 express and take
> control of your XML. No limits. Just data. Click to get it now.
> http://sourceforge.net/powerbar/db2/
> _______________________________________________
> Smlnj-list mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>


-------------------------------------------------------------------------
This SF.net email is sponsored by DB2 Express
Download DB2 Express C - the FREE version of DB2 express and take
control of your XML. No limits. Just data. Click to get it now.
http://sourceforge.net/powerbar/db2/