notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.
New feature planned: get notified when the package is available. Now is the time to contribute ideas/suggestions.
Port details
otter Theorem prover and finite model searcher
3.3f_4 misc on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.3f_4Version of this port present on the latest quarterly branch.
Maintainer: wollman@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2006-02-06 17:37:36
Last Update: 2022-09-07 21:58:51
Commit Hash: fb16dfe
License: PD
WWW:
https://www-unix.mcs.anl.gov/AR/otter/
Description:
Otter is an automated deduction system (theorem prover) for first-order logic with equality developed at Argonne National Laboratories.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (328 items)
Collapse this list.
  1. /usr/local/share/licenses/otter-3.3f_4/catalog.mk
  2. /usr/local/share/licenses/otter-3.3f_4/LICENSE
  3. /usr/local/share/licenses/otter-3.3f_4/PD
  4. bin/anldp
  5. bin/mace2
  6. bin/otter
  7. share/examples/otter/summary
  8. share/examples/otter/Run_group
  9. share/examples/otter/auto/robbins.out
  10. share/examples/otter/auto/pigeon.in
  11. share/examples/otter/auto/salt.in
  12. share/examples/otter/auto/x2_quant.out
  13. share/examples/otter/auto/lifsch.in
  14. share/examples/otter/auto/mv25.out
  15. share/examples/otter/auto/steam.in
  16. share/examples/otter/auto/comm.in
  17. share/examples/otter/auto/ring_x2.in
  18. share/examples/otter/auto/tba_gg.in
  19. share/examples/otter/auto/x2_quant.in
  20. share/examples/otter/auto/w_sk.in
  21. share/examples/otter/auto/z11.out
  22. share/examples/otter/auto/pigeon.out
  23. share/examples/otter/auto/comm.out
  24. share/examples/otter/auto/salt.out
  25. share/examples/otter/auto/lifsch.out
  26. share/examples/otter/auto/sam.in
  27. share/examples/otter/auto/steam.out
  28. share/examples/otter/auto/wang1.in
  29. share/examples/otter/auto/group.out
  30. share/examples/otter/auto/cn19.out
  31. share/examples/otter/auto/ec_yq.in
  32. share/examples/otter/auto/ring_x2.out
  33. share/examples/otter/auto/robbins.in
  34. share/examples/otter/auto/ec_yq.out
  35. share/examples/otter/auto/wang1.out
  36. share/examples/otter/auto/w_sk.out
  37. share/examples/otter/auto/group.in
  38. share/examples/otter/auto/index.html
  39. share/examples/otter/auto/README
  40. share/examples/otter/auto/cn19.in
  41. share/examples/otter/auto/z11.in
  42. share/examples/otter/auto/sam.out
  43. share/examples/otter/auto/tba_gg.out
  44. share/examples/otter/auto/mv25.in
  45. share/examples/otter/misc/sax1.in
  46. share/examples/otter/misc/dem_alu.in
  47. share/examples/otter/misc/sax2.in
  48. share/examples/otter/misc/mv.in
  49. share/examples/otter/misc/andrews.in
  50. share/examples/otter/misc/dem_alu.out
  51. share/examples/otter/misc/stage1.out
  52. share/examples/otter/misc/str_bws.in.28752
  53. share/examples/otter/misc/cn.in
  54. share/examples/otter/misc/str_bws.in
  55. share/examples/otter/misc/andrews.out
  56. share/examples/otter/misc/kb_bench.in
  57. share/examples/otter/misc/stage2.in
  58. share/examples/otter/misc/dem_alu.in.28752
  59. share/examples/otter/misc/andrews.in.28752
  60. share/examples/otter/misc/cn.out
  61. share/examples/otter/misc/stage2.out
  62. share/examples/otter/misc/stage1.in
  63. share/examples/otter/misc/mv.out
  64. share/examples/otter/misc/index.html
  65. share/examples/otter/misc/sax2.out
  66. share/examples/otter/misc/README
  67. share/examples/otter/misc/kb_bench.out
  68. share/examples/otter/misc/mv.in.28752
  69. share/examples/otter/misc/cn.in.28752
  70. share/examples/otter/misc/str_bws.out
  71. share/examples/otter/misc/sax1.out
  72. share/examples/otter/misc/ec.out
  73. share/examples/otter/misc/ec.in
  74. share/examples/otter/Makefile
  75. share/examples/otter/fringe/luka5h.out
  76. share/examples/otter/fringe/lexical1.out
  77. share/examples/otter/fringe/gl8.in
  78. share/examples/otter/fringe/x3tricks.in
  79. share/examples/otter/fringe/lexical2.in
  80. share/examples/otter/fringe/if.in
  81. share/examples/otter/fringe/lexical3.out
  82. share/examples/otter/fringe/lexical2.out
  83. share/examples/otter/fringe/mfl_13.out
  84. share/examples/otter/fringe/gl8.out
  85. share/examples/otter/fringe/mfl_13.in
  86. share/examples/otter/fringe/gl4.out
  87. share/examples/otter/fringe/rob_ocd.in
  88. share/examples/otter/fringe/ec_yql.out
  89. share/examples/otter/fringe/ec_yql.in.28897
  90. share/examples/otter/fringe/rob_ocd.out
  91. share/examples/otter/fringe/x3tricks.out
  92. share/examples/otter/fringe/olsax_hints.in
  93. share/examples/otter/fringe/bring.out
  94. share/examples/otter/fringe/index.html
  95. share/examples/otter/fringe/if.out
  96. share/examples/otter/fringe/gl4.in.28897
  97. share/examples/otter/fringe/gl4.in
  98. share/examples/otter/fringe/README
  99. share/examples/otter/fringe/luka5h.in
  100. share/examples/otter/fringe/lexical1.in
  101. share/examples/otter/fringe/bring.in
  102. share/examples/otter/fringe/lexical3.in
  103. share/examples/otter/fringe/ec_yql.in
  104. share/examples/otter/fringe/olsax_hints.out
  105. share/examples/otter/wos/grp_exp4.in
  106. share/examples/otter/wos/grp_exp3.in
  107. share/examples/otter/wos/cursory.in
  108. share/examples/otter/wos/cursory.out
  109. share/examples/otter/wos/twoval.in
  110. share/examples/otter/wos/README.more
  111. share/examples/otter/wos/rigorous.out
  112. share/examples/otter/wos/grp_exp4.out
  113. share/examples/otter/wos/rigorous.in
  114. share/examples/otter/wos/rob_occ.in
  115. share/examples/otter/wos/index.html
  116. share/examples/otter/wos/rob_occ.out
  117. share/examples/otter/wos/manyval.out
  118. share/examples/otter/wos/README
  119. share/examples/otter/wos/manyval.in
  120. share/examples/otter/wos/twoval.out
  121. share/examples/otter/wos/grp_exp3.out
  122. share/examples/otter/Loop/temp
  123. share/examples/otter/Loop/otter-ploop
  124. share/examples/otter/Loop/Sheffer-mgi-without-mirrors
  125. share/examples/otter/Loop/README
  126. share/examples/otter/Loop/head
  127. share/examples/otter/ivy/group-x2-refute.out
  128. share/examples/otter/ivy/group-comm.out
  129. share/examples/otter/ivy/lifsch.in
  130. share/examples/otter/ivy/steam.in
  131. share/examples/otter/ivy/group-x2.out
  132. share/examples/otter/ivy/comb-sk-w.out
  133. share/examples/otter/ivy/lifsch.out
  134. share/examples/otter/ivy/p-and-not-p.in
  135. share/examples/otter/ivy/p-and-not-p.out
  136. share/examples/otter/ivy/steam.out
  137. share/examples/otter/ivy/cd-cn19.out
  138. share/examples/otter/ivy/t1.out
  139. share/examples/otter/ivy/group-comm.in
  140. share/examples/otter/ivy/comb-sk-w.in
  141. share/examples/otter/ivy/group-x2-refute.in
  142. share/examples/otter/ivy/group-x2.in
  143. share/examples/otter/ivy/index.html
  144. share/examples/otter/ivy/README
  145. share/examples/otter/ivy/cd-cn19.in
  146. share/examples/otter/ivy/t1.in
  147. share/examples/otter/index.html
  148. share/examples/otter/README
  149. share/examples/otter/program/mission.in
  150. share/examples/otter/program/jugs.out
  151. share/examples/otter/program/queens.in
  152. share/examples/otter/program/jugs.in
  153. share/examples/otter/program/two_inv.in
  154. share/examples/otter/program/two_inv.out
  155. share/examples/otter/program/eval.out
  156. share/examples/otter/program/mission.out
  157. share/examples/otter/program/queens.out
  158. share/examples/otter/program/index.html
  159. share/examples/otter/program/README
  160. share/examples/otter/program/eval.in
  161. share/examples/otter/Run_all
  162. share/examples/otter/Run_all.out
  163. share/examples/otter/kalman/i4.in
  164. share/examples/otter/kalman/ex_1.out
  165. share/examples/otter/kalman/i1.in
  166. share/examples/otter/kalman/ex_4.in
  167. share/examples/otter/kalman/ex_3.out
  168. share/examples/otter/kalman/ex_2.out
  169. share/examples/otter/kalman/i3.out
  170. share/examples/otter/kalman/ex_2.in
  171. share/examples/otter/kalman/ex_4.out
  172. share/examples/otter/kalman/ex_3.in
  173. share/examples/otter/kalman/ex_1.in
  174. share/examples/otter/kalman/i4.out
  175. share/examples/otter/kalman/i3.in
  176. share/examples/otter/kalman/index.html
  177. share/examples/otter/kalman/i1.out
  178. share/examples/otter/kalman/README
  179. share/examples/otter/kalman/i2.in
  180. share/examples/otter/kalman/i2.out
  181. share/examples/otter/split/GEO010-2.in
  182. share/examples/otter/split/wang3.out
  183. share/examples/otter/split/group2.in
  184. share/examples/otter/split/power.out
  185. share/examples/otter/split/GEO036-2.out
  186. share/examples/otter/split/zebra4.out
  187. share/examples/otter/split/pigeon5.in
  188. share/examples/otter/split/GEO036-2.in
  189. share/examples/otter/split/wang3.in
  190. share/examples/otter/split/zebra2.in
  191. share/examples/otter/split/README.more
  192. share/examples/otter/split/noncomm-group.out
  193. share/examples/otter/split/pigeon5.out
  194. share/examples/otter/split/power.in
  195. share/examples/otter/split/GRP025-1.out
  196. share/examples/otter/split/noncomm-group.in
  197. share/examples/otter/split/zebra4.in
  198. share/examples/otter/split/temp1
  199. share/examples/otter/split/group2.out
  200. share/examples/otter/split/index.html
  201. share/examples/otter/split/README
  202. share/examples/otter/split/pair.out
  203. share/examples/otter/split/pair.in
  204. share/examples/otter/split/zebra2.out
  205. share/examples/otter/split/GRP025-1.in
  206. share/examples/otter/split/GEO010-2.out
  207. share/examples/mace2/Run_mace
  208. share/examples/mace2/Makefile
  209. share/examples/mace2/basic/temp
  210. share/examples/mace2/basic/cl_sw.out
  211. share/examples/mace2/basic/cd.in
  212. share/examples/mace2/basic/tough-nut.out
  213. share/examples/mace2/basic/cl_ql.in
  214. share/examples/mace2/basic/tba.in
  215. share/examples/mace2/basic/noncommutative_group.in
  216. share/examples/mace2/basic/cd.out
  217. share/examples/mace2/basic/tba.out
  218. share/examples/mace2/basic/ordered_semi.in
  219. share/examples/mace2/basic/index.html
  220. share/examples/mace2/basic/README
  221. share/examples/mace2/basic/tough-nut.in
  222. share/examples/mace2/basic/cl_ql.out
  223. share/examples/mace2/basic/ring.in
  224. share/examples/mace2/basic/cl_sw.in
  225. share/examples/mace2/basic/program
  226. share/examples/mace2/basic/ring.out
  227. share/examples/mace2/basic/noncommutative_group.out
  228. share/examples/mace2/basic/ordered_semi.out
  229. share/examples/mace2/iterate/CAT019-5.out
  230. share/examples/mace2/iterate/PUZ001-3.in
  231. share/examples/mace2/iterate/LAT025-1.in
  232. share/examples/mace2/iterate/LCL136-1.out
  233. share/examples/mace2/iterate/RNG025-8.in
  234. share/examples/mace2/iterate/noncommutive_ring1.out
  235. share/examples/mace2/iterate/noncommutive_ring1.in
  236. share/examples/mace2/iterate/CAT019-5.in
  237. share/examples/mace2/iterate/cd.in
  238. share/examples/mace2/iterate/noncommutative_group.in
  239. share/examples/mace2/iterate/cd.out
  240. share/examples/mace2/iterate/PUZ001-3.out
  241. share/examples/mace2/iterate/BOO032-1.in
  242. share/examples/mace2/iterate/index.html
  243. share/examples/mace2/iterate/README
  244. share/examples/mace2/iterate/BOO032-1.out
  245. share/examples/mace2/iterate/kauer.out
  246. share/examples/mace2/iterate/program
  247. share/examples/mace2/iterate/LCL136-1.in
  248. share/examples/mace2/iterate/kauer.in
  249. share/examples/mace2/iterate/LAT025-1.out
  250. share/examples/mace2/iterate/RNG025-8.out
  251. share/examples/mace2/iterate/noncommutative_group.out
  252. share/examples/mace2/propositional/p8.out
  253. share/examples/mace2/propositional/p10.IN
  254. share/examples/mace2/propositional/p7.out
  255. share/examples/mace2/propositional/f3.out
  256. share/examples/mace2/propositional/p9.out
  257. share/examples/mace2/propositional/p6.in
  258. share/examples/mace2/propositional/p6.out
  259. share/examples/mace2/propositional/README.more
  260. share/examples/mace2/propositional/p9.in
  261. share/examples/mace2/propositional/q10.in
  262. share/examples/mace2/propositional/f4.out
  263. share/examples/mace2/propositional/f2.in
  264. share/examples/mace2/propositional/f2.out
  265. share/examples/mace2/propositional/p5.out
  266. share/examples/mace2/propositional/index.html
  267. share/examples/mace2/propositional/README
  268. share/examples/mace2/propositional/q10.out
  269. share/examples/mace2/propositional/p8.in
  270. share/examples/mace2/propositional/p5.in
  271. share/examples/mace2/propositional/f4.in
  272. share/examples/mace2/propositional/program
  273. share/examples/mace2/propositional/f3.in
  274. share/examples/mace2/propositional/p7.in
  275. share/examples/mace2/lattice/lt-ol.out
  276. share/examples/mace2/lattice/ml-mol.out
  277. share/examples/mace2/lattice/ol-e4.out
  278. share/examples/mace2/lattice/oml-mol.in
  279. share/examples/mace2/lattice/ol-oml.in
  280. share/examples/mace2/lattice/oml-mol.out
  281. share/examples/mace2/lattice/lt-ml.out
  282. share/examples/mace2/lattice/lt-ol.in
  283. share/examples/mace2/lattice/finite-lattice
  284. share/examples/mace2/lattice/ortholattice
  285. share/examples/mace2/lattice/lattice-axioms
  286. share/examples/mace2/lattice/ol-e1.out
  287. share/examples/mace2/lattice/ol-oml.out
  288. share/examples/mace2/lattice/ml-mol.in
  289. share/examples/mace2/lattice/index.html
  290. share/examples/mace2/lattice/README
  291. share/examples/mace2/lattice/mol-ba.out
  292. share/examples/mace2/lattice/ol-e1.in
  293. share/examples/mace2/lattice/mol-ba.in
  294. share/examples/mace2/lattice/program
  295. share/examples/mace2/lattice/ol-e4.in
  296. share/examples/mace2/lattice/lt-ml.in
  297. share/examples/mace2/index.html
  298. share/examples/mace2/README
  299. share/examples/mace2/quasigroup/qg7bl.in
  300. share/examples/mace2/quasigroup/qg6.in
  301. share/examples/mace2/quasigroup/qg4.out
  302. share/examples/mace2/quasigroup/qg1d.out
  303. share/examples/mace2/quasigroup/omts9.in
  304. share/examples/mace2/quasigroup/qg3.in
  305. share/examples/mace2/quasigroup/qg5l.out
  306. share/examples/mace2/quasigroup/qg3.out
  307. share/examples/mace2/quasigroup/omts9.out
  308. share/examples/mace2/quasigroup/qg1d.in
  309. share/examples/mace2/quasigroup/qg7bl.out
  310. share/examples/mace2/quasigroup/index.html
  311. share/examples/mace2/quasigroup/qg6.out
  312. share/examples/mace2/quasigroup/README
  313. share/examples/mace2/quasigroup/qg5l.in
  314. share/examples/mace2/quasigroup/program
  315. share/examples/mace2/quasigroup/qg4.in
  316. share/examples/mace2/quasigroup/qg2d.in
  317. share/examples/mace2/quasigroup/qg2d.out
  318. share/examples/mace2/Run_all
  319. share/examples/mace2/Run_all.out
  320. share/examples/mace2/Run_anldp
  321. share/examples/mace2/Perl-examples/Sheffer-mgi-without-mirrors
  322. share/examples/mace2/Perl-examples/commute4_filter
  323. share/examples/mace2/Perl-examples/index.html
  324. share/examples/mace2/Perl-examples/README
  325. share/examples/mace2/Perl-examples/candidates
  326. @owner
  327. @group
  328. @mode
Collapse this list.
Dependency lines:
  • otter>0:misc/otter
To install the port:
cd /usr/ports/misc/otter/ && make install clean
To add the package, run one of these commands:
  • pkg install misc/otter
  • pkg install otter
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: otter
Flavors: there is no flavor information for this port.
distinfo:
SHA256 (otter-3.3f.tar.gz) = 392c8c6557944eaf6958c199c365b43189beab836fb80c716569ea43af0dac9a SIZE (otter-3.3f.tar.gz) = 2554827

Packages (timestamps in pop-ups are UTC):
otter
ABIlatestquarterly
FreeBSD:13:aarch643.3f_43.3f_4
FreeBSD:13:amd643.3f_43.3f_4
FreeBSD:13:armv63.3f_43.3f_4
FreeBSD:13:armv73.3f_43.3f_4
FreeBSD:13:i3863.3f_43.3f_4
FreeBSD:13:powerpc-3.3f_4
FreeBSD:13:powerpc643.3f_43.3f_4
FreeBSD:13:powerpc64le-3.3f_4
FreeBSD:14:aarch643.3f_43.3f_4
FreeBSD:14:amd643.3f_43.3f_4
FreeBSD:14:armv63.3f_4-
FreeBSD:14:armv73.3f_43.3f_4
FreeBSD:14:i3863.3f_43.3f_4
FreeBSD:14:powerpc3.3f_43.3f_4
FreeBSD:14:powerpc64-3.3f_4
FreeBSD:14:powerpc64le3.3f_43.3f_4
FreeBSD:15:aarch643.3f_4-
FreeBSD:15:amd643.3f_4-
FreeBSD:15:armv73.3f_4-
FreeBSD:15:powerpc3.3f_4-
FreeBSD:15:powerpc643.3f_4-
FreeBSD:15:powerpc64le3.3f_4-
 
This port has no dependencies.
There are no ports dependent upon this port

Configuration Options:
===> The following configuration options are available for otter-3.3f_4: DOCS=on: Build and/or install documentation EXAMPLES=on: Build and/or install examples ===> Use 'make config' to modify these settings
Options name:
misc_otter
USES:
shebangfix
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. http://www-unix.mcs.anl.gov/AR/otter/dist33/
Collapse this list.

Number of commits found: 16

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
3.3f_4
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
3.3f_4
20 Jul 2022 14:22:28
commit hash: b832da1849e4bcfff05da62c69ee4a556e83d2d1commit hash: b832da1849e4bcfff05da62c69ee4a556e83d2d1commit hash: b832da1849e4bcfff05da62c69ee4a556e83d2d1commit hash: b832da1849e4bcfff05da62c69ee4a556e83d2d1 files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
misc: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Adam Weinberger <adam@vectors.cx>
  *  Adam Weinberger <adamw@FreeBSD.org>
  *  Akinori MUSHA aka knu <knu@idaemons.org>
  *  Alan E <alane@FreeBSD.org>
  *  Alex Semenyaka <alex@rinet.ru>
  *  Alex Stangl <alex@stangl.us>
  *  Alexander Logvinov <avl@FreeBSD.org>
  *  Alexander Logvinov <ports@logvinov.com>
  *  Alexander Nusov <alexander.nusov@nfvexpress.com>
  *  Alexander Timoshenko <gonzo@univ.kiev.ua>
(Only the first 15 lines of the commit message are shown above View all of this commit message)
3.3f_4
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
3.3f_4
03 Sep 2020 11:38:40
Revision:547435Original commit files touched by this commit
se search for other commits by this committer
Add license

AFAICT, this software has been put into the public domain by its authors
and licensed for unrestricted world-wide distribution and use.
3.3f_3
03 Sep 2020 09:41:20
Revision:547434Original commit files touched by this commit
se search for other commits by this committer
Fix build with -fno-common
09 Sep 2015 14:43:39
Revision:396512Original commit files touched by this commit Refresh
amdmi3 search for other commits by this committer
- Switch to options helpers

Approved by:	portmgr blanket
3.3f_2
09 Sep 2015 14:33:20
Revision:396509Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Fix shebangs

Approved by:	portmgr blanket
MFH:		2015Q3 (blanket)
3.3f_1
21 Jan 2015 18:39:12
Revision:377623Original commit files touched by this commit
marino search for other commits by this committer
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).
3.3f_1
09 Dec 2014 13:36:34
Revision:374378Original commit files touched by this commit
bapt search for other commits by this committer
Cleanup plist
3.3f_1
19 Jun 2014 16:07:57
Revision:358437Original commit files touched by this commit
vanilla search for other commits by this committer
Stagify.

Approved by:	portmgr@
20 Sep 2013 20:50:59
Revision:327745Original commit files touched by this commit Sanity Test Failure Refresh
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
misc)
3.3f_1
19 Jul 2013 09:53:09
Revision:323278Original commit files touched by this commit
danfe search for other commits by this committer
- Attempt to fix parallel builds (-jX)
- Utilize OPTIONS framework for docs and examples
- Generally clean up the port while here

Reported by:	pointyhat-west
3.3f_1
19 Mar 2011 12:38:54
Original commit files touched by this commit
miwi search for other commits by this committer
- Get Rid MD5 support
3.3f_1
18 Nov 2008 17:30:04
Original commit files touched by this commit
itetcu search for other commits by this committer
- fix typo, hence plist for -DNOPORTDOCS
- bum PORTREVISION

Approved by:    maintainer timeout on QAT BotMails
Prompted by:    QAT QA run
3.3f
06 Feb 2006 17:36:47
Original commit files touched by this commit
garga search for other commits by this committer
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

Number of commits found: 16