aboutsummaryrefslogtreecommitdiff
path: root/lang/moscow_ml
diff options
context:
space:
mode:
authorAlex Dupre <ale@FreeBSD.org>2010-04-19 10:43:42 +0000
committerAlex Dupre <ale@FreeBSD.org>2010-04-19 10:43:42 +0000
commitbf330a57d40cb5c6f57f61de4d24c0dcbf14dbee (patch)
treefbc3a0515acb659ae86ec22a706ac4607711c903 /lang/moscow_ml
parent7db76e2b98b1517c19aa3a79957ac3b37bf853ae (diff)
downloadports-bf330a57d40cb5c6f57f61de4d24c0dcbf14dbee.tar.gz
ports-bf330a57d40cb5c6f57f61de4d24c0dcbf14dbee.zip
Switch to use newer GMP version.
PR: ports/144487 Submitted by: ale Approved by: portmgr (-exp run by erwin)
Notes
Notes: svn path=/head/; revision=252906
Diffstat (limited to 'lang/moscow_ml')
-rw-r--r--lang/moscow_ml/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/moscow_ml/Makefile b/lang/moscow_ml/Makefile
index 7a4ded2c176f..620146f066a9 100644
--- a/lang/moscow_ml/Makefile
+++ b/lang/moscow_ml/Makefile
@@ -7,7 +7,7 @@
PORTNAME= moscow_ml
PORTVERSION= 2.01
-PORTREVISION= 3
+PORTREVISION= 4
CATEGORIES= lang
MASTER_SITES= http://www.dina.kvl.dk/~sestoft/mosml/
DISTNAME= mos201src
@@ -15,7 +15,7 @@ DISTNAME= mos201src
MAINTAINER= johans@FreeBSD.org
COMMENT= Moscow ML, a lightweight implementation of Standard ML
-LIB_DEPENDS= gmp.8:${PORTSDIR}/math/libgmp4 \
+LIB_DEPENDS= gmp.10:${PORTSDIR}/math/gmp \
gdbm.3:${PORTSDIR}/databases/gdbm
RESTRICTED= Restrictions on for-profit distribution.