diff options
| author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2014-03-03 16:21:03 +0000 |
|---|---|---|
| committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2014-03-03 16:21:03 +0000 |
| commit | 3cda882ced87986b961b60922e409ddd4ec0bcba (patch) | |
| tree | 4d94bee8da37f9856b292c08c8caca0499dc193c /math | |
| parent | d710874f5d3c8f56360da236018da7d61d6a5928 (diff) | |
| download | ports-3cda882ced87986b961b60922e409ddd4ec0bcba.tar.gz ports-3cda882ced87986b961b60922e409ddd4ec0bcba.zip | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/stp/Makefile | 45 | ||||
| -rw-r--r-- | math/stp/distinfo | 4 | ||||
| -rw-r--r-- | math/stp/pkg-descr | 2 |
3 files changed, 15 insertions, 36 deletions
diff --git a/math/stp/Makefile b/math/stp/Makefile index 4d5b6b15631d..61f4683fafce 100644 --- a/math/stp/Makefile +++ b/math/stp/Makefile @@ -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@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> diff --git a/math/stp/distinfo b/math/stp/distinfo index 77fde514f77d..3b5e7afd67ef 100644 --- a/math/stp/distinfo +++ b/math/stp/distinfo @@ -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 --git a/math/stp/pkg-descr b/math/stp/pkg-descr index b8fcb3c687cb..43995f11f06f 100644 --- a/math/stp/pkg-descr +++ b/math/stp/pkg-descr @@ -11,4 +11,4 @@ and the output of STP is a single bit of information that indicates whether 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 |