From bab39a97c3cd0a88fb6a8bcfce6e898f2f02fc53 Mon Sep 17 00:00:00 2001 From: David Spencer Date: Sun, 3 Jun 2018 12:07:38 +0100 Subject: 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 --- development/mlton/mlton.info | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'development/mlton/mlton.info') diff --git a/development/mlton/mlton.info b/development/mlton/mlton.info index 3df87be025..94214390e3 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="" -- cgit v1.2.3