You are not logged in.

#1 2010-08-22 01:33:01

habitue
Member
Registered: 2009-01-14
Posts: 15

SML/NJ on x86_64

Hi, I've been trying to get SML/NJ on my arch64 laptop, and have run into a bit of trouble since the AUR smlnj package doesn't compile correctly on x86_64. It appears that Ubuntu and Gentoo both have 64-bit builds available for SML/NJ, so is it possible to convert one of those builds to a PKGBUILD that I can use?

Offline

#2 2010-08-22 12:40:44

skottish
Forum Fellow
From: Here
Registered: 2006-06-16
Posts: 7,932

Re: SML/NJ on x86_64

habitue wrote:

Hi, I've been trying to get SML/NJ on my arch64 laptop, and have run into a bit of trouble since the AUR smlnj package doesn't compile correctly on x86_64. It appears that Ubuntu and Gentoo both have 64-bit builds available for SML/NJ, so is it possible to convert one of those builds to a PKGBUILD that I can use?

You'll get much better results if you clarify "doesn't compile correctly".

Offline

#3 2010-08-22 21:28:45

habitue
Member
Registered: 2009-01-14
Posts: 15

Re: SML/NJ on x86_64

You're right, I assumed it would be unlikely someone could specifically diagnose the compilation error, it appears a file is not generated properly that is needed later, here is an excerpt where it fails:

BAD HACK: mkdir -p /tmp/bauerbill/build/aur/smlnj/smlnj-110.71
==> Starting build()...
patching file config/_arch-n-opsys
Hunk #1 succeeded at 109 (offset 5 lines).
./config/install.sh: Using shell /bin/sh.
./config/install.sh: SML root is /tmp/bauerbill/build/aur/smlnj/src.
./config/install.sh: Installation directory is /tmp/bauerbill/build/aur/smlnj/src.
./config/install.sh: Installing version 110.71.
./config/install.sh: URL of source archive is http://smlnj.cs.uchicago.edu/dist/working/110.71/.
./config/install.sh: Script /tmp/bauerbill/build/aur/smlnj/src/bin/.arch-n-opsys reports ARCH=x86; OPSYS=linux; HEAP_SUFFIX=x86-linux.
/tmp/bauerbill/build/aur/smlnj/src/config/unpack: Un-GZIP-ing and un-TAR-ing run-time archive.
./config/install.sh: Compiling the run-time system.

*** snip ***

echo "v-x86-linux" > v-x86-linux
gcc -ansi -c -O2 -m32 -I../config -I../objs -I../include -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_GNU_SOURCE -DGNU_ASSEMBLER -DDLOPEN ../config/unix-signals.c
gcc -ansi -c -O2 -m32 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_GNU_SOURCE -DGNU_ASSEMBLER -DDLOPEN -I../objs -I../include ../kernel/ml-options.c
In file included from ../kernel/ml-options.c:9:0:
../include/ml-base.h:34:22: fatal error: ml-sizes.h: No such file or directory
compilation terminated.
make[1]: *** [ml-options.o] Error 1
make[1]: *** Waiting for unfinished jobs....
make[1]: Leaving directory `/tmp/bauerbill/build/aur/smlnj/src/base/runtime/objs'
make: *** [all] Error 2
./config/install.sh: !!! Run-time system build failed for some reason.

Offline

#4 2010-08-22 23:42:51

skottish
Forum Fellow
From: Here
Registered: 2006-06-16
Posts: 7,932

Re: SML/NJ on x86_64

../include/ml-base.h:34:22: fatal error: ml-sizes.h: No such file or directory

Is this in the source packages?

Last edited by skottish (2010-08-23 00:26:40)

Offline

#5 2010-08-31 00:58:27

Jodell
Member
Registered: 2009-10-09
Posts: 285

Re: SML/NJ on x86_64

The problem with SML/NJ is that it is a 32bit application. To install you need the gcc-multilib package from the multilib repo. It compiles and installs fine. I'm using it right now smile

Last edited by Jodell (2010-08-31 00:58:45)

Offline

#6 2010-08-31 19:32:21

habitue
Member
Registered: 2009-01-14
Posts: 15

Re: SML/NJ on x86_64

Did you use the PKGBUILD from AUR, or did you download and compile it yourself with gcc-multilib?

Offline

#7 2010-08-31 19:46:33

habitue
Member
Registered: 2009-01-14
Posts: 15

Re: SML/NJ on x86_64

Ok using your suggestion, I managed to compile it and create an executable. For now I don't have a proper PKGBUILD for it, but I might try to make one and upload it to the AUR.

Offline

#8 2011-01-02 19:34:27

totsim3
Member
Registered: 2010-12-30
Posts: 11

Re: SML/NJ on x86_64

I cannot manage to install smlnj on my x86_64 system, can anyone please describe how to do it?
Nevermind.  I figured it out.


why is multilib.db.tar.gz not avaible for x84_64 ?

Thank you!

Last edited by totsim3 (2011-01-03 14:49:35)

Offline

Board footer

Powered by FluxBB