- Update to revision 1407

- Pass maintainership to arrowdodger <6yearold@gmail.com>

Original patch by:	arrowdodger <6yearold@gmail.com>
Feature safe:	yes

math/stp/Makefile

@@ -6,35 +6,44 @@
 #
 
 PORTNAME=	stp
-DISTVERSIONPREFIX=	ver-
-DISTVERSION=	0.1
-DISTVERSIONSUFFIX=	-11-18-2008
-PORTREVISION=	1
+PORTVERSION=	1407
 CATEGORIES=	math
-MASTER_SITES=	SF/${PORTNAME}-fast-prover/${PORTNAME}-fast-prover/${PORTNAME}-ver-${PORTVERSION}
-EXTRACT_SUFX=	.tgz
+MASTER_SITES=	http://people.cs.nctu.edu.tw/~lwhsu/ports/distfiles/
+DISTNAME=	stp-fast-prover-r${PORTVERSION}
 
-MAINTAINER=	lwhsu@FreeBSD.org
+MAINTAINER=	6yearold@gmail.com
 COMMENT=	A Decision Procedure for Bitvectors and Arrays
 
+LICENSE=	MIT
+
 USE_BISON=	build
+USE_BZIP2=	yes
 USE_GMAKE=	yes
 USE_PERL5_BUILD=	yes
 
+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
 
+post-patch:
+	@${ECHO_CMD} ${PORTVERSION} > ${WRKSRC}/src/main/versionString.stamp
+	@${REINPLACE_CMD} -e 's/bash/sh/' ${WRKSRC}/scripts/Makefile.common
+
 do-configure:
-	${ECHO_CMD} "PREFIX=${PREFIX}" > ${WRKSRC}/config.info
-	${CP} ${WRKSRC}/Makefile.in ${WRKSRC}/Makefile
+	cd ${WRKSRC} && ${CONFIGURE_SCRIPT} ${CONFIGURE_ARGS}
 
-do-install:
-	${INSTALL_PROGRAM} ${WRKSRC}/bin/stp ${PREFIX}/bin
-	${INSTALL_DATA} ${WRKSRC}/lib/libstp.a ${PREFIX}/lib
-	${MKDIR} ${PREFIX}/include/stp
-	${INSTALL_DATA} ${WRKSRC}/c_interface/*.h ${PREFIX}/include/stp
+.include <bsd.port.pre.mk>
 
-.include <bsd.port.mk>
+.if (${OSVERSION} < 802502)
+IGNORE=	stp needs log2(3)
+.endif
+
+.include <bsd.port.post.mk>

math/stp/distinfo

@@ -1,2 +1,2 @@
-SHA256 (stp-ver-0.1-11-18-2008.tgz) = ef16567235495119b395392e306abbef65902ce3a2a67d343742343319b1b18a
-SIZE (stp-ver-0.1-11-18-2008.tgz) = 18366530
+SHA256 (stp-fast-prover-r1407.tar.bz2) = 8d8eadac2b5d73ab78687540d90f407091c8b0ceeb15fa92afcfb68cf554e8a1
+SIZE (stp-fast-prover-r1407.tar.bz2) = 3793357