From d92d8097f3e9f00e85c0ba2cc22f320973126057 Mon Sep 17 00:00:00 2001 From: amdmi3 Date: Wed, 9 Sep 2015 14:33:19 +0000 Subject: - Fix shebangs Approved by: portmgr blanket MFH: 2015Q3 (blanket) --- misc/otter/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'misc') 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 -- cgit