diff options
author | Rene Ladan <rene@FreeBSD.org> | 2014-03-07 17:57:07 +0000 |
---|---|---|
committer | Rene Ladan <rene@FreeBSD.org> | 2014-03-07 17:57:07 +0000 |
commit | 79a9ce05532093c0d7746faca6049f205f22edd9 (patch) | |
tree | 29991df9b0d6cdde4192b688ea75c63524eb4a9f /lang/mlton/files/patch-bin-mlton_script | |
parent | Fix to use proper zip arg (diff) |
Bring lang/mlton back into shape.
From the PR submitter:
- Update to 20100608
- Support amd64 natively
- Update DISTFILES location to use Sourceforge
- Add LICENSE_FILE
- Ensure add-local-cross script is executable
- Clean up old patches, replace trivial patches by REINPLACE_CMD
- Mark SMLNJ option as broken for now.
- Mark jobs unsafe.
From myself:
- Unexpire.
- Add stage support
- Add USE_GCC=any
- Convert to USES
- New LIB_DEPENDS format
- Remove pre-FreeBSD 7.0 compatibility
- Pass maintainership to submitter
PR: ports/177406
Submitted by: Timothy Beyer <beyert@cs.ucr.edu>
Approved by: previous maintainer timeout (11 months)
Notes
Notes:
svn path=/head/; revision=347412
Diffstat (limited to 'lang/mlton/files/patch-bin-mlton_script')
-rw-r--r-- | lang/mlton/files/patch-bin-mlton_script | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/lang/mlton/files/patch-bin-mlton_script b/lang/mlton/files/patch-bin-mlton_script deleted file mode 100644 index 88f9a5bb587a..000000000000 --- a/lang/mlton/files/patch-bin-mlton_script +++ /dev/null @@ -1,18 +0,0 @@ ---- bin/mlton-script.orig 2008-04-22 21:15:23.000000000 +1000 -+++ bin/mlton-script 2008-04-22 21:18:33.000000000 +1000 -@@ -19,14 +19,7 @@ - mlton="$lib/mlton-compile$exe" - world="$lib/world.mlton" - nj='sml' --# Try to use the SML/NJ .arch-n-opsys --if .arch-n-opsys >/dev/null 2>&1; then -- eval `.arch-n-opsys` -- njHeap="$lib/mlton.$HEAP_SUFFIX" -- unset `.arch-n-opsys | sed 's#=[^ ]*##g'` --else -- njHeap="$lib/mlton.$HOST_ARCH-$HOST_OS" --fi -+njHeap="$lib/mlton.x86-bsd" - - declare -a rargs - case "$1" in |