diff options
| author | pgj <pgj@FreeBSD.org> | 2010-06-23 06:08:57 +0800 |
|---|---|---|
| committer | pgj <pgj@FreeBSD.org> | 2010-06-23 06:08:57 +0800 |
| commit | 02d25a1a2e6edf03950f5017172898eaa19c9df6 (patch) | |
| tree | 44d60d078d51d8ebd975e1167eb745e52d05285d /lang/mlton/files | |
| parent | 3b2555cd4237654f682c6c461a2a2c95758b7fd5 (diff) | |
| download | freebsd-ports-gnome-02d25a1a2e6edf03950f5017172898eaa19c9df6.tar.gz freebsd-ports-gnome-02d25a1a2e6edf03950f5017172898eaa19c9df6.tar.zst freebsd-ports-gnome-02d25a1a2e6edf03950f5017172898eaa19c9df6.zip | |
- Unbreak build
- Update master sites
- Prevent building documentation when NOPORTDOCS defined
- Fix dependency on math/mingw32-libgmp4
- Adapt boostrap to the recent GMP update
- Respect LOCALBASE (added by pgj)
PR: ports/147278
Submitted by: Vitaly Magerya <vmagerya@gmail.com>
Approved by: maintainer
Feature safe: yes
Diffstat (limited to 'lang/mlton/files')
| -rw-r--r-- | lang/mlton/files/patch-..-mlton-bootstrap-lib-mlton-include-cenv.h | 11 |
1 files changed, 11 insertions, 0 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 new file mode 100644 index 000000000000..d2284f1c914b --- /dev/null +++ b/lang/mlton/files/patch-..-mlton-bootstrap-lib-mlton-include-cenv.h @@ -0,0 +1,11 @@ +--- ../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*)); |