ports/186512: [MAINTAINER UPDATE] math/stp

[arrowdodger]

>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 at 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 at 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
+ at dirrm lib/cmake/STP/
+ at dirrm include/stp
\ No newline at end of file


>Release-Note:
>Audit-Trail:
>Unformatted: