mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-16 03:24:07 +00:00
Code Issues Releases Activity

- Fix shebangs

Browse Source 
Approved by:	portmgr blanket
MFH:		2015Q3 (blanket)
This commit is contained in:
Dmitry Marakasov 2015-09-09 14:33:19 +00:00
parent ef99eb3321
commit a1baff5c39
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=396509
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
misc/otter/Makefile
View File

@ -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