diff options
author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2011-11-11 06:15:30 +0000 |
---|---|---|
committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2011-11-11 06:15:30 +0000 |
commit | 0af8abbfaa13e4bb4c352f56dd3c218db8cd91a2 (patch) | |
tree | 84f76291ffa27251f240c32ef0273972b1764911 /math/stp | |
parent | f88c949669d2b862beb0353249df31d0ba187d0f (diff) | |
download | ports-0af8abbfaa13e4bb4c352f56dd3c218db8cd91a2.tar.gz ports-0af8abbfaa13e4bb4c352f56dd3c218db8cd91a2.zip |
Notes
Diffstat (limited to 'math/stp')
-rw-r--r-- | math/stp/Makefile | 39 | ||||
-rw-r--r-- | math/stp/distinfo | 4 |
2 files changed, 26 insertions, 17 deletions
diff --git a/math/stp/Makefile b/math/stp/Makefile index 86bda221c686..db2801e0408a 100644 --- a/math/stp/Makefile +++ b/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} + +.include <bsd.port.pre.mk> -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 +.if (${OSVERSION} < 802502) +IGNORE= stp needs log2(3) +.endif -.include <bsd.port.mk> +.include <bsd.port.post.mk> diff --git a/math/stp/distinfo b/math/stp/distinfo index 87488d32c14b..77fde514f77d 100644 --- a/math/stp/distinfo +++ b/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 |