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
