diff options
| author | Michael Scheidell <scheidell@FreeBSD.org> | 2011-12-03 20:41:56 +0000 |
|---|---|---|
| committer | Michael Scheidell <scheidell@FreeBSD.org> | 2011-12-03 20:41:56 +0000 |
| commit | 67fac3c3e76b822576d4da2df4ee06cebe39d556 (patch) | |
| tree | b89548f60d309159191248267bc2bb802d5aab4d /lang/maude/files/patch-src__Main__main.cc | |
| 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
Notes
Notes:
svn path=/head/; revision=286822
Diffstat (limited to 'lang/maude/files/patch-src__Main__main.cc')
| -rw-r--r-- | lang/maude/files/patch-src__Main__main.cc | 14 |
1 files changed, 14 insertions, 0 deletions
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 = "."; |