mlton: update to 20240519

barracuda156 · May 21, 2024 · c479ddd · c479ddd
1 parent da5156f
commit c479ddd
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 31 deletions.
diff --git a/lang/mlton/Portfile b/lang/mlton/Portfile
@@ -6,8 +6,8 @@ PortGroup           github 1.0
 PortGroup           makefile 1.0
 PortGroup           openssl 1.0
 
-github.setup        MLton mlton 2637b22ccdd9cd1268b6b46ff6107066bf8c8888
-version             20240119
+github.setup        MLton mlton 475cf2b14993869711f1a93a15a9fa854b5126ed
+version             20240519
 revision            0
 categories          lang ml
 maintainers         {@barracuda156 gmail.com:vital.had} openmaintainer
@@ -21,9 +21,9 @@ long_description    MLton is a whole-program optimizing compiler for the Standar
                     a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, \
                     the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator and a profiler.
 homepage            http://www.mlton.org
-checksums           rmd160  9e7285aa2a83e6bec1e17fa4ba05cc6b06d17db8 \
-                    sha256  5f71a0ee00baf138988f6a301b036389e089cef9070878a0069de9876f02b9a3 \
-                    size    14381761
+checksums           rmd160  37e2f94ad4b9934a29374587bfb75f98663691cf \
+                    sha256  4b967f3826b1e697dd7655d29fa91fbe110c63f22781d6bcf3c6a2cfd15bfcbb \
+                    size    14381913
 github.tarball_from archive
 
 depends_build-append \

diff --git a/lang/mlton/files/patch-settings-for-Macports.diff b/lang/mlton/files/patch-settings-for-Macports.diff
@@ -63,32 +63,6 @@ index ef75768d0..abb885507 100755
  name=$(basename "$0")
 
 
-From afff371829a96a4dfaf796d044876a30a581440e Mon Sep 17 00:00:00 2001
-From: barracuda156 <[email protected]>
-Date: Fri, 21 Jul 2023 21:42:11 +0800
-Subject: [PATCH 3/4] Amend mlton-script for Macports
-
-diff --git bin/mlton-script bin/mlton-script
-index 7b1e76eaf..fa8c8e840 100644
---- bin/mlton-script
-+++ bin/mlton-script
-@@ -7,12 +7,12 @@ LIB_REL_BIN="../lib/mlton"
-
- EXE=
-
--CC="cc"
-+CC="@CC@"
-
- # You may need to set 'GMP_INC_DIR' so the C compiler can find gmp.h.
--GMP_INC_DIR=
-+GMP_INC_DIR="@PREFIX@/include"
- # You may need to set 'GMP_LIB_DIR' so the C compiler can find libgmp.
--GMP_LIB_DIR=
-+GMP_LIB_DIR="@PREFIX@/lib"
-
-
- set -e
-
 From 007c3ea9cd8b4e5ac46a333809ebf03abcc36b84 Mon Sep 17 00:00:00 2001
 From: barracuda156 <[email protected]>
 Date: Fri, 21 Jul 2023 22:55:53 +0800