[pkgsrc/trunk]: pkgsrc/lang/maude Update lang/maude to version 2.0.1.

[kristerw <kristerw%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/f2cc9456753c
branches:  trunk
changeset: 465485:f2cc9456753c
user:      kristerw <kristerw%pkgsrc.org@localhost>
date:      Wed Dec 31 01:20:35 2003 +0000

description:
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:

 lang/maude/MESSAGE  |   5 +++--
 lang/maude/Makefile |  48 +++++++++++++++++++++++-------------------------
 lang/maude/PLIST    |  33 +++++----------------------------
 lang/maude/distinfo |   8 +++++---
 4 files changed, 36 insertions(+), 58 deletions(-)

diffs (126 lines):

diff -r 0d21006e4f7a -r f2cc9456753c lang/maude/MESSAGE
--- a/lang/maude/MESSAGE        Wed Dec 31 00:39:50 2003 +0000
+++ b/lang/maude/MESSAGE        Wed Dec 31 01:20:35 2003 +0000
@@ -1,6 +1,7 @@
 ===========================================================================
-$NetBSD: MESSAGE,v 1.1 2001/11/01 00:24:05 zuntum Exp $
+$NetBSD: MESSAGE,v 1.2 2003/12/31 01:20:35 kristerw Exp $
 
-Kernel option COMPAT_LINUX is required for the package to work.
+In order for the maude binary to find the .maude files you should set
+the environment variable MAUDE_LIB to point to ${PREFIX}/share/maude.
 
 ===========================================================================
diff -r 0d21006e4f7a -r f2cc9456753c lang/maude/Makefile
--- a/lang/maude/Makefile       Wed Dec 31 00:39:50 2003 +0000
+++ b/lang/maude/Makefile       Wed Dec 31 01:20:35 2003 +0000
@@ -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@localhost
-HOMEPAGE=      http://maude.csl.sri.com/
+MAINTAINER=    kristerw%NetBSD.org@localhost
+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
+USE_BUILDLINK2=        YES
+GNU_CONFIGURE= YES
+CONFIGURE_ARGS+=       --datadir=${PREFIX}/share/maude
 
-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
-
+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"
diff -r 0d21006e4f7a -r f2cc9456753c lang/maude/PLIST
--- a/lang/maude/PLIST  Wed Dec 31 00:39:50 2003 +0000
+++ b/lang/maude/PLIST  Wed Dec 31 01:20:35 2003 +0000
@@ -1,29 +1,6 @@
-@comment $NetBSD: PLIST,v 1.1 2001/11/01 00:24:05 zuntum Exp $
+@comment $NetBSD: PLIST,v 1.2 2003/12/31 01:20:35 kristerw Exp $
 bin/maude
-bin/prelude.maude
-bin/full-maude.maude
-share/examples/maude/accnt.fm
-share/examples/maude/binary.maude
-share/examples/maude/duplicate-ten.maude
-share/examples/maude/duplicate.maude
-share/examples/maude/interoperability.fm
-share/examples/maude/max.fm
-share/examples/maude/meta-interpreter.maude
-share/examples/maude/meta-meta-nat.fm
-share/examples/maude/mini-maude.fm
-share/examples/maude/mini-maude.maude
-share/examples/maude/nd-int.maude
-share/examples/maude/nim-strategy.maude
-share/examples/maude/number-hierarchy.maude
-share/examples/maude/numbers.maude
-share/examples/maude/path.fm
-share/examples/maude/path.maude
-share/examples/maude/petri-net.maude
-share/examples/maude/set-hierarchy.maude
-share/examples/maude/sieve.maude
-share/examples/maude/sorting-strategy.maude
-share/examples/maude/sorting.maude
-share/examples/maude/stack.fm
-share/examples/maude/stack2.fm
-share/examples/maude/strategy.maude
-@dirrm share/examples/maude
+share/maude/fm.maude
+share/maude/model-checker.maude
+share/maude/prelude.maude
+@dirrm share/maude
diff -r 0d21006e4f7a -r f2cc9456753c lang/maude/distinfo
--- a/lang/maude/distinfo       Wed Dec 31 00:39:50 2003 +0000
+++ b/lang/maude/distinfo       Wed Dec 31 01:20:35 2003 +0000
@@ -1,4 +1,6 @@
-$NetBSD: distinfo,v 1.2 2001/04/19 15:00:53 agc Exp $
+$NetBSD: distinfo,v 1.3 2003/12/31 01:20:35 kristerw Exp $
 
-SHA1 (maude-linux.tar.Z) = 141ac96fb7f2b99e4a24ffd3f63565a7c3cff59a
-Size (maude-linux.tar.Z) = 772565 bytes
+SHA1 (maude-src.tar.gz) = 5682993dcb62bba1cd06e8bc21bf908e42dd3ecd
+Size (maude-src.tar.gz) = 1030863 bytes
+SHA1 (fm.maude) = db8f8d064956a1e8525b368353c3cae9270360d5
+Size (fm.maude) = 511212 bytes