agc
|
1e46c076aa
|
Add RMD160 digests in addition to SHA1 ones.
|
2005-02-23 12:06:53 +00:00 |
|
wiz
|
6e02d7ee41
|
Rename ALL_TARGET to BUILD_TARGET for consistency with other *_TARGETs.
Suggested by Roland Illig, ok'd by various.
|
2004-12-03 15:14:50 +00:00 |
|
agc
|
3ad1bdbf06
|
Move WRKSRC definition away from the first paragraph in a Makefile.
|
2004-01-20 12:18:15 +00:00 |
|
grant
|
0155927c43
|
s/netbsd.org/NetBSD.org/
|
2003-07-17 21:41:05 +00:00 |
|
agc
|
1cf87833d6
|
When constructing the WRKSRC definition, use ${PKGNAME_NOREV} rather than
${PKGNAME}, so that the WRKSRC definition is immune from any subsequent
PKGREVISION changes. With thanks to jmc for the nudge.
|
2003-06-18 09:22:14 +00:00 |
|
jschauma
|
e366d0c694
|
Use tech-pkg@ in favor of packages@ as MAINTAINER for orphaned packages.
Should anybody feel like they could be the maintainer for any of thewe packages,
please adjust.
|
2003-06-02 01:15:31 +00:00 |
|
jmmv
|
0916498c1b
|
Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.
|
2003-03-29 12:40:00 +00:00 |
|
zuntum
|
98cf373d36
|
Move pkg/ files into package's toplevel directory
|
2001-11-01 00:32:23 +00:00 |
|
jtb
|
a1417e24b9
|
Respect CFLAGS. This seems to work okay with default optimization.
|
2001-04-25 23:35:30 +00:00 |
|
agc
|
fa5c767d84
|
Move to sha1 digests, and add distfile sizes.
|
2001-04-19 08:45:37 +00:00 |
|
agc
|
9e8d6c8b8d
|
+ move the distfile digest/checksum value from files/md5 to distinfo
+ move the patch digest/checksum values from files/patch-sum to distinfo
|
2001-04-17 11:33:31 +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 |
|