Date: Fri, 29 Sep 2006 00:49:24 +0800 (CST) From: Li-Wen Hsu <lwhsu@lwhsu.org> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/103768: [MAINTAINER] math/cvcl: Fix build error on amd64 Message-ID: <200609281649.k8SGnOHi051029@knight.lwhsu.ckefgisc.org> Resent-Message-ID: <200609281650.k8SGoIr4063025@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>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@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:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200609281649.k8SGnOHi051029>