Date: Wed, 9 Sep 2015 14:33:20 +0000 (UTC) From: Dmitry Marakasov <amdmi3@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r396509 - head/misc/otter Message-ID: <201509091433.t89EXK9r033469@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: amdmi3 Date: Wed Sep 9 14:33:19 2015 New Revision: 396509 URL: https://svnweb.freebsd.org/changeset/ports/396509 Log: - Fix shebangs Approved by: portmgr blanket MFH: 2015Q3 (blanket) Modified: head/misc/otter/Makefile Modified: head/misc/otter/Makefile ============================================================================== --- head/misc/otter/Makefile Wed Sep 9 14:31:35 2015 (r396508) +++ head/misc/otter/Makefile Wed Sep 9 14:33:19 2015 (r396509) @@ -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?201509091433.t89EXK9r033469>