diff options
Diffstat (limited to 'lang/maude/files/patch-src__Mixfix__global.hh')
| -rw-r--r-- | lang/maude/files/patch-src__Mixfix__global.hh | 10 |
1 files changed, 10 insertions, 0 deletions
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); |