Date: Mon, 3 Mar 2014 16:21:03 +0000 (UTC) From: Li-Wen Hsu <lwhsu@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r346925 - head/math/stp Message-ID: <201403031621.s23GL3HZ099294@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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 <bsd.port.pre.mk> -.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 <bsd.port.post.mk> 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201403031621.s23GL3HZ099294>