# 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&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&id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f'>tree</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/graphics/fotoxx/distinfo?h=gstreamer0.10-removal&id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f'>commit</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/diff/graphics/fotoxx/distinfo?h=gstreamer0.10-removal&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&id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f'>root</a>/<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/graphics?h=gstreamer0.10-removal&id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f'>graphics</a>/<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/graphics/fotoxx?h=gstreamer0.10-removal&id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f'>fotoxx</a>/<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/graphics/fotoxx/distinfo?h=gstreamer0.10-removal&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&id=1b0decaa20ffae16a1a7e5a686f5675cc95e170f&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>