summaryrefslogtreecommitdiff
path: root/lang/maude/files/patch-src__Mixfix__global.hh
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/files/patch-src__Mixfix__global.hh
parent-hasunsetenv test fails because main() has wrong return type (diff)
- Update to 2.6.
- Make all files in ${DATADIR} loadable by filename without an explicit path, and without setting MAUDE_LIB. Currently only ${DATADIR}/prelude.maude is loaded (during startup). - Add option FULL_MAUDE (default: on) for user convenience. This installs full-maude26b.maude into ${DATADIR}. - previous maintainer turns port over to committer PR: ports/162955 Submitted by: joemann@beefree.free.de Reviewed by: info@rickvanderzwet.nl Approved by: maintainer, gabor(mentor) Feature safe: yes
Diffstat (limited to 'lang/maude/files/patch-src__Mixfix__global.hh')
-rw-r--r--lang/maude/files/patch-src__Mixfix__global.hh10
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);