svn commit: r333703 - head/math/cvc3

[Li-Wen Hsu]

Author: lwhsu
Date: Wed Nov 13 15:55:09 2013
New Revision: 333703
URL: http://svnweb.freebsd.org/changeset/ports/333703

Log:
  - Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported later

Modified:
  head/math/cvc3/Makefile

Modified: head/math/cvc3/Makefile
==============================================================================
--- head/math/cvc3/Makefile	Wed Nov 13 15:50:48 2013	(r333702)
+++ head/math/cvc3/Makefile	Wed Nov 13 15:55:09 2013	(r333703)
@@ -19,6 +19,7 @@ CONFIGURE_ARGS=	--enable-dynamic \
 CXXFLAGS+=	-fPIC
 GNU_CONFIGURE=	yes
 USES=		bison gmake perl5
+USE_GCC=	any
 USE_LDCONFIG=	yes
 
 NO_STAGE=	yes