diff options
| author | amdmi3 <amdmi3@FreeBSD.org> | 2015-09-09 22:33:19 +0800 |
|---|---|---|
| committer | amdmi3 <amdmi3@FreeBSD.org> | 2015-09-09 22:33:19 +0800 |
| commit | d92d8097f3e9f00e85c0ba2cc22f320973126057 (patch) | |
| tree | a1b2ab24fe3613584996d3e78bde1f12c1114f74 /misc | |
| parent | 12a5d364ae71ff75d524ea8a126e19d587cab989 (diff) | |
| download | freebsd-ports-gnome-d92d8097f3e9f00e85c0ba2cc22f320973126057.tar.gz freebsd-ports-gnome-d92d8097f3e9f00e85c0ba2cc22f320973126057.tar.zst freebsd-ports-gnome-d92d8097f3e9f00e85c0ba2cc22f320973126057.zip | |
- Fix shebangs
Approved by: portmgr blanket
MFH: 2015Q3 (blanket)
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 |