diff options
| author | ale <ale@FreeBSD.org> | 2006-05-10 22:46:47 +0800 |
|---|---|---|
| committer | ale <ale@FreeBSD.org> | 2006-05-10 22:46:47 +0800 |
| commit | a9d37ca9ec71498a5826402e3ab63ed48c448da1 (patch) | |
| tree | a872f7f5dad6b2911b6a2ff03ccc48962757a279 /lang/mlton/Makefile | |
| parent | af806c34824bed7d96a2904d8c7a36813055da87 (diff) | |
| download | freebsd-ports-gnome-a9d37ca9ec71498a5826402e3ab63ed48c448da1.tar.gz freebsd-ports-gnome-a9d37ca9ec71498a5826402e3ab63ed48c448da1.tar.zst freebsd-ports-gnome-a9d37ca9ec71498a5826402e3ab63ed48c448da1.zip | |
Chase gmp library and bump PORTREVISION.
Diffstat (limited to 'lang/mlton/Makefile')
| -rw-r--r-- | lang/mlton/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index 0cda6e7d9756..ed7d8d98f0aa 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -12,6 +12,7 @@ PORTNAME= mlton PORTVERSION= 20051202 +PORTREVISION= 1 CATEGORIES= lang MASTER_SITES= http://mlton.org/pages/Download/attachments/ \ http://mlton.org/pages/Experimental/attachments/ @@ -27,7 +28,7 @@ BUILD_DEPENDS+= gsed:${PORTSDIR}/textproc/gsed \ htmldoc:${PORTSDIR}/textproc/htmldoc \ latex:${PORTSDIR}/print/teTeX .endif -LIB_DEPENDS= gmp.6:${PORTSDIR}/math/libgmp4 +LIB_DEPENDS= gmp.7:${PORTSDIR}/math/libgmp4 RUN_DEPENDS= bash:${PORTSDIR}/shells/bash SRC_DIST= ${DISTNAME}-1.freebsd.src.tgz |