Re: installation instructions

On 2015-12-16 15:07 +1100, Jeremy Dawson wrote:

> I couldn't find installation instructions - there's a page
> http://www.mlton.org/Installation
> which tells you what happens if you succeed (and as it puts stuff in 
> /usr/lib and /usr/bin it won't succeed if you don't have the right 
> permissions).
> 
> How do I actually (1) install mlton and (2) install it somewhere other 
> than /usr/{lib,bin}
> 
> I did try typing "make" which seemed to do a lot but finished up with
> make[4]: Entering directory `/mnt/local/mlton/mlton/front-end'
> rm -f ml.lex.*
> no-mllex ml.lex
> make[4]: no-mllex: Command not found
> make[4]: *** [ml.lex.sml] Error 127
> make[4]: Leaving directory `/mnt/local/mlton/mlton/front-end'
> make[3]: *** [front-end/ml.lex.sml] Error 2
> make[3]: Leaving directory `/mnt/local/mlton/mlton'
> make[2]: *** [compiler] Error 2
> make[2]: Leaving directory `/mnt/local/mlton'
> make[1]: *** [all-no-docs] Error 2
> make[1]: Leaving directory `/mnt/local/mlton'
> make: *** [all] Error 2

mlton is self-hosting, as all self-respecting ML implementations are :)
, so you'll need a binary copy (possibly of a prior version) to compile
from source.

I'd start with installing your distribution's mlton package.

-- 
Please *no* private copies of mailing list or newsgroup messages.
Rule 420: All persons more than eight miles high to leave the court.

-- 
You received this message because you are subscribed to the Google Groups "MLton-user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].


------------------------------------------------------------------------------