svn commit: r396510 - branches/2015Q3/misc/otter

[Dmitry Marakasov]

Author: amdmi3
Date: Wed Sep  9 14:37:05 2015
New Revision: 396510
URL: https://svnweb.freebsd.org/changeset/ports/396510

Log:
  MFH: r396509
  
  - Fix shebangs
  
  Approved by:	portmgr blanket
  Approved by:	ports-secteam shebang fix blanket

Modified:
  branches/2015Q3/misc/otter/Makefile
Directory Properties:
  branches/2015Q3/   (props changed)

Modified: branches/2015Q3/misc/otter/Makefile
==============================================================================
--- branches/2015Q3/misc/otter/Makefile	Wed Sep  9 14:33:19 2015	(r396509)
+++ branches/2015Q3/misc/otter/Makefile	Wed Sep  9 14:37:05 2015	(r396510)
@@ -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 at 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