Arch Linux

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?

skottish

Forum Fellow

From: Here

Registered: 2006-06-16

Posts: 7,942

Re: 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?

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

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.

skottish

Forum Fellow

From: Here

Registered: 2006-06-16

Posts: 7,942

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)

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

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

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?

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.

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)