diff options
| author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2008-12-24 20:51:30 +0000 |
|---|---|---|
| committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2008-12-24 20:51:30 +0000 |
| commit | 4553448013211da06c628b6bced9b7f012808a43 (patch) | |
| tree | 9d0eacdf8ee5db2c66e5023292f07d749974ad6c /math/stp/Makefile | |
| parent | b26694104e3e404342deb22093e2faec245a4c1a (diff) | |
- Update to 0.1-11-18-2008
Notes
Notes:
svn path=/head/; revision=224711
Diffstat (limited to 'math/stp/Makefile')
| -rw-r--r-- | math/stp/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/stp/Makefile b/math/stp/Makefile index 20d8e0b952c2..dbddd764cca0 100644 --- a/math/stp/Makefile +++ b/math/stp/Makefile @@ -8,10 +8,12 @@ PORTNAME= stp DISTVERSIONPREFIX= ver- DISTVERSION= 0.1 -DISTVERSIONSUFFIX= -02-26-2008 +DISTVERSIONSUFFIX= -11-18-2008 +PORTREVISION= 1 CATEGORIES= math MASTER_SITES= SF MASTER_SITE_SUBDIR= stp-fast-prover +EXTRACT_SUFX= .tgz MAINTAINER= lwhsu@FreeBSD.org COMMENT= A Decision Procedure for Bitvectors and Arrays @@ -20,8 +22,6 @@ USE_BISON= build USE_GMAKE= yes USE_PERL5_BUILD= yes -WRKSRC= ${WRKDIR}/stp - PLIST_FILES= bin/stp \ include/stp/c_interface.h \ include/stp/fdstream.h \ |