From owner-svn-ports-head@FreeBSD.ORG Mon Mar 3 16:21:04 2014 Return-Path: Delivered-To: svn-ports-head@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 11E6F431; Mon, 3 Mar 2014 16:21:04 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id F27A7B4A; Mon, 3 Mar 2014 16:21:03 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.8/8.14.8) with ESMTP id s23GL33a099297; Mon, 3 Mar 2014 16:21:03 GMT (envelope-from lwhsu@svn.freebsd.org) Received: (from lwhsu@localhost) by svn.freebsd.org (8.14.8/8.14.8/Submit) id s23GL3HZ099294; Mon, 3 Mar 2014 16:21:03 GMT (envelope-from lwhsu@svn.freebsd.org) Message-Id: <201403031621.s23GL3HZ099294@svn.freebsd.org> From: Li-Wen Hsu Date: Mon, 3 Mar 2014 16:21:03 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r346925 - head/math/stp X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.17 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 03 Mar 2014 16:21:04 -0000 Author: lwhsu Date: Mon Mar 3 16:21:03 2014 New Revision: 346925 URL: http://svnweb.freebsd.org/changeset/ports/346925 QAT: https://qat.redports.org/buildarchive/r346925/ Log: - Update to revision 1436 PR: ports/186512 Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) Modified: head/math/stp/Makefile head/math/stp/distinfo head/math/stp/pkg-descr Modified: head/math/stp/Makefile ============================================================================== --- head/math/stp/Makefile Mon Mar 3 15:52:20 2014 (r346924) +++ head/math/stp/Makefile Mon Mar 3 16:21:03 2014 (r346925) @@ -2,52 +2,31 @@ # $FreeBSD$ PORTNAME= stp -PORTVERSION= 1407 +PORTVERSION= 1436 CATEGORIES= math -MASTER_SITES= http://people.cs.nctu.edu.tw/~lwhsu/ports/distfiles/ -DISTNAME= stp-fast-prover-r${PORTVERSION} +MASTER_SITES= http://intara.arrowdodger.ru/ MAINTAINER= 6yearold@gmail.com COMMENT= A Decision Procedure for Bitvectors and Arrays LICENSE= MIT -USES= bison gmake perl5 -USE_BZIP2= yes -USE_PERL5= build - -CONFIGURE_SCRIPT= scripts/configure -CONFIGURE_ARGS= --with-prefix=${PREFIX} \ - --with-gcc=${CC} \ - --with-g++=${CXX} \ - --with-fpic - -PLIST_FILES= bin/stp \ - include/stp/c_interface.h \ - include/stp/fdstream.h \ - lib/libstp.a -PLIST_DIRS= include/stp - -NO_STAGE= yes -post-patch: - @${ECHO_CMD} ${PORTVERSION} > ${WRKSRC}/src/main/versionString.stamp - @${REINPLACE_CMD} -e 's/bash/sh/' ${WRKSRC}/scripts/Makefile.common -.if defined(WITH_DEBUG) - @${REINPLACE_CMD} -e 's/-DNDEBUG//; s/-O3/-O0/; s/-fomit-frame-pointer//' \ - ${WRKSRC}/scripts/Makefile.common -.endif +LIB_DEPENDS= libboost_program_options.so:${PORTSDIR}/devel/boost-libs \ + libboost_system.so:${PORTSDIR}/devel/boost-libs -do-configure: - cd ${WRKSRC} && ${CONFIGURE_SCRIPT} ${CONFIGURE_ARGS} +USES= bison:build cmake perl5 +USE_PERL5= build +USE_XZ= yes +CMAKE_ARGS= -DFL_LIBRARY=/usr/lib/libfl.a .include -.if (${OSVERSION} < 802502) -IGNORE= stp needs log2(3) +.if (${OSVERSION} < 1000000) +BUILD_DEPENDS+=flex>=2.5.38:${PORTSDIR}/textproc/flex .endif -.if ${ARCH} == "ia64" || ${ARCH} == "powerpc" || ${ARCH} == "sparc64" -BROKEN= Does not compile on ia64, powerpc, or sparc64: unrecognized command line option -march=native +.if (${OSVERSION} < 802502) +IGNORE= stp needs log2(3) .endif .include Modified: head/math/stp/distinfo ============================================================================== --- head/math/stp/distinfo Mon Mar 3 15:52:20 2014 (r346924) +++ head/math/stp/distinfo Mon Mar 3 16:21:03 2014 (r346925) @@ -1,2 +1,2 @@ -SHA256 (stp-fast-prover-r1407.tar.bz2) = 8d8eadac2b5d73ab78687540d90f407091c8b0ceeb15fa92afcfb68cf554e8a1 -SIZE (stp-fast-prover-r1407.tar.bz2) = 3793357 +SHA256 (stp-1436.tar.xz) = 511b3f8c9e6103410e3ce2fe552dec4177fcae198e78be81a3c298328f778075 +SIZE (stp-1436.tar.xz) = 2964512 Modified: head/math/stp/pkg-descr ============================================================================== --- head/math/stp/pkg-descr Mon Mar 3 15:52:20 2014 (r346924) +++ head/math/stp/pkg-descr Mon Mar 3 16:21:03 2014 (r346925) @@ -11,4 +11,4 @@ and the output of STP is a single bit of the formula is satisfiable or not. If the input is satisfiable, then it also generates a variable assignment to satisfy the input formula. -WWW: http://people.csail.mit.edu/vganesh/STP_files/stp.html +WWW: http://people.csail.mit.edu/vganesh/STP_files/stp.html