8 files changed, 76 insertions, 368 deletions

diff --git a/lang/maude/Makefile b/lang/maude/Makefile
index 0ee312a97c34..36bad1e56576 100644
--- a/lang/maude/Makefile
+++ b/lang/maude/Makefile
@@ -6,28 +6,56 @@
 #
 
 PORTNAME=	maude
-PORTVERSION=	2.3
-PORTREVISION=	2
+PORTVERSION=	2.6
 CATEGORIES=	lang
 MASTER_SITES=	http://maude.cs.uiuc.edu/versions/${PORTVERSION}/
 DISTNAME=	Maude-${PORTVERSION}
 
-MAINTAINER=	rick@wzoeterwoude.net
+MAINTAINER=	joemann@beefree.free.de
 COMMENT=	A high-performance reflective language
 
 LIB_DEPENDS=	bdd:${PORTSDIR}/science/buddy \
 		tecla:${PORTSDIR}/devel/libtecla \
-		gmp:${PORTSDIR}/math/gmp
+		gmp:${PORTSDIR}/math/gmp \
+		sigsegv:${PORTSDIR}/devel/libsigsegv
 
 USE_BISON=	build
+USE_AUTOTOOLS=	aclocal autoheader automake
 GNU_CONFIGURE=	yes
 CPPFLAGS+=	-I${LOCALBASE}/include
 LDFLAGS+=	-L${LOCALBASE}/lib
 CONFIGURE_ARGS=	--datadir=${DATADIR}
 
+FULL_MAUDE_VER=	26b
+OPTIONS=	FULL_MAUDE "Install full-maude${FULL_MAUDE_VER}" On
+
+.include <bsd.port.options.mk>
+
+.if defined(WITH_FULL_MAUDE)
+MASTER_SITES+=	http://maude.lcc.uma.es/FullMaude/FM${FULL_MAUDE_VER}/:fm
+FULL_MAUDE=	full-maude${FULL_MAUDE_VER}.maude
+FULL_MAUDE_DIST=	${FULL_MAUDE}.zip
+DISTFILES=	${DISTNAME}${EXTRACT_SUFX} ${FULL_MAUDE_DIST}:fm
+EXTRACT_ONLY=	${DISTNAME}${EXTRACT_SUFX}
+EXTRACT_DEPENDS+=	unzip:${PORTSDIR}/archivers/unzip
+PLIST_SUB+=	FULL_MAUDE=""
+PLIST_SUB+=	FULL_MAUDE_VER="${FULL_MAUDE_VER}"
+.else
+PLIST_SUB+=	FULL_MAUDE="@comment "
+.endif
+
+.if defined(WITH_FULL_MAUDE)
+post-extract:
+	${UNZIP_CMD} ${DISTDIR}/${FULL_MAUDE_DIST} ${FULL_MAUDE} -d ${WRKDIR}
+.endif
+
 post-patch:
 	@${REINPLACE_CMD} -e 's|%%DATADIR%%|${DATADIR}|' \
 		${WRKSRC}/src/Mixfix/global.hh
 
+.if defined(WITH_FULL_MAUDE)
+post-install:
+	${INSTALL_DATA} ${WRKDIR}/${FULL_MAUDE} ${DATADIR}
+.endif
 
 .include <bsd.port.mk>
diff --git a/lang/maude/distinfo b/lang/maude/distinfo
index 13811e666a86..6cb40b68d79d 100644
--- a/lang/maude/distinfo
+++ b/lang/maude/distinfo
@@ -1,2 +1,4 @@
-SHA256 (Maude-2.3.tar.gz) = 67e88d8440fafc67e1121139de496c70844279291e37ba9bee369d113a92fddb
-SIZE (Maude-2.3.tar.gz) = 1441239
+SHA256 (Maude-2.6.tar.gz) = a5ba79bf3d30565c874e80b3531b51a7e835b600e86cac82508a6eb9e15f4aa0
+SIZE (Maude-2.6.tar.gz) = 1600026
+SHA256 (full-maude26b.maude.zip) = 57ebfc41056b7afc2be48983f6a1311e817d23eeaaed71023471bc4edaf6b128
+SIZE (full-maude26b.maude.zip) = 154881
diff --git a/lang/maude/files/patch-maude-data-dir.diff b/lang/maude/files/patch-maude-data-dir.diff
deleted file mode 100644
index bd85a4191571..000000000000
--- a/lang/maude/files/patch-maude-data-dir.diff
+++ /dev/null
@@ -1,35 +0,0 @@
---- src/Mixfix/global.hh.orig	2008-08-11 02:03:45.000000000 +0200
-+++ src/Mixfix/global.hh	2008-08-11 02:04:25.000000000 +0200
-@@ -36,6 +36,7 @@
- 
- #define PRELUDE_NAME	"prelude.maude"
- #define MAUDE_LIB	"MAUDE_LIB"
-+#define MAUDE_DATA_DIR	"%%DATADIR%%"
- 
- bool
- findPrelude(string& directory, string& fileName);
---- src/Mixfix/global.cc.orig	2008-08-11 01:48:58.000000000 +0200
-+++ src/Mixfix/global.cc	2008-08-11 01:53:15.000000000 +0200
-@@ -81,6 +81,8 @@
-       directory = ".";
-       if (directoryManager.checkAccess(directory, fileName, R_OK, ext))
- 	return true;
-+      if (directoryManager.checkAccess(MAUDE_DATA_DIR, fileName, R_OK,  ext))
-+	return true;
-       if (directoryManager.searchPath(MAUDE_LIB, directory, fileName, R_OK, ext))
- 	return true;
-       if (!(executableDirectory.empty()) &&
---- src/Main/main.cc.orig	2008-08-11 01:48:40.000000000 +0200
-+++ src/Main/main.cc	2008-08-11 01:55:01.000000000 +0200
-@@ -267,6 +267,11 @@
-       directory = executableDirectory;
-       return true;
-     }
-+  if (directoryManager.checkAccess(MAUDE_DATA_DIR, fileName, R_OK))
-+    {
-+      directory = MAUDE_DATA_DIR;
-+      return true;
-+    }
-   if (directoryManager.checkAccess(".", fileName, R_OK))
-     {
-       directory = ".";
diff --git a/lang/maude/files/patch-src-Main-Makefile.in b/lang/maude/files/patch-src-Main-Makefile.in
deleted file mode 100644
index bc609e8061a0..000000000000
--- a/lang/maude/files/patch-src-Main-Makefile.in
+++ /dev/null
@@ -1,327 +0,0 @@
---- src/Main/Makefile.in.orig	2007-02-02 19:22:06.000000000 -0600
-+++ src/Main/Makefile.in	2010-09-28 10:17:08.000000000 -0500
-@@ -1,2 +1,2 @@
--# Makefile.in generated by automake 1.9.1 from Makefile.am.
-+# Makefile.in generated by automake 1.10.3 from Makefile.am.
- # @configure_input@
-@@ -4,3 +4,4 @@
- # Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,
--# 2003, 2004  Free Software Foundation, Inc.
-+# 2003, 2004, 2005, 2006, 2007, 2008, 2009  Free Software Foundation,
-+# Inc.
- # This Makefile.in is free software; the Free Software Foundation
-@@ -16,6 +17,3 @@
- 
--SOURCES = $(maude_SOURCES)
- 
--srcdir = @srcdir@
--top_srcdir = @top_srcdir@
- VPATH = @srcdir@
-@@ -24,5 +22,3 @@
- pkgincludedir = $(includedir)/@PACKAGE@
--top_builddir = ../..
- am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
--INSTALL = @INSTALL@
- install_sh_DATA = $(install_sh) -c -m 644
-@@ -50,3 +46,3 @@
- CONFIG_CLEAN_FILES =
--am__installdirs = "$(DESTDIR)$(bindir)"
-+am__installdirs = "$(DESTDIR)$(bindir)" "$(DESTDIR)$(datadir)"
- binPROGRAMS_INSTALL = $(INSTALL_PROGRAM)
-@@ -55,6 +51,3 @@
- maude_OBJECTS = $(am_maude_OBJECTS)
--@BUILD_COMPILER_TRUE@am__DEPENDENCIES_1 =  \
--@BUILD_COMPILER_TRUE@	../FullCompiler/libfullCompiler.a
--am__DEPENDENCIES_2 =
--@USE_DLMALLOC_TRUE@am__DEPENDENCIES_3 = ../3rdParty/libdlmalloc.a
-+am__DEPENDENCIES_1 =
- maude_DEPENDENCIES = ../Mixfix/libmixfix.a \
-@@ -71,7 +64,6 @@
- 	../MSCP10/libmscp10.a ../Temporal/libtemporal.a \
--	../IO_Stuff/libIO_Stuff.a $(am__DEPENDENCIES_1) \
--	../Utility/libutility.a $(am__DEPENDENCIES_2) \
--	$(am__DEPENDENCIES_2) $(am__DEPENDENCIES_2) \
--	$(am__DEPENDENCIES_3)
--DEFAULT_INCLUDES = -I. -I$(srcdir) -I$(top_builddir)
-+	../IO_Stuff/libIO_Stuff.a $(FULL_COMPILER_LIB) \
-+	../Utility/libutility.a $(am__DEPENDENCIES_1) \
-+	$(am__DEPENDENCIES_1) $(am__DEPENDENCIES_1) $(DLMALLOC_LIB)
-+DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir)
- depcomp = $(SHELL) $(top_srcdir)/depcomp
-@@ -85,2 +77,10 @@
- DIST_SOURCES = $(maude_SOURCES)
-+am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`;
-+am__vpath_adj = case $$p in \
-+    $(srcdir)/*) f=`echo "$$p" | sed "s|^$$srcdirstrip/||"`;; \
-+    *) f=$$p;; \
-+  esac;
-+am__strip_dir = `echo $$p | sed -e 's|^.*/||'`;
-+dataDATA_INSTALL = $(INSTALL_DATA)
-+DATA = $(data_DATA)
- ETAGS = etags
-@@ -89,4 +89,2 @@
- ACLOCAL = @ACLOCAL@
--AMDEP_FALSE = @AMDEP_FALSE@
--AMDEP_TRUE = @AMDEP_TRUE@
- AMTAR = @AMTAR@
-@@ -98,4 +96,2 @@
- BUDDY_LIB = @BUDDY_LIB@
--BUILD_COMPILER_FALSE = @BUILD_COMPILER_FALSE@
--BUILD_COMPILER_TRUE = @BUILD_COMPILER_TRUE@
- CC = @CC@
-@@ -118,2 +114,4 @@
- GMP_LIBS = @GMP_LIBS@
-+GREP = @GREP@
-+INSTALL = @INSTALL@
- INSTALL_DATA = @INSTALL_DATA@
-@@ -127,2 +125,3 @@
- MAKEINFO = @MAKEINFO@
-+MKDIR_P = @MKDIR_P@
- OBJEXT = @OBJEXT@
-@@ -133,2 +132,3 @@
- PACKAGE_TARNAME = @PACKAGE_TARNAME@
-+PACKAGE_URL = @PACKAGE_URL@
- PACKAGE_VERSION = @PACKAGE_VERSION@
-@@ -140,13 +140,9 @@
- TECLA_LIBS = @TECLA_LIBS@
--USE_DLMALLOC_FALSE = @USE_DLMALLOC_FALSE@
--USE_DLMALLOC_TRUE = @USE_DLMALLOC_TRUE@
- VERSION = @VERSION@
-+abs_builddir = @abs_builddir@
-+abs_srcdir = @abs_srcdir@
-+abs_top_builddir = @abs_top_builddir@
-+abs_top_srcdir = @abs_top_srcdir@
- ac_ct_CC = @ac_ct_CC@
- ac_ct_CXX = @ac_ct_CXX@
--ac_ct_RANLIB = @ac_ct_RANLIB@
--ac_ct_STRIP = @ac_ct_STRIP@
--am__fastdepCC_FALSE = @am__fastdepCC_FALSE@
--am__fastdepCC_TRUE = @am__fastdepCC_TRUE@
--am__fastdepCXX_FALSE = @am__fastdepCXX_FALSE@
--am__fastdepCXX_TRUE = @am__fastdepCXX_TRUE@
- am__include = @am__include@
-@@ -162,3 +158,7 @@
- build_vendor = @build_vendor@
-+builddir = @builddir@
- datadir = @datadir@
-+datarootdir = @datarootdir@
-+docdir = @docdir@
-+dvidir = @dvidir@
- exec_prefix = @exec_prefix@
-@@ -169,2 +169,3 @@
- host_vendor = @host_vendor@
-+htmldir = @htmldir@
- includedir = @includedir@
-@@ -174,2 +175,3 @@
- libexecdir = @libexecdir@
-+localedir = @localedir@
- localstatedir = @localstatedir@
-@@ -178,8 +180,22 @@
- oldincludedir = @oldincludedir@
-+pdfdir = @pdfdir@
- prefix = @prefix@
- program_transform_name = @program_transform_name@
-+psdir = @psdir@
- sbindir = @sbindir@
- sharedstatedir = @sharedstatedir@
-+srcdir = @srcdir@
- sysconfdir = @sysconfdir@
- target_alias = @target_alias@
-+top_build_prefix = @top_build_prefix@
-+top_builddir = @top_builddir@
-+top_srcdir = @top_srcdir@
-+data_DATA = \
-+	prelude.maude \
-+	model-checker.maude \
-+	socket.maude \
-+	linear.maude \
-+	machine-int.maude \
-+	term-order.maude
-+
- @BUILD_COMPILER_TRUE@FULL_COMPILER_LIB = ../FullCompiler/libfullCompiler.a
-@@ -260,4 +276,4 @@
- 	    *$$dep*) \
--	      cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh \
--		&& exit 0; \
-+	      ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \
-+	        && { if test -f $@; then exit 0; else break; fi; }; \
- 	      exit 1;; \
-@@ -310,3 +326,3 @@
- 	@rm -f maude$(EXEEXT)
--	$(CXXLINK) $(maude_LDFLAGS) $(maude_OBJECTS) $(maude_LDADD) $(LIBS)
-+	$(CXXLINK) $(maude_OBJECTS) $(maude_LDADD) $(LIBS)
- 
-@@ -321,4 +337,4 @@
- .cc.o:
--@am__fastdepCXX_TRUE@	if $(CXXCOMPILE) -MT $@ -MD -MP -MF "$(DEPDIR)/$*.Tpo" -c -o $@ $<; \
--@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/$*.Tpo" "$(DEPDIR)/$*.Po"; else rm -f "$(DEPDIR)/$*.Tpo"; exit 1; fi
-+@am__fastdepCXX_TRUE@	$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
-+@am__fastdepCXX_TRUE@	mv -f $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
- @AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
-@@ -328,4 +344,4 @@
- .cc.obj:
--@am__fastdepCXX_TRUE@	if $(CXXCOMPILE) -MT $@ -MD -MP -MF "$(DEPDIR)/$*.Tpo" -c -o $@ `$(CYGPATH_W) '$<'`; \
--@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/$*.Tpo" "$(DEPDIR)/$*.Po"; else rm -f "$(DEPDIR)/$*.Tpo"; exit 1; fi
-+@am__fastdepCXX_TRUE@	$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ `$(CYGPATH_W) '$<'`
-+@am__fastdepCXX_TRUE@	mv -f $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
- @AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
-@@ -335,4 +351,4 @@
- maude-main.o: main.cc
--@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(maude_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT maude-main.o -MD -MP -MF "$(DEPDIR)/maude-main.Tpo" -c -o maude-main.o `test -f 'main.cc' || echo '$(srcdir)/'`main.cc; \
--@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/maude-main.Tpo" "$(DEPDIR)/maude-main.Po"; else rm -f "$(DEPDIR)/maude-main.Tpo"; exit 1; fi
-+@am__fastdepCXX_TRUE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(maude_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT maude-main.o -MD -MP -MF $(DEPDIR)/maude-main.Tpo -c -o maude-main.o `test -f 'main.cc' || echo '$(srcdir)/'`main.cc
-+@am__fastdepCXX_TRUE@	mv -f $(DEPDIR)/maude-main.Tpo $(DEPDIR)/maude-main.Po
- @AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='main.cc' object='maude-main.o' libtool=no @AMDEPBACKSLASH@
-@@ -342,4 +358,4 @@
- maude-main.obj: main.cc
--@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(maude_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT maude-main.obj -MD -MP -MF "$(DEPDIR)/maude-main.Tpo" -c -o maude-main.obj `if test -f 'main.cc'; then $(CYGPATH_W) 'main.cc'; else $(CYGPATH_W) '$(srcdir)/main.cc'; fi`; \
--@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/maude-main.Tpo" "$(DEPDIR)/maude-main.Po"; else rm -f "$(DEPDIR)/maude-main.Tpo"; exit 1; fi
-+@am__fastdepCXX_TRUE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(maude_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT maude-main.obj -MD -MP -MF $(DEPDIR)/maude-main.Tpo -c -o maude-main.obj `if test -f 'main.cc'; then $(CYGPATH_W) 'main.cc'; else $(CYGPATH_W) '$(srcdir)/main.cc'; fi`
-+@am__fastdepCXX_TRUE@	mv -f $(DEPDIR)/maude-main.Tpo $(DEPDIR)/maude-main.Po
- @AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='main.cc' object='maude-main.obj' libtool=no @AMDEPBACKSLASH@
-@@ -347,3 +363,19 @@
- @am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(maude_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o maude-main.obj `if test -f 'main.cc'; then $(CYGPATH_W) 'main.cc'; else $(CYGPATH_W) '$(srcdir)/main.cc'; fi`
--uninstall-info-am:
-+install-dataDATA: $(data_DATA)
-+	@$(NORMAL_INSTALL)
-+	test -z "$(datadir)" || $(mkdir_p) "$(DESTDIR)$(datadir)"
-+	@list='$(data_DATA)'; for p in $$list; do \
-+	  if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
-+	  f=$(am__strip_dir) \
-+	  echo " $(dataDATA_INSTALL) '$$d$$p' '$(DESTDIR)$(datadir)/$$f'"; \
-+	  $(dataDATA_INSTALL) "$$d$$p" "$(DESTDIR)$(datadir)/$$f"; \
-+	done
-+
-+uninstall-dataDATA:
-+	@$(NORMAL_UNINSTALL)
-+	@list='$(data_DATA)'; for p in $$list; do \
-+	  f=$(am__strip_dir) \
-+	  echo " rm -f '$(DESTDIR)$(datadir)/$$f'"; \
-+	  rm -f "$(DESTDIR)$(datadir)/$$f"; \
-+	done
- 
-@@ -354,4 +386,4 @@
- 	  done | \
--	  $(AWK) '    { files[$$0] = 1; } \
--	       END { for (i in files) print i; }'`; \
-+	  $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
-+	      END { if (nonempty) { for (i in files) print i; }; }'`; \
- 	mkid -fID $$unique
-@@ -367,4 +399,4 @@
- 	  done | \
--	  $(AWK) '    { files[$$0] = 1; } \
--	       END { for (i in files) print i; }'`; \
-+	  $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
-+	      END { if (nonempty) { for (i in files) print i; }; }'`; \
- 	if test -z "$(ETAGS_ARGS)$$tags$$unique"; then :; else \
-@@ -378,3 +410,2 @@
- 	tags=; \
--	here=`pwd`; \
- 	list='$(SOURCES) $(HEADERS)  $(LISP) $(TAGS_FILES)'; \
-@@ -383,4 +414,4 @@
- 	  done | \
--	  $(AWK) '    { files[$$0] = 1; } \
--	       END { for (i in files) print i; }'`; \
-+	  $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
-+	      END { if (nonempty) { for (i in files) print i; }; }'`; \
- 	test -z "$(CTAGS_ARGS)$$tags$$unique" \
-@@ -398,18 +429,17 @@
- distdir: $(DISTFILES)
--	@srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; \
--	topsrcdirstrip=`echo "$(top_srcdir)" | sed 's|.|.|g'`; \
--	list='$(DISTFILES)'; for file in $$list; do \
--	  case $$file in \
--	    $(srcdir)/*) file=`echo "$$file" | sed "s|^$$srcdirstrip/||"`;; \
--	    $(top_srcdir)/*) file=`echo "$$file" | sed "s|^$$topsrcdirstrip/|$(top_builddir)/|"`;; \
--	  esac; \
-+	@srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
-+	topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
-+	list='$(DISTFILES)'; \
-+	  dist_files=`for file in $$list; do echo $$file; done | \
-+	  sed -e "s|^$$srcdirstrip/||;t" \
-+	      -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
-+	case $$dist_files in \
-+	  */*) $(mkdir_p) `echo "$$dist_files" | \
-+			   sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
-+			   sort -u` ;; \
-+	esac; \
-+	for file in $$dist_files; do \
- 	  if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
--	  dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
--	  if test "$$dir" != "$$file" && test "$$dir" != "."; then \
--	    dir="/$$dir"; \
--	    $(mkdir_p) "$(distdir)$$dir"; \
--	  else \
--	    dir=''; \
--	  fi; \
- 	  if test -d $$d/$$file; then \
-+	    dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
- 	    if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
-@@ -426,5 +456,5 @@
- check: check-am
--all-am: Makefile $(PROGRAMS)
-+all-am: Makefile $(PROGRAMS) $(DATA)
- installdirs:
--	for dir in "$(DESTDIR)$(bindir)"; do \
-+	for dir in "$(DESTDIR)$(bindir)" "$(DESTDIR)$(datadir)"; do \
- 	  test -z "$$dir" || $(mkdir_p) "$$dir"; \
-@@ -471,2 +501,4 @@
- 
-+html-am:
-+
- info: info-am
-@@ -475,3 +507,7 @@
- 
--install-data-am:
-+install-data-am: install-dataDATA
-+
-+install-dvi: install-dvi-am
-+
-+install-dvi-am:
- 
-@@ -479,6 +515,20 @@
- 
-+install-html: install-html-am
-+
-+install-html-am:
-+
- install-info: install-info-am
- 
-+install-info-am:
-+
- install-man:
- 
-+install-pdf: install-pdf-am
-+
-+install-pdf-am:
-+
-+install-ps: install-ps-am
-+
-+install-ps-am:
-+
- installcheck-am:
-@@ -502,3 +552,5 @@
- 
--uninstall-am: uninstall-binPROGRAMS uninstall-info-am
-+uninstall-am: uninstall-binPROGRAMS uninstall-dataDATA
-+
-+.MAKE: install-am install-strip
- 
-@@ -508,8 +560,11 @@
- 	html-am info info-am install install-am install-binPROGRAMS \
--	install-data install-data-am install-exec install-exec-am \
--	install-info install-info-am install-man install-strip \
--	installcheck installcheck-am installdirs maintainer-clean \
--	maintainer-clean-generic mostlyclean mostlyclean-compile \
--	mostlyclean-generic pdf pdf-am ps ps-am tags uninstall \
--	uninstall-am uninstall-binPROGRAMS uninstall-info-am
-+	install-data install-data-am install-dataDATA install-dvi \
-+	install-dvi-am install-exec install-exec-am install-html \
-+	install-html-am install-info install-info-am install-man \
-+	install-pdf install-pdf-am install-ps install-ps-am \
-+	install-strip installcheck installcheck-am installdirs \
-+	maintainer-clean maintainer-clean-generic mostlyclean \
-+	mostlyclean-compile mostlyclean-generic pdf pdf-am ps ps-am \
-+	tags uninstall uninstall-am uninstall-binPROGRAMS \
-+	uninstall-dataDATA
- 
diff --git a/lang/maude/files/patch-src__Main__main.cc b/lang/maude/files/patch-src__Main__main.cc
new file mode 100644
index 000000000000..2b5abf673349
--- /dev/null
+++ b/lang/maude/files/patch-src__Main__main.cc
@@ -0,0 +1,14 @@
+--- ./src/Main/main.cc.orig	2010-03-19 22:29:26.000000000 +0100
++++ ./src/Main/main.cc	2011-11-10 19:33:07.000000000 +0100
+@@ -269,6 +269,11 @@
+       directory = executableDirectory;
+       return true;
+     }
++  if (directoryManager.checkAccess(MAUDE_DATADIR, fileName, R_OK))
++    {
++      directory = MAUDE_DATADIR;
++      return true;
++    }
+   if (directoryManager.checkAccess(".", fileName, R_OK))
+     {
+       directory = ".";
diff --git a/lang/maude/files/patch-src__Mixfix__global.cc b/lang/maude/files/patch-src__Mixfix__global.cc
new file mode 100644
index 000000000000..13d161784e77
--- /dev/null
+++ b/lang/maude/files/patch-src__Mixfix__global.cc
@@ -0,0 +1,14 @@
+--- ./src/Mixfix/global.cc.orig	2006-10-07 01:09:16.000000000 +0200
++++ ./src/Mixfix/global.cc	2011-11-10 19:36:44.000000000 +0100
+@@ -89,6 +89,11 @@
+ 	  directory = executableDirectory;
+ 	  return true;
+ 	}
++      if (directoryManager.checkAccess(MAUDE_DATADIR, fileName, R_OK, ext))
++	{
++	  directory = MAUDE_DATADIR;
++	  return true;
++	}
+     }
+   else if (p + 1 < userFileName.length())
+     {
diff --git a/lang/maude/files/patch-src__Mixfix__global.hh b/lang/maude/files/patch-src__Mixfix__global.hh
new file mode 100644
index 000000000000..6c0965544bde
--- /dev/null
+++ b/lang/maude/files/patch-src__Mixfix__global.hh
@@ -0,0 +1,10 @@
+--- ./src/Mixfix/global.hh.orig	2006-10-07 01:09:50.000000000 +0200
++++ ./src/Mixfix/global.hh	2011-10-12 14:05:37.000000000 +0200
+@@ -36,6 +36,7 @@
+ 
+ #define PRELUDE_NAME	"prelude.maude"
+ #define MAUDE_LIB	"MAUDE_LIB"
++#define MAUDE_DATADIR	"%%DATADIR%%"
+ 
+ bool
+ findPrelude(string& directory, string& fileName);
diff --git a/lang/maude/pkg-plist b/lang/maude/pkg-plist
index 02184c669162..bda7e4e1f4d9 100644
--- a/lang/maude/pkg-plist
+++ b/lang/maude/pkg-plist
@@ -1,6 +1,8 @@
 bin/maude
+%%FULL_MAUDE%%%%DATADIR%%/full-maude%%FULL_MAUDE_VER%%.maude
 %%DATADIR%%/linear.maude
 %%DATADIR%%/machine-int.maude
+%%DATADIR%%/metaInterpreter.maude
 %%DATADIR%%/model-checker.maude
 %%DATADIR%%/prelude.maude
 %%DATADIR%%/socket.maude