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-..-mlton-bootstrap-lib-mlton-include-cenv.h | |
| 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-..-mlton-bootstrap-lib-mlton-include-cenv.h')
| -rw-r--r-- | lang/mlton/files/patch-..-mlton-bootstrap-lib-mlton-include-cenv.h | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lang/mlton/files/patch-..-mlton-bootstrap-lib-mlton-include-cenv.h b/lang/mlton/files/patch-..-mlton-bootstrap-lib-mlton-include-cenv.h deleted file mode 100644 index d2284f1c914b..000000000000 --- a/lang/mlton/files/patch-..-mlton-bootstrap-lib-mlton-include-cenv.h +++ /dev/null @@ -1,11 +0,0 @@ ---- ../mlton-bootstrap/lib/mlton/include/cenv.h.orig 2007-11-24 15:52:08.000000000 +0100 -+++ ../mlton-bootstrap/lib/mlton/include/cenv.h 2010-06-22 12:36:33.111364813 +0200 -@@ -116,7 +116,7 @@ - #error unknown platform arch - #endif - --#include "gmp.h" -+#include "/usr/local/include/gmp.h" - - COMPILE_TIME_ASSERT(sizeof_uintptr_t__is__sizeof_voidStar, - sizeof(uintptr_t) == sizeof(void*)); |