diff options
author | Scot Doyle <mlton837@scotdoyle.com> | 2018-05-17 07:06:46 +0700 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2018-05-17 07:09:26 +0700 |
commit | 93b9db3396c30f650377cd2cf799a43f18d23238 (patch) | |
tree | 287bc65b6c45e2ab0f0aa09afc1c267c81f911d4 /development/mlton/README | |
parent | 954fc74b8a01504fad68a8e97f118bb94b99c036 (diff) |
development/mlton: Updated for version 20180207 + new maintainer.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/mlton/README')
-rw-r--r-- | development/mlton/README | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/development/mlton/README b/development/mlton/README index df57f0fd7218..362c65216569 100644 --- a/development/mlton/README +++ b/development/mlton/README @@ -1,7 +1,9 @@ -MLton is an open-source, whole-program, optimizing Standard ML compiler. It -aims to produce fast executables, and to encourage rapid prototyping and -modular programming by eliminating performance penalties often associated with -the use of high-level language features. +MLton is a whole-program, ahead-of-time Standard ML compiler featuring +excellent application performance and partial Successor ML support. -This is a prebuilt binary package to shorten overwhelmingly long time of local -compilation. +This build script uses a pre-built version of MLton from mlton.org to +compile the MLton package. This pre-built compiler is only available +for x86_64. Builds usually require 2GB of memory. + +For extra documentation in /usr/share/doc, invoke with a "docs" flag: +./mlton.SlackBuild -docs |