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-runtime-mingw.c | |
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-runtime-mingw.c')
-rw-r--r-- | lang/mlton/files/patch-runtime-mingw.c | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/lang/mlton/files/patch-runtime-mingw.c b/lang/mlton/files/patch-runtime-mingw.c deleted file mode 100644 index 2d1aaa9be883..000000000000 --- a/lang/mlton/files/patch-runtime-mingw.c +++ /dev/null @@ -1,43 +0,0 @@ ---- runtime/platform/mingw.c.orig 2008-04-27 11:10:10.000000000 +1000 -+++ runtime/platform/mingw.c 2008-04-27 11:10:33.000000000 +1000 -@@ -54,40 +54,6 @@ - } - - /* ------------------------------------------------- */ --/* Date */ --/* ------------------------------------------------- */ -- --#ifndef __GNUC__ --#define EPOCHFILETIME (116444736000000000i64) --#else --#define EPOCHFILETIME (116444736000000000LL) --#endif -- --/* Based on notes by Wu Yongwei: -- * http://mywebpage.netscape.com/yongweiwutime.htm -- */ --int gettimeofday (struct timeval *tv, struct timezone *tz) { -- FILETIME ft; -- LARGE_INTEGER li; -- __int64 t; -- static bool tzInit = FALSE; -- -- unless (tzInit) { -- tzInit = TRUE; -- _tzset(); -- } -- GetSystemTimeAsFileTime (&ft); -- li.LowPart = ft.dwLowDateTime; -- li.HighPart = ft.dwHighDateTime; -- t = li.QuadPart; -- t -= EPOCHFILETIME; -- t /= 10; -- tv->tv_sec = (long)(t / 1000000); -- tv->tv_usec = (long)(t % 1000000); -- return 0; --} -- --/* ------------------------------------------------- */ - /* MLton.Itimer */ - /* ------------------------------------------------- */ - |