diff options
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 |