aboutsummaryrefslogtreecommitdiff
path: root/lang/maude
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/maude
parent7db76e2b98b1517c19aa3a79957ac3b37bf853ae (diff)
downloadports-bf330a57d40cb5c6f57f61de4d24c0dcbf14dbee.tar.gz
ports-bf330a57d40cb5c6f57f61de4d24c0dcbf14dbee.zip
Notes
Diffstat (limited to 'lang/maude')
-rw-r--r--lang/maude/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile
index 74378f054149..c3a24df59159 100644
--- a/lang/maude/Makefile
+++ b/lang/maude/Makefile
@@ -7,7 +7,7 @@
PORTNAME= maude
PORTVERSION= 2.3
-PORTREVISION= 1
+PORTREVISION= 2
CATEGORIES= lang
MASTER_SITES= http://maude.cs.uiuc.edu/versions/${PORTVERSION}/
DISTNAME= Maude-${PORTVERSION}
@@ -17,7 +17,7 @@ COMMENT= A high-performance reflective language
LIB_DEPENDS= bdd:${PORTSDIR}/science/buddy \
tecla:${PORTSDIR}/devel/libtecla \
- gmp:${PORTSDIR}/math/libgmp4
+ gmp:${PORTSDIR}/math/gmp
USE_BISON= build
USE_AUTOTOOLS= aclocal:19 automake:19