diff options
author | stephen <stephen@FreeBSD.org> | 2011-12-26 01:24:01 +0800 |
---|---|---|
committer | stephen <stephen@FreeBSD.org> | 2011-12-26 01:24:01 +0800 |
commit | d46a1808e0ef82b816e99b7a9e33050e0f3cc2fa (patch) | |
tree | daac5e5b8c0e492e08b8485e3d777562a577f65c /lang/mlton | |
parent | 1c113bde63e8072a5db32d3561b1a14b8ba41985 (diff) | |
download | freebsd-ports-gnome-d46a1808e0ef82b816e99b7a9e33050e0f3cc2fa.tar.gz freebsd-ports-gnome-d46a1808e0ef82b816e99b7a9e33050e0f3cc2fa.tar.zst freebsd-ports-gnome-d46a1808e0ef82b816e99b7a9e33050e0f3cc2fa.zip |
- Chase math/mingw32-libgmp4 moving to math/mingw32-libgmp.
- Bump portrevision.
PR: ports/163187 and ports/163520
Submitted by: Naram Qashat <cyberbotx@cyberbotx.com>
Diffstat (limited to 'lang/mlton')
-rw-r--r-- | lang/mlton/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index f0a52eabd2a5..d3a556d856c5 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -12,7 +12,7 @@ PORTNAME= mlton PORTVERSION= 20070826 -PORTREVISION= 8 +PORTREVISION= 9 CATEGORIES= lang MASTER_SITES= http://mlton.org/pages/Download/attachments/ \ http://mlton.org/pages/Experimental/attachments/ \ @@ -61,9 +61,9 @@ MAKE_ENV+= LD_LIBMAP=libgmp.so.7=libgmp.so.10 .if defined(WITH_MINGW32) BUILD_DEPENDS+= wine:${PORTSDIR}/emulators/wine \ mingw32-gcc:${PORTSDIR}/devel/mingw32-gcc \ - ${LOCALBASE}/mingw32/lib/libgmp.a:${PORTSDIR}/math/mingw32-libgmp4 + ${LOCALBASE}/mingw32/lib/libgmp.a:${PORTSDIR}/math/mingw32-libgmp RUN_DEPENDS+= mingw32-gcc:${PORTSDIR}/devel/mingw32-gcc \ - ${LOCALBASE}/mingw32/lib/libgmp.a:${PORTSDIR}/math/mingw32-libgmp4 + ${LOCALBASE}/mingw32/lib/libgmp.a:${PORTSDIR}/math/mingw32-libgmp PLIST_SUB+= MINGW32CROSS="" .else |