diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2006-09-28 17:12:19 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2006-09-28 17:12:19 +0000 |
| commit | 97aab5b1c444ee51834e86ed604e88cc9ea1baf1 (patch) | |
| tree | 6c1e6d569853b213a58cefb5e06c3f87ea1e8932 | |
| parent | 7691be7ceeef77f469de0733c84f8a445cd050b1 (diff) | |
| download | ports-97aab5b1c444ee51834e86ed604e88cc9ea1baf1.tar.gz ports-97aab5b1c444ee51834e86ed604e88cc9ea1baf1.zip | |
Notes
| -rw-r--r-- | math/cvcl/Makefile | 14 | ||||
| -rw-r--r-- | math/cvcl/files/patch-configure | 11 |
2 files changed, 18 insertions, 7 deletions
diff --git a/math/cvcl/Makefile b/math/cvcl/Makefile index a085838fb9b2..ad66922f0b9d 100644 --- a/math/cvcl/Makefile +++ b/math/cvcl/Makefile @@ -13,18 +13,18 @@ MASTER_SITES= http://www.cs.nyu.edu/acsys/cvcl/download/ MAINTAINER= lwhsu@lwhsu.org COMMENT= An automatic theorem prover for the SMT problem -LIB_DEPENDS= gmp.7:${PORTSDIR}/math/libgmp4 +LIB_DEPENDS= gmp:${PORTSDIR}/math/libgmp4 -USE_GMAKE= yes -USE_BISON= yes -USE_LDCONFIG= yes - -GNU_CONFIGURE= yes CONFIGURE_ARGS= --with-arith=gmp \ --with-extra-libs=${LOCALBASE}/lib \ --with-extra-includes=${LOCALBASE}/include \ --with-build=optimized +CXXFLAGS+= -fPIC +GNU_CONFIGURE= yes +USE_BISON= yes +USE_GMAKE= yes +USE_LDCONFIG= yes -WRKSRC= ${WRKDIR}/cvcl-20060527 +WRKSRC= ${WRKDIR}/cvcl-20060527 .include <bsd.port.mk> diff --git a/math/cvcl/files/patch-configure b/math/cvcl/files/patch-configure new file mode 100644 index 000000000000..4b87c64d4d6f --- /dev/null +++ b/math/cvcl/files/patch-configure @@ -0,0 +1,11 @@ +--- configure.orig Sat May 27 13:23:58 2006 ++++ configure Wed Sep 27 11:52:11 2006 +@@ -1371,7 +1371,7 @@ + + + RUN_TESTS_OPTIONS="" +-CXXFLAGS="" ++#CXXFLAGS="" + + + # Check whether --with-build or --without-build was given. |