jmmv
|
0916498c1b
|
Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.
|
2003-03-29 12:40:00 +00:00 |
|
jtb
|
a1417e24b9
|
Respect CFLAGS. This seems to work okay with default optimization.
|
2001-04-25 23:35:30 +00:00 |
|
jtb
|
eb0cef2016
|
Change MAINTAINER section to packages@netbsd.org
|
2001-04-14 21:43:38 +00:00 |
|
jtb
|
24fa8425a9
|
Otter doesn't respect CFLAGS because -O2 optimization causes the program
to malfunction. While here, change COMMENT to "Automated Deduction System".
|
2001-03-31 18:10:47 +00:00 |
|
wiz
|
a13ea108bb
|
Update to new COMMENT style: COMMENT var in Makefile instead of pkg/COMMENT.
|
2001-02-17 17:52:59 +00:00 |
|
jtb
|
1184440a59
|
Initial import of new "otter" package:
Otter is a theorem-proving program
|
2000-11-25 18:19:19 +00:00 |
|