diff options
| author | David Spencer <idlemoor@slackbuilds.org> | 2018-06-03 12:07:38 +0100 |
|---|---|---|
| committer | David Spencer <idlemoor@slackbuilds.org> | 2018-06-03 18:11:01 +0100 |
| commit | bab39a97c3cd0a88fb6a8bcfce6e898f2f02fc53 (patch) | |
| tree | cc8169dd469cc447f6603f4565439ee7a4cf6d3a /development/mlton/mlton.info | |
| parent | cce3444ba5b40c1d65377f5c68e4f4f009c2e55f (diff) | |
development/mlton: Fix ownership + cleanups.
Bad file ownership caused by 'make install' exploding tarballs
in the upstream sources.
Limit memory usage (build fail with large memory).
ARCH wasn't checked when explicitly set.
The build fails with multiple make jobs.
BUILD is for the output package name, don't conflate it
with the last bit of PREBUILT.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'development/mlton/mlton.info')
| -rw-r--r-- | development/mlton/mlton.info | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/development/mlton/mlton.info b/development/mlton/mlton.info index 3df87be025482..94214390e358e 100644 --- a/development/mlton/mlton.info +++ b/development/mlton/mlton.info @@ -4,7 +4,7 @@ HOMEPAGE="http://mlton.org" DOWNLOAD="UNSUPPORTED" MD5SUM="" DOWNLOAD_x86_64="https://downloads.sourceforge.net/project/mlton/mlton/20180207/mlton-20180207-1.amd64-linux.tgz \ - https://downloads.sourceforge.net/project/mlton/mlton/20180207/mlton-20180207.src.tgz" + https://downloads.sourceforge.net/project/mlton/mlton/20180207/mlton-20180207.src.tgz" MD5SUM_x86_64="e318ea7d87cb1996c921810e278cb717 \ efa5a6b70d964daefefe4b2581173ad9" REQUIRES="" |