diff options
| author | ale <ale@FreeBSD.org> | 2010-04-19 18:43:42 +0800 |
|---|---|---|
| committer | ale <ale@FreeBSD.org> | 2010-04-19 18:43:42 +0800 |
| commit | 6258613c3c402b1d7b5730e8a607d26dbb258755 (patch) | |
| tree | fad3dbf503818032309e7103e30c646b5b51fdb7 /lang/mlton | |
| parent | dfb5167da9e4fc0c1a6e54c5bc4678fc695d9571 (diff) | |
| download | freebsd-ports-gnome-6258613c3c402b1d7b5730e8a607d26dbb258755.tar.gz freebsd-ports-gnome-6258613c3c402b1d7b5730e8a607d26dbb258755.tar.zst freebsd-ports-gnome-6258613c3c402b1d7b5730e8a607d26dbb258755.zip | |
Switch to use newer GMP version.
PR: ports/144487
Submitted by: ale
Approved by: portmgr (-exp run by erwin)
Diffstat (limited to 'lang/mlton')
| -rw-r--r-- | lang/mlton/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index 2dddefd7545c..fdeb7a7f89e9 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -12,7 +12,7 @@ PORTNAME= mlton PORTVERSION= 20070826 -PORTREVISION= 6 +PORTREVISION= 7 CATEGORIES= lang MASTER_SITES= http://mlton.org/pages/Download/attachments/ \ http://mlton.org/pages/Experimental/attachments/ \ @@ -24,7 +24,7 @@ EXTRACT_ONLY= ${SRC_DIST} MAINTAINER= jesper.louis.andersen@gmail.com COMMENT= An optimizing Standard ML compiler -LIB_DEPENDS= gmp.8:${PORTSDIR}/math/libgmp4 +LIB_DEPENDS= gmp.10:${PORTSDIR}/math/gmp RUN_DEPENDS= bash:${PORTSDIR}/shells/bash BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash |