# New ports collection makefile for:	otter
# Date created:         2006-02-04
# Whom:                 wollman
#
# $FreeBSD$
#

PORTNAME=	otter
PORTVERSION=	3.3f
PORTREVISION=	1
CATEGORIES=	misc
MASTER_SITES=	http://www-unix.mcs.anl.gov/AR/otter/dist33/

MAINTAINER=	wollman@FreeBSD.org
COMMENT=	A theorem prover and finite model searcher

PROGRAMS=	anldp mace2 otter
PORTDOCS=	README anldp.pdf mace2.pdf otter33.pdf

post-patch:
	@${REINPLACE_CMD} -e 's|CC=gcc|CC=$$(CC) CFLAGS="$$(CFLAGS)"|g' \
		${WRKSRC}/Makefile

do-install:
.for prog in ${PROGRAMS}
	${INSTALL_PROGRAM} ${WRKSRC}/bin/${prog} ${PREFIX}/bin
.endfor
.if !defined(NOPORTDOCS)
	${MKDIR} ${DOCSDIR}
.for doc in ${PORTDOCS}
	${INSTALL_DATA} ${WRKSRC}/documents/${doc} ${DOCSDIR}
.endfor
.endif
	${MKDIR} ${EXAMPLESDIR}
	${MKDIR} ${PREFIX}/share/examples/mace2
	(cd ${WRKSRC}/examples; ${PAX} -rw . ${EXAMPLESDIR})
	(cd ${WRKSRC}/examples-mace2; ${PAX} -rw . ${PREFIX}/share/examples/mace2)

.include <bsd.port.mk>
ogo' rowspan='2'><a href='/~lantw44/cgit/cgit.cgi/'><img src='/~lantw44/cgit-data/cgit.png' alt='cgit logo'/></a></td>
<td class='main'><a href='/~lantw44/cgit/cgit.cgi/'>index</a> : <a title='freebsd-ports-gnome' href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/'>freebsd-ports-gnome</a></td><td class='form'><form method='get'>
<input type='hidden' name='id' value='1b0decaa20ffae16a1a7e5a686f5675cc95e170f'/><select name='h' onchange='this.form.submit();'>
<option value='cinnamon'>cinnamon</option>
<option value='cinnamon-2.8'>cinnamon-2.8</option>
<option value='dependabot/npm_and_yarn/devel/electron4/files/bl-1.2.3'>dependabot/npm_and_yarn/devel/electron4/files/bl-1.2.3</option>
<option value='dependabot/npm_and_yarn/devel/electron4/files/elliptic-6.5.3'>dependabot/npm_and_yarn/devel/electron4/files/elliptic-6.5.3</option>
<option value='dependabot/npm_and_yarn/devel/electron4/files/elliptic-6.5.4'>dependabot/npm_and_yarn/devel/electron4/files/elliptic-6.5.4</option>
<option value='dependabot/npm_and_yarn/devel/electron4/files/ini-1.3.7'>dependabot/npm_and_yarn/devel/electron4/files/ini-1.3.7</option>
<option value='dependabot/npm_and_yarn/devel/electron4/files/lodash-4.17.19'>dependabot/npm_and_yarn/devel/electron4/files/lodash-4.17.19</option>
<option value='dependabot/npm_and_yarn/devel/electron4/files/lodash.merge-4.6.2'>dependabot/npm_and_yarn/devel/electron4/files/lodash.merge-4.6.2</option>
<option value='dependabot/npm_and_yarn/devel/electron4/files/minimist-1.2.2'>dependabot/npm_and_yarn/devel/electron4/files/minimist-1.2.2</option>
<option value='dependabot/npm_and_yarn/devel/electron4/files/minimist-1.2.3'>dependabot/npm_and_yarn/devel/electron4/files/minimist-1.2.3</option>
<option value='dependabot/npm_and_yarn/devel/electron4/files/node-fetch-2.6.1'>dependabot/npm_and_yarn/devel/electron4/files/node-fetch-2.6.1</option>
<option value='dependabot/npm_and_yarn/devel/electron4/files/serve-10.1.2'>dependabot/npm_and_yarn/devel/electron4/files/serve-10.1.2</option>
<option value='dependabot/npm_and_yarn/devel/electron4/files/y18n-3.2.2'>dependabot/npm_and_yarn/devel/electron4/files/y18n-3.2.2</option>
<option value='dependabot/npm_and_yarn/devel/electron6/files/elliptic-6.5.3'>dependabot/npm_and_yarn/devel/electron6/files/elliptic-6.5.3</option>
<option value='dependabot/npm_and_yarn/devel/electron6/files/elliptic-6.5.4'>dependabot/npm_and_yarn/devel/electron6/files/elliptic-6.5.4</option>
<option value='dependabot/npm_and_yarn/devel/electron6/files/ini-1.3.8'>dependabot/npm_and_yarn/devel/electron6/files/ini-1.3.8</option>
<option value='dependabot/npm_and_yarn/devel/electron6/files/lodash-4.17.19'>dependabot/npm_and_yarn/devel/electron6/files/lodash-4.17.19</option>
<option value='dependabot/npm_and_yarn/devel/electron6/files/lodash.merge-4.6.2'>dependabot/npm_and_yarn/devel/electron6/files/lodash.merge-4.6.2</option>
<option value='dependabot/npm_and_yarn/devel/electron6/files/node-fetch-2.6.1'>dependabot/npm_and_yarn/devel/electron6/files/node-fetch-2.6.1</option>
<option value='dependabot/npm_and_yarn/devel/electron6/files/serve-10.1.2'>dependabot/npm_and_yarn/devel/electron6/files/serve-10.1.2</option>
<option value='gnome-3.22'>gnome-3.22</option>
<option value='gnome-3.24'>gnome-3.24</option>
<option value='gnome-3.26'>gnome-3.26</option>
<option value='gnome-3.28'>gnome-3.28</option>
<option value='gnome-3.32'>gnome-3.32</option>
<option value='gnome-3.36'>gnome-3.36</option>
<option value='gstreamer'>gstreamer</option>
<option value='gstreamer-1.16'>gstreamer-1.16</option>
<option value='gstreamer0.10-removal' selected='selected'>gstreamer0.10-removal</option>
<option value='main'>main</option>
<option value='master'>master</option>
<option value='mate-1.16'>mate-1.16</option>
<option value='mate-1.18'>mate-1.18</option>
<option value='mate-1.20'>mate-1.20</option>
<option value='mate-1.22'>mate-1.22</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/about/?h=gstreamer0.10-removal'>about</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/?h=gstreamer0.10-removal'>summary</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/refs/?h=gstreamer0.10-removal&amp;id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f'>refs</a><a class='active' href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/graphics/fotoxx/distinfo?h=gstreamer0.10-removal'>log</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/tree/graphics/fotoxx/distinfo?h=gstreamer0.10-removal&amp;id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f'>tree</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/graphics/fotoxx/distinfo?h=gstreamer0.10-removal&amp;id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f'>commit</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/diff/graphics/fotoxx/distinfo?h=gstreamer0.10-removal&amp;id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f'>diff</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/stats/graphics/fotoxx/distinfo?h=gstreamer0.10-removal'>stats</a></td><td class='form'><form class='right' method='get' action='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/graphics/fotoxx/distinfo'>
<input type='hidden' name='h' value='gstreamer0.10-removal'/><input type='hidden' name='id' value='1b0decaa20ffae16a1a7e5a686f5675cc95e170f'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/?h=gstreamer0.10-removal&amp;id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f'>root</a>/<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/graphics?h=gstreamer0.10-removal&amp;id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f'>graphics</a>/<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/graphics/fotoxx?h=gstreamer0.10-removal&amp;id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f'>fotoxx</a>/<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/graphics/fotoxx/distinfo?h=gstreamer0.10-removal&amp;id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f'>distinfo</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th></th><th class='left'>Commit message (<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/graphics/fotoxx/distinfo?h=gstreamer0.10-removal&amp;id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th><th class='left'>Age</th><th class='left'>Files</th><th class='left'>Lines</th></tr>