From 67fac3c3e76b822576d4da2df4ee06cebe39d556 Mon Sep 17 00:00:00 2001 From: Michael Scheidell Date: Sat, 3 Dec 2011 20:41:56 +0000 Subject: - 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 --- lang/maude/files/patch-src__Main__main.cc | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 lang/maude/files/patch-src__Main__main.cc (limited to 'lang/maude/files/patch-src__Main__main.cc') 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 = "."; -- cgit v1.2.3