[MLton] MLton Installation question

Matthew Fluet fluet@cs.cornell.edu
Mon, 10 Apr 2006 13:57:01 -0400 (EDT)


> I have some problems with installing MLton on a
> powerpc running linux. I have NJ v110.58 installed
> and thought I could bootstrap from there.

While you can bootstrap from SML/NJ, you would be much better off 
starting from a MLton binary.  But, we don't seem to have a Linux/PowerPC 
binary availabe.  If you are using Debian, there are binary packages of 
the latest MLton release in testing and unstable for PowerPC.

> I did
>
> 1) unpacked the sources
> 2) renamed mllex to ml-lex in mlton/front-end/Makefile
>    (In my, what I thought, standard installation of
>     NJ mllex is called ml-lex; similarly ml-yacc. This
>     brings me quite far in the next step.)
>
> 3) compiled with make nj-mlton

My guess is that the SML/NJ compile failed.  It seems that when SML/NJ 
exits, it always returns 'success', even if the last invoked command 
failed, so make will assume that the SML/NJ compile succeeded.  You should 
scan back through the output of 'make nj-mlton' and verify that the SML/NJ 
compile succeeded.

> However after quite some compiling activity I receive
> the error:
>
> ...
> mv /usr/local/src/mlton-20051202/build/lib/mlb-path-map.tmp /usr/local/src/mlton-20051202/build/lib/mlb-path-map
> touch /usr/local/src/mlton-20051202/build/lib/target-map
> ( sed '/self/d' </usr/local/src/mlton-20051202/build/lib/target-map;           \
>        echo 'self powerpc linux' )     \
>        >>/usr/local/src/mlton-20051202/build/lib/target-map.tmp
> mv /usr/local/src/mlton-20051202/build/lib/target-map.tmp /usr/local/src/mlton-20051202/build/lib/target-map
> Creating constants file.
> /usr/local/src/mlton-20051202/build/bin/mlton -build-constants true >tmp.c
> Unable to run MLton.  Check that lib is set properly.
> make[1]: *** [constants] Error 1
> make[1]: Leaving directory `/usr/local/src/mlton-20051202'
> make: *** [nj-mlton] Error 2
>
> What do I do wrong? Do I need to adjust the lib-path somewhere?
>
> Thanks a lot for any help,
> Christian
>
> _______________________________________________
> MLton mailing list
> MLton@mlton.org
> http://mlton.org/mailman/listinfo/mlton
>