diff options
Diffstat (limited to 'math/cvc3/Makefile')
| -rw-r--r-- | math/cvc3/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile index 2b4dd659a13f..b5d1d2346f5a 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -18,12 +18,8 @@ CONFIGURE_ARGS= --enable-dynamic \ --with-extra-libs=${LOCALBASE}/lib CXXFLAGS+= -fPIC GNU_CONFIGURE= yes -USES= bison -USE_GMAKE= yes +USES= bison gmake perl5 USE_LDCONFIG= yes -USE_PERL5= yes - -.include <bsd.port.pre.mk> post-patch: ${REINPLACE_CMD} -e 's,/bin/bash,/bin/sh,' ${WRKSRC}/Makefile.std @@ -33,4 +29,4 @@ post-patch: post-install: ${INSTALL_PROGRAM} `readlink ${WRKSRC}/bin/cvc3` ${PREFIX}/bin -.include <bsd.port.post.mk> +.include <bsd.port.mk> |