sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-18 17:59:20 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

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

Browse source
This commit is contained in:
Li-Wen Hsu 2013-11-13 15:55:09 +00:00
parent 15a886eb51
commit bdf601ddb9
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=333703
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
math/cvc3/Makefile
View file

@ -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