diff options
| author | pav <pav@FreeBSD.org> | 2006-09-29 01:12:19 +0800 |
|---|---|---|
| committer | pav <pav@FreeBSD.org> | 2006-09-29 01:12:19 +0800 |
| commit | e01957807f5d822ab477e484ff783e86968461e5 (patch) | |
| tree | 3ed290fe9292234029959c197e9877b02e7422a2 /math/cvcl | |
| parent | ef2901f187df2195ac4f48f8a45b01794b9cd51f (diff) | |
| download | freebsd-ports-gnome-e01957807f5d822ab477e484ff783e86968461e5.tar.gz freebsd-ports-gnome-e01957807f5d822ab477e484ff783e86968461e5.tar.zst freebsd-ports-gnome-e01957807f5d822ab477e484ff783e86968461e5.zip | |
- Fix build on amd64
- Respect CXXFLAGS
PR: ports/103768
Submitted by: Li-Wen Hsu <lwhsu@lwhsu.org> (maintainer)
Diffstat (limited to 'math/cvcl')
| -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. |