ports/103768: [MAINTAINER] math/cvcl: Fix build error on amd64

[Li-Wen Hsu]

>Number:         103768
>Category:       ports
>Synopsis:       [MAINTAINER] math/cvcl: Fix build error on amd64
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Thu Sep 28 16:50:18 GMT 2006
>Closed-Date:
>Last-Modified:
>Originator:     Li-Wen Hsu
>Release:        FreeBSD 6.1-STABLE i386
>Organization:
>Environment:
System: FreeBSD knight.lwhsu.ckefgisc.org 6.1-STABLE FreeBSD 6.1-STABLE #0: Thu Sep  7 14:15:03 CST
>Description:
- Fix build error on amd64
- Respect CXXFLAGS


Added file(s):
- files/patch-configure

Generated with FreeBSD Port Tools 0.77
>How-To-Repeat:
>Fix:

--- cvcl-2.5.1_1.patch begins here ---
diff -ruN --exclude=CVS /usr/ports/math/cvcl/Makefile /home/lwhsu/ports/math/cvcl/Makefile
--- /usr/ports/math/cvcl/Makefile	Wed Sep 20 09:42:03 2006
+++ /home/lwhsu/ports/math/cvcl/Makefile	Wed Sep 27 12:12:52 2006
@@ -7,24 +7,25 @@
 
 PORTNAME=	cvcl
 PORTVERSION=	2.5.1
+PORTREVISION=	1
 CATEGORIES=	math
 MASTER_SITES=	http://www.cs.nyu.edu/acsys/cvcl/download/
 
 MAINTAINER=	lwhsu at 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 -ruN --exclude=CVS /usr/ports/math/cvcl/files/patch-configure /home/lwhsu/ports/math/cvcl/files/patch-configure
--- /usr/ports/math/cvcl/files/patch-configure	Thu Jan  1 08:00:00 1970
+++ /home/lwhsu/ports/math/cvcl/files/patch-configure	Wed Sep 27 12:12:52 2006
@@ -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.
--- cvcl-2.5.1_1.patch ends here ---

>Release-Note:
>Audit-Trail:
>Unformatted: