From lwhsu@lwhsu.ckefgisc.org  Thu Sep 28 16:49:40 2006
Return-Path: <lwhsu@lwhsu.ckefgisc.org>
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 8277A16A403
	for <FreeBSD-gnats-submit@freebsd.org>; Thu, 28 Sep 2006 16:49:40 +0000 (UTC)
	(envelope-from lwhsu@lwhsu.ckefgisc.org)
Received: from knight.lwhsu.ckefgisc.org (lwhsu.Dorm7.NCTU.edu.tw [140.113.89.98])
	by mx1.FreeBSD.org (Postfix) with ESMTP id B3BAD43D46
	for <FreeBSD-gnats-submit@freebsd.org>; Thu, 28 Sep 2006 16:49:33 +0000 (GMT)
	(envelope-from lwhsu@lwhsu.ckefgisc.org)
Received: from localhost (localhost.lwhsu.ckefgisc.org [127.0.0.1])
	by knight.lwhsu.ckefgisc.org (Postfix) with ESMTP id DED0ABA77
	for <FreeBSD-gnats-submit@freebsd.org>; Fri, 29 Sep 2006 00:49:31 +0800 (CST)
Received: from knight.lwhsu.ckefgisc.org ([127.0.0.1])
	by localhost (knight.lwhsu.ckefgisc.org [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id sfA1A0+-fxMk for <FreeBSD-gnats-submit@freebsd.org>;
	Fri, 29 Sep 2006 00:49:25 +0800 (CST)
Received: by knight.lwhsu.ckefgisc.org (Postfix, from userid 65534)
	id 16FD7B98F; Fri, 29 Sep 2006 00:49:25 +0800 (CST)
Received: from knight.lwhsu.ckefgisc.org (localhost.lwhsu.ckefgisc.org [127.0.0.1])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by knight.lwhsu.ckefgisc.org (Postfix) with ESMTP id 9638FB8DB
	for <FreeBSD-gnats-submit@freebsd.org>; Fri, 29 Sep 2006 00:49:24 +0800 (CST)
Received: (from lwhsu@localhost)
	by knight.lwhsu.ckefgisc.org (8.13.8/8.13.6/Submit) id k8SGnOHi051029;
	Fri, 29 Sep 2006 00:49:24 +0800 (CST)
	(envelope-from lwhsu)
Message-Id: <200609281649.k8SGnOHi051029@knight.lwhsu.ckefgisc.org>
Date: Fri, 29 Sep 2006 00:49:24 +0800 (CST)
From: Li-Wen Hsu <lwhsu@lwhsu.org>
To: FreeBSD-gnats-submit@freebsd.org
Cc:
Subject: [MAINTAINER] math/cvcl: Fix build error on amd64
X-Send-Pr-Version: 3.113
X-GNATS-Notify:

>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:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Thu Sep 28 16:50:18 GMT 2006
>Closed-Date:    Thu Sep 28 17:12:37 GMT 2006
>Last-Modified:  Thu Sep 28 17:20:15 GMT 2006
>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@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:
State-Changed-From-To: open->closed 
State-Changed-By: pav 
State-Changed-When: Thu Sep 28 17:12:26 UTC 2006 
State-Changed-Why:  
Committed, thanks! 

http://www.freebsd.org/cgi/query-pr.cgi?pr=103768 

From: dfilter@FreeBSD.ORG (dfilter service)
To: bug-followup@FreeBSD.org
Cc:  
Subject: Re: ports/103768: commit references a PR
Date: Thu, 28 Sep 2006 17:12:25 +0000 (UTC)

 pav         2006-09-28 17:12:19 UTC
 
   FreeBSD ports repository
 
   Modified files:
     math/cvcl            Makefile 
   Added files:
     math/cvcl/files      patch-configure 
   Log:
   - Fix build on amd64
   - Respect CXXFLAGS
   
   PR:             ports/103768
   Submitted by:   Li-Wen Hsu <lwhsu@lwhsu.org> (maintainer)
   
   Revision  Changes    Path
   1.2       +7 -7      ports/math/cvcl/Makefile
   1.1       +11 -0     ports/math/cvcl/files/patch-configure (new)
 _______________________________________________
 cvs-all@freebsd.org mailing list
 http://lists.freebsd.org/mailman/listinfo/cvs-all
 To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
 
>Unformatted:
