summaryrefslogtreecommitdiff
path: root/lang/maude
AgeCommit message (Expand)AuthorFilesLines
2013-11-29Fix build with newer bison. Don't use <rope> with clang, but fall backjoerg14-1/+221
2012-10-02Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.asau1-2/+1
2011-04-19Update Maude to version 2.6asau3-13/+13
2010-05-19Update to Maude 2.4asau3-11/+12
2010-03-24Recursive revision bump for GMP update.asau1-1/+2
2009-06-14Remove @dirrm entries from PLISTsjoerg1-2/+1
2009-03-06Convert to user-destdir, and mark as MAKE_JOBS_SAFE=no (latter partwiz1-2/+6
2008-02-28Replaced the deprecated INSTALLATION_DIRS_FROM_PLIST with AUTO_MKDIRS,rillig1-2/+2
2007-12-01Maybe it's better to keep the directory for the *.maude files as it wasrillig2-12/+12
2007-12-01Updated maude to 2.3.rillig5-42/+21
2007-02-19Retire propolice hack on DragonFly as the system compiler was fixedjoerg1-18/+0
2006-05-21USE_LANGUAGES=c c++; remove empty post-install target.wiz1-3/+3
2006-05-02DragonFly GCC ProPolice ICE.joerg1-0/+18
2006-05-02Add some missing includes. Fix C++ for GCC 3.4+.joerg5-1/+57
2006-02-05Recursive revision bump / recommended bump for gettext ABI change.joerg1-1/+2
2005-10-14Update lang/maude to 2.1.1tonio3-23/+9
2005-04-11Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.tv1-2/+1
2005-02-24Add RMD160 digestsagc1-1/+3
2004-10-09Correct WRKSRC to not use the nb[0-9]* from PKGVERSION.kristerw1-2/+2
2004-10-03Libtool fix for PR pkg/26633, and other issues. Update libtool to 1.5.10tv1-1/+2
2004-05-02Convert to buildlink3.snj1-5/+5
2004-01-20Move WRKSRC definition away from the first paragraph in a Makefile.agc1-2/+2
2003-12-31Update lang/maude to version 2.0.1.kristerw4-58/+36
2003-11-15Point to the correct location of distfile.cube1-2/+2
2003-07-21COMMENT should start with a capital letter.martti1-2/+2
2003-07-17s/netbsd.org/NetBSD.org/grant1-2/+2
2003-06-02Use tech-pkg@ in favor of packages@ as MAINTAINER for orphaned packages.jschauma1-2/+2
2003-03-28NO_PATCH is deprecated, says pkglint. Remove it.wiz1-2/+1
2003-03-23Update master site url for downloadsjmc1-2/+2
2001-11-01Move pkg/ files into package's toplevel directoryzuntum3-2/+2
2001-04-19Move to sha1 digests, and add distfile sizes.agc1-1/+2
2001-04-17+ move the distfile digest/checksum value from files/md5 to distinfoagc1-1/+1
2001-03-20Oops, uncomment LICENSE.wiz1-2/+2
2001-03-20Initial import of maude, a system for equational and rewriting logicwiz5-0/+81