diff options
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/otter/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/misc/otter/Makefile b/misc/otter/Makefile index a86e432769f5..f940e257ab61 100644 --- a/misc/otter/Makefile +++ b/misc/otter/Makefile @@ -3,13 +3,16 @@ PORTNAME= otter PORTVERSION= 3.3f -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= misc MASTER_SITES= http://www-unix.mcs.anl.gov/AR/otter/dist33/ MAINTAINER= wollman@FreeBSD.org COMMENT= Theorem prover and finite model searcher +USES= shebangfix +SHEBANG_FILES= examples-mace2/Perl-examples/commute4_filter + MAKE_ARGS= CC="${CC}" CFLAGS="${CFLAGS}" PROGRAMS= anldp mace2 otter |