summaryrefslogtreecommitdiff
path: root/lang/maude/Makefile
AgeCommit message (Expand)AuthorFilesLines
2012-10-02Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.asau1-2/+1
2011-04-19Update Maude to version 2.6asau1-8/+7
2010-05-19Update to Maude 2.4asau1-4/+7
2010-03-24Recursive revision bump for GMP update.asau1-1/+2
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 wasrillig1-2/+2
2007-12-01Updated maude to 2.3.rillig1-6/+7
2006-05-21USE_LANGUAGES=c c++; remove empty post-install target.wiz1-3/+3
2006-02-05Recursive revision bump / recommended bump for gettext ABI change.joerg1-1/+2
2005-10-14Update lang/maude to 2.1.1tonio1-14/+4
2005-04-11Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.tv1-2/+1
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.kristerw1-25/+23
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-03-20Oops, uncomment LICENSE.wiz1-2/+2
2001-03-20Initial import of maude, a system for equational and rewriting logicwiz1-0/+36