aboutsummaryrefslogtreecommitdiffstats
path: root/math/cvc3
diff options
context:
space:
mode:
authorbapt <bapt@FreeBSD.org>2013-09-21 04:55:04 +0800
committerbapt <bapt@FreeBSD.org>2013-09-21 04:55:04 +0800
commitdd97722379d86bbad461eb7c042a07cd39ba24f9 (patch)
tree1c069c3c993156dc583330fa958afbe99bb4966e /math/cvc3
parent1501b6b943ee42d59492aa3a88b2e2599996f827 (diff)
downloadfreebsd-ports-gnome-dd97722379d86bbad461eb7c042a07cd39ba24f9.tar.gz
freebsd-ports-gnome-dd97722379d86bbad461eb7c042a07cd39ba24f9.tar.zst
freebsd-ports-gnome-dd97722379d86bbad461eb7c042a07cd39ba24f9.zip
Add NO_STAGE all over the place in preparation for the staging support (cat: math)
Diffstat (limited to 'math/cvc3')
-rw-r--r--math/cvc3/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile
index b5d1d2346f5a..10b46b015efe 100644
--- a/math/cvc3/Makefile
+++ b/math/cvc3/Makefile
@@ -21,6 +21,7 @@ GNU_CONFIGURE= yes
USES= bison gmake perl5
USE_LDCONFIG= yes
+NO_STAGE= yes
post-patch:
${REINPLACE_CMD} -e 's,/bin/bash,/bin/sh,' ${WRKSRC}/Makefile.std
${REINPLACE_CMD} -e 's,.*$$(LDCONFIG).*,,' ${WRKSRC}/src/Makefile