[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
>