svn commit: r346925 - head/math/stp

[Li-Wen Hsu]

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 at 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 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: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