aboutsummaryrefslogtreecommitdiff
path: root/development/mlton/README
diff options
context:
space:
mode:
authorScot Doyle <mlton837@scotdoyle.com>2018-05-17 07:06:46 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2018-05-17 07:09:26 +0700
commit93b9db3396c30f650377cd2cf799a43f18d23238 (patch)
tree287bc65b6c45e2ab0f0aa09afc1c267c81f911d4 /development/mlton/README
parent954fc74b8a01504fad68a8e97f118bb94b99c036 (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/README14
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