Joseph Koshy
35a1693bbe
Upgrade to TET v3.3f
2000-10-30 08:55:42 +00:00
Joseph Koshy
c789f168a0
Use MASTER_SITE_LOCAL.
2000-06-26 06:18:27 +00:00
Satoshi Asami
dad9a57abe
Convert to PORTNAME/PORTVERSION.
2000-04-14 08:49:30 +00:00
Peter Wemm
02c5b6c7c6
Change all www.freebsd.org/~user references to people.FreeBSD.org/~user,
...
as the days of the former are numbered.
Reviewed by: asami
2000-02-08 09:29:51 +00:00
Joseph Koshy
e07360bf29
Upgrade to v3.3d-unsup.
1999-12-27 09:20:30 +00:00
Joseph Koshy
c9136a1669
Fix MASTER_SITES.
1999-12-08 11:18:31 +00:00
Michael Haro
b8f8618362
echo -> ${ECHO} or ${ECHO_MSG} and in some cases, move echo stuff
...
to pkg/MESSAGE and use ${CAT} ${PKGMESSAGE}
1999-08-27 22:30:39 +00:00
David E. O'Brien
d99d6e104d
Change Id->FreeBSD.
1999-08-25 07:23:21 +00:00
Michael Haro
535add65ac
grep -> ${GREP}
...
true -> ${TRUE}
false -> ${FALSE}
1999-08-23 04:23:59 +00:00
Michael Haro
5281212be3
chmod -> ${CHMOD}
...
chown -> ${CHOWN}
1999-08-22 19:01:07 +00:00
Joseph Koshy
96006b595c
Upgrade to v3.2e.
1999-02-11 09:05:38 +00:00
Satoshi Asami
4cd194271d
Upgrade to 3.2d. The old distfile was not fetchable.
...
Submitted by: maintainer
1998-11-28 09:33:23 +00:00
Joseph Koshy
2464554ac1
Simplify the clean targets.
...
Pointed-out-by: asami
1998-10-27 03:34:54 +00:00
Joseph Koshy
7b92f12fb8
Do something sensible for make clean if TET_ROOT is not defined. Add
...
trailing slash to MASTER_SITE.
Pointed-out-by: Steve Price and Andreas Klemm.
1998-10-26 03:10:58 +00:00
Joseph Koshy
c15039154e
TET is now available off an FTP site. Change MASTER_SITE accordingly.
1998-10-25 00:58:16 +00:00
Joseph Koshy
27d9fd2f8e
A port of TET3.2c from the Open Group. This port builds the Distributed
...
TET including threads and C++ support.
The port has a number of quirks:
- sources and binaries need to be installed under $TET_ROOT
for later persual by test suites like the PCTS suite
from the opengroup. Consequently this port does not actually
install anything under $PREFIX.
- though the source to TET3.2c is being made publically
available, one still needs to register with the open group
prior to download the sources. Consequently this port
has been marked `MANUAL_FETCH'.
1998-10-21 08:31:09 +00:00
