From owner-freebsd-ports-bugs@FreeBSD.ORG Thu Feb 6 14:40:00 2014 Return-Path: Delivered-To: freebsd-ports-bugs@smarthost.ysv.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 DAF9C8C8 for ; Thu, 6 Feb 2014 14:40:00 +0000 (UTC) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2001:1900:2254:206c::16:87]) (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 B4A4B1C3A for ; Thu, 6 Feb 2014 14:40:00 +0000 (UTC) Received: from freefall.freebsd.org (localhost [127.0.0.1]) by freefall.freebsd.org (8.14.7/8.14.7) with ESMTP id s16Ee0uh081925 for ; Thu, 6 Feb 2014 14:40:00 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.14.8/8.14.8/Submit) id s16Ee0FO081924; Thu, 6 Feb 2014 14:40:00 GMT (envelope-from gnats) Resent-Date: Thu, 6 Feb 2014 14:40:00 GMT Resent-Message-Id: <201402061440.s16Ee0FO081924@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, arrowdodger <6yearold@gmail.com> Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 888748B3 for ; Thu, 6 Feb 2014 14:39:36 +0000 (UTC) Received: from oldred.freebsd.org (oldred.freebsd.org [IPv6:2001:1900:2254:206a::50:4]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id 671CC1C34 for ; Thu, 6 Feb 2014 14:39:36 +0000 (UTC) Received: from oldred.freebsd.org ([127.0.1.6]) by oldred.freebsd.org (8.14.5/8.14.7) with ESMTP id s16Edafi000902 for ; Thu, 6 Feb 2014 14:39:36 GMT (envelope-from nobody@oldred.freebsd.org) Received: (from nobody@localhost) by oldred.freebsd.org (8.14.5/8.14.5/Submit) id s16Edaji000901; Thu, 6 Feb 2014 14:39:36 GMT (envelope-from nobody) Message-Id: <201402061439.s16Edaji000901@oldred.freebsd.org> Date: Thu, 6 Feb 2014 14:39:36 GMT From: arrowdodger <6yearold@gmail.com> To: freebsd-gnats-submit@FreeBSD.org X-Send-Pr-Version: www-3.1 Subject: ports/186512: [MAINTAINER UPDATE] math/stp X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.17 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 06 Feb 2014 14:40:00 -0000 >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 -# $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 @@ -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 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: