diff --git a/lang/maude/Makefile b/lang/maude/Makefile
index 58bc06affeef..a05a91930a8b 100644
--- a/lang/maude/Makefile
+++ b/lang/maude/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	maude
 PORTVERSION=	2.7.1
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	lang
 MASTER_SITES=	http://maude.cs.illinois.edu/w/images/d/d8/
 DISTNAME=	Maude-${PORTVERSION}
@@ -29,12 +29,13 @@ MAKE_JOBS_UNSAFE=	yes
 
 OPTIONS_SUB=		yes
 OPTIONS_DEFINE=		DOCS FULL_MAUDE CVC4
-OPTIONS_DEFAULT=	FULL_MAUDE CVC4
+OPTIONS_DEFAULT=	FULL_MAUDE #CVC4
 FULL_MAUDE_DESC=	Install full-maude
 CVC4_DESC=		Enable SMT support via CVC4
 
-CVC4_LIB_DEPENDS=	libcvc4.so:math/cvc4
+CVC4_LIB_DEPENDS=	libcvc5.so:math/cvc5
 CVC4_CONFIGURE_WITH=	cvc4
+CVC4_BROKEN=		maude uses cvc4 which has been succeeded by cvc5
 
 PORTDOCS=	AUTHORS COPYING ChangeLog INSTALL NEWS README