aboutsummaryrefslogtreecommitdiff
path: root/misc/otter
Commit message (Collapse)AuthorAgeFilesLines
* Add licenseStefan Eßer2020-09-031-1/+4
| | | | | | | | AFAICT, this software has been put into the public domain by its authors and licensed for unrestricted world-wide distribution and use. Notes: svn path=/head/; revision=547435
* Fix build with -fno-commonStefan Eßer2020-09-036-1/+72
| | | | Notes: svn path=/head/; revision=547434
* - Switch to options helpersDmitry Marakasov2015-09-091-6/+4
| | | | | | | Approved by: portmgr blanket Notes: svn path=/head/; revision=396512
* - Fix shebangsDmitry Marakasov2015-09-091-1/+4
| | | | | | | | Approved by: portmgr blanket MFH: 2015Q3 (blanket) Notes: svn path=/head/; revision=396509
* misc/otter & biology/ariadne: Not jobs safeJohn Marino2015-01-211-0/+2
| | | | | | | | | 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). Notes: svn path=/head/; revision=377623
* Cleanup plistBaptiste Daroussin2014-12-091-17/+0
| | | | Notes: svn path=/head/; revision=374378
* Stagify.Vanilla I. Shu2014-06-191-7/+6
| | | | | | | Approved by: portmgr@ Notes: svn path=/head/; revision=358437
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | misc) Notes: svn path=/head/; revision=327745
* - Attempt to fix parallel builds (-jX)Alexey Dokuchaev2013-07-192-354/+359
| | | | | | | | | | - Utilize OPTIONS framework for docs and examples - Generally clean up the port while here Reported by: pointyhat-west Notes: svn path=/head/; revision=323278
* - Get Rid MD5 supportMartin Wilke2011-03-191-1/+0
| | | | Notes: svn path=/head/; revision=271305
* - fix typo, hence plist for -DNOPORTDOCSIon-Mihai Tetcu2008-11-181-1/+2
| | | | | | | | | | - bum PORTREVISION Approved by: maintainer timeout on QAT BotMails Prompted by: QAT QA run Notes: svn path=/head/; revision=223020
* Otter is an automated deduction system (theorem prover) forRenato Botelho2006-02-064-0/+385
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 Notes: svn path=/head/; revision=155355
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-17 22:30:00 +0000