Date: Wed, 13 Nov 2013 15:55:10 +0000 (UTC) From: Li-Wen Hsu <lwhsu@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r333703 - head/math/cvc3 Message-ID: <201311131555.rADFtAm4089580@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201311131555.rADFtAm4089580>