joerg
bba84c93da
Retire propolice hack on DragonFly as the system compiler was fixed
...
and the changes pulled up to all release branches.
2007-02-19 22:10:42 +00:00
wiz
c47dd3ce22
USE_LANGUAGES=c c++; remove empty post-install target.
2006-05-21 02:21:52 +00:00
joerg
f224931835
DragonFly GCC ProPolice ICE.
2006-05-02 13:32:30 +00:00
joerg
6858b24aed
Add some missing includes. Fix C++ for GCC 3.4+.
2006-05-02 13:31:55 +00:00
joerg
5911def816
Recursive revision bump / recommended bump for gettext ABI change.
2006-02-05 23:08:03 +00:00
tonio
ef23d02256
Update lang/maude to 2.1.1
...
Let the package use the TOOLS facilities for flex and bison
Changes in this version includes a few bugfixes, support for syntax for
theories, and parser improvement
Update fixes PR 31753
2005-10-14 19:54:39 +00:00
tv
f816d81489
Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.
2005-04-11 21:44:48 +00:00
agc
475ab002d7
Add RMD160 digests
2005-02-24 09:03:05 +00:00
kristerw
48e163dc10
Correct WRKSRC to not use the nb[0-9]* from PKGVERSION.
2004-10-09 16:29:56 +00:00
tv
c487cb967a
Libtool fix for PR pkg/26633, and other issues. Update libtool to 1.5.10
...
in the process. (More information on tech-pkg.)
Bump PKGREVISION and BUILDLINK_DEPENDS of all packages using libtool and
installing .la files.
Bump PKGREVISION (only) of all packages depending directly on the above
via a buildlink3 include.
2004-10-03 00:12:51 +00:00
snj
a50c60886c
Convert to buildlink3.
2004-05-02 23:02:06 +00:00
agc
3ad1bdbf06
Move WRKSRC definition away from the first paragraph in a Makefile.
2004-01-20 12:18:15 +00:00
kristerw
a0e65e6496
Update lang/maude to version 2.0.1.
...
Maude 2 extends and generalizes Maude 1 to allow more expressive
modules and a wider range of computational commands.
The license has been changed to the GNU General Public License.
2003-12-31 01:20:35 +00:00
cube
505a62bf9c
Point to the correct location of distfile.
2003-11-15 08:46:15 +00:00
martti
ee90b572a6
COMMENT should start with a capital letter.
2003-07-21 16:45:54 +00:00
grant
0155927c43
s/netbsd.org/NetBSD.org/
2003-07-17 21:41:05 +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
wiz
28a4483bc7
NO_PATCH is deprecated, says pkglint. Remove it.
2003-03-28 21:14:10 +00:00
jmc
d1e5712296
Update master site url for downloads
2003-03-23 23:56:15 +00:00
zuntum
a437fd43cc
Move pkg/ files into package's toplevel directory
2001-11-01 00:20:13 +00:00
agc
8118fe36ae
Move to sha1 digests, and add distfile sizes.
2001-04-19 15:00:47 +00:00
agc
fb467f5ac2
+ 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:22:34 +00:00
wiz
e6c2b658b4
Oops, uncomment LICENSE.
2001-03-20 12:01:25 +00:00
wiz
f88e4c531b
Initial import of maude, a system for equational and rewriting logic
...
specification/programming.
Package provided by Paolo Torelli in pkg/11280.
Attention: Very restrictive license, to be filled out and returned in
hardcopy before usage.
2001-03-20 11:57:41 +00:00
