Date: Wed, 9 Sep 2015 14:37:06 +0000 (UTC) From: Dmitry Marakasov <amdmi3@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-branches@freebsd.org Subject: svn commit: r396510 - branches/2015Q3/misc/otter Message-ID: <201509091437.t89Eb6N3033771@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201509091437.t89Eb6N3033771>