Date: Thu, 6 Feb 2014 14:39:36 GMT From: arrowdodger <6yearold@gmail.com> To: freebsd-gnats-submit@FreeBSD.org Subject: ports/186512: [MAINTAINER UPDATE] math/stp Message-ID: <201402061439.s16Edaji000901@oldred.freebsd.org> Resent-Message-ID: <201402061440.s16Ee0FO081924@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 186512 >Category: ports >Synopsis: [MAINTAINER UPDATE] math/stp >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 Feb 06 14:40:00 UTC 2014 >Closed-Date: >Last-Modified: >Originator: arrowdodger >Release: 10-STABLE >Organization: >Environment: >Description: >How-To-Repeat: >Fix: Patch attached with submission follows: diff -ruN /usr/ports/math/stp/Makefile ./Makefile --- /usr/ports/math/stp/Makefile 2014-01-22 21:00:46.000000000 +0400 +++ ./Makefile 2014-02-06 18:28:16.577673785 +0400 @@ -1,44 +1,22 @@ # Created by: Li-Wen Hsu <lwhsu@FreeBSD.org> -# $FreeBSD: head/math/stp/Makefile 340722 2014-01-22 17:00:46Z mat $ +# $FreeBSD: math/stp/Makefile 327746 2013-09-20 20:55:04Z bapt $ 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 cmake +USE_XZ= yes +CMAKE_ARGS= -DFL_LIBRARY=/usr/lib/libfl.a .include <bsd.port.pre.mk> @@ -46,8 +24,4 @@ IGNORE= stp needs log2(3) .endif -.if ${ARCH} == "ia64" || ${ARCH} == "powerpc" || ${ARCH} == "sparc64" -BROKEN= Does not compile on ia64, powerpc, or sparc64: unrecognized command line option -march=native -.endif - .include <bsd.port.post.mk> diff -ruN /usr/ports/math/stp/distinfo ./distinfo --- /usr/ports/math/stp/distinfo 2014-01-22 19:30:13.000000000 +0400 +++ ./distinfo 2014-02-06 18:28:25.332671505 +0400 @@ -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 diff -ruN /usr/ports/math/stp/pkg-plist ./pkg-plist --- /usr/ports/math/stp/pkg-plist 1970-01-01 03:00:00.000000000 +0300 +++ ./pkg-plist 2014-01-23 23:03:54.764433349 +0400 @@ -0,0 +1,9 @@ +bin/stp +include/stp/c_interface.h +include/stp/cpp_interface.h +lib/cmake/STP/STPConfig.cmake +lib/cmake/STP/STPTargets.cmake +lib/cmake/STP/STPTargets-release.cmake +lib/libstp.a +@dirrm lib/cmake/STP/ +@dirrm include/stp \ No newline at end of file >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201402061439.s16Edaji000901>