8 Commits

Author	SHA1	Message	Date
John Marino	70aa978888	misc/otter & biology/ariadne: Not jobs safe ... The otter port tries to build libotter.a before an object is completely built (share.o in my case) and ariadne tries to start building in a directory before it is created (under multiple jobs).	2015-01-21 18:39:11 +00:00
Baptiste Daroussin	45858fb087	Cleanup plist	2014-12-09 13:36:34 +00:00
Vanilla I. Shu	92d22b04c4	Stagify. ... Approved by: portmgr@	2014-06-19 16:07:57 +00:00
Baptiste Daroussin	8ac99398e2	Add NO_STAGE all over the place in preparation for the staging support (cat: misc)	2013-09-20 20:50:57 +00:00
Alexey Dokuchaev	c6418bd78d	- Attempt to fix parallel builds (-jX) ... - Utilize OPTIONS framework for docs and examples - Generally clean up the port while here Reported by: pointyhat-west	2013-07-19 09:53:08 +00:00
Martin Wilke	a9481afc8a	- Get Rid MD5 support	2011-03-19 12:38:54 +00:00
Ion-Mihai Tetcu	39fd6bb5d7	- fix typo, hence plist for -DNOPORTDOCS ... - bum PORTREVISION Approved by: maintainer timeout on QAT BotMails Prompted by: QAT QA run	2008-11-18 17:30:04 +00:00
Renato Botelho	58ad5d751d	Otter is an automated deduction system (theorem prover) for ... first-order logic with equality developed at Argonne National Laboratories. WWW: http://www-unix.mcs.anl.gov/AR/otter/ PR: ports/92834 Submitted by: wollman	2006-02-06 17:36:47 +00:00