aboutsummaryrefslogtreecommitdiff
path: root/lang/maude
diff options
context:
space:
mode:
authorMichael Scheidell <scheidell@FreeBSD.org>2011-12-03 20:41:56 +0000
committerMichael Scheidell <scheidell@FreeBSD.org>2011-12-03 20:41:56 +0000
commit67fac3c3e76b822576d4da2df4ee06cebe39d556 (patch)
treeb89548f60d309159191248267bc2bb802d5aab4d /lang/maude
parent89c9f3df7cbc69b32a741d1d57cd83d85b6e7aa7 (diff)
downloadports-67fac3c3e76b822576d4da2df4ee06cebe39d556.tar.gz
ports-67fac3c3e76b822576d4da2df4ee06cebe39d556.zip
Notes
Diffstat (limited to 'lang/maude')
-rw-r--r--lang/maude/Makefile36
-rw-r--r--lang/maude/distinfo6
-rw-r--r--lang/maude/files/patch-maude-data-dir.diff35
-rw-r--r--lang/maude/files/patch-src-Main-Makefile.in327
-rw-r--r--lang/maude/files/patch-src__Main__main.cc14
-rw-r--r--lang/maude/files/patch-src__Mixfix__global.cc14
-rw-r--r--lang/maude/files/patch-src__Mixfix__global.hh10
-rw-r--r--lang/maude/pkg-plist2
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