diff options
| author | kristerw <kristerw@pkgsrc.org> | 2003-12-31 01:20:35 +0000 |
|---|---|---|
| committer | kristerw <kristerw@pkgsrc.org> | 2003-12-31 01:20:35 +0000 |
| commit | 08229f9a20412e06725a4fb6c904d2a49632e06b (patch) | |
| tree | ec506f65f4c0ac58827364670a05a126f410ee2c /lang/maude/Makefile | |
| parent | 3ed6852e3600444527b44a6f8116e1b431ad56f8 (diff) | |
| download | pkgsrc-08229f9a20412e06725a4fb6c904d2a49632e06b.tar.gz | |
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.
Diffstat (limited to 'lang/maude/Makefile')
| -rw-r--r-- | lang/maude/Makefile | 48 |
1 files changed, 23 insertions, 25 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile index 22ad3658918..89cddbf0968 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -1,35 +1,33 @@ -# $NetBSD: Makefile,v 1.8 2003/11/15 08:46:15 cube Exp $ +# $NetBSD: Makefile,v 1.9 2003/12/31 01:20:35 kristerw Exp $ # -DISTNAME= maude-linux -PKGNAME= maude-1.0.5 +DISTNAME= maude-src +PKGNAME= maude-2.0.1 +WRKSRC= ${WRKDIR}/Maude-${PKGVERSION} CATEGORIES= lang -MASTER_SITES= http://maude.csl.sri.com/maude1/current/system/ -EXTRACT_SUFX= .tar.Z +MASTER_SITES= http://maude.cs.uiuc.edu/download/ \ + http://maude.cs.uiuc.edu/download/current/ +DISTFILES= ${DISTNAME}${EXTRACT_SUFX} \ + fm.maude -MAINTAINER= tech-pkg@NetBSD.org -HOMEPAGE= http://maude.csl.sri.com/ +MAINTAINER= kristerw@NetBSD.org +HOMEPAGE= http://maude.cs.uiuc.edu/ COMMENT= System for equational and rewriting logic specification/programming -# see http://maude.csl.sri.com/license/license.html -LICENSE= maude-license +.if !exists(/usr/bin/flex) +BUILD_DEPENDS+= flex-[0-9]*:../../devel/flex +.endif +BUILD_DEPENDS+= bison-[0-9]*:../../devel/bison -RESTRICTED= license does not explicitly allow redistribution -NO_SRC_ON_FTP= ${RESTRICTED} -NO_BIN_ON_FTP= ${RESTRICTED} -NO_SRC_ON_CDROM= ${RESTRICTED} -NO_BIN_ON_CDROM= ${RESTRICTED} +EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} -NO_CONFIGURE= yes -NO_BUILD= yes - -ONLY_FOR_PLATFORM= NetBSD-*-i386 - -do-install: - ${INSTALL_PROGRAM} ${WRKDIR}/maude-linux/bin/maude.linux ${PREFIX}/bin/maude - ${INSTALL_SCRIPT} ${WRKDIR}/maude-linux/bin/full-maude.maude ${PREFIX}/bin - ${INSTALL_SCRIPT} ${WRKDIR}/maude-linux/bin/prelude.maude ${PREFIX}/bin - ${INSTALL_DATA_DIR} ${PREFIX}/share/examples/maude - ${INSTALL_DATA} ${WRKDIR}/maude-linux/examples/* ${PREFIX}/share/examples/maude +USE_BUILDLINK2= YES +GNU_CONFIGURE= YES +CONFIGURE_ARGS+= --datadir=${PREFIX}/share/maude +post-install: + ${INSTALL_DATA} ${DISTDIR}/fm.maude ${PREFIX}/share/maude +.include "../../devel/buddy/buildlink2.mk" +.include "../../devel/gmp/buildlink2.mk" +.include "../../devel/libtecla/buildlink2.mk" .include "../../mk/bsd.pkg.mk" |