mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-15 03:14:23 +00:00
67fac3c3e7
- 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
15 lines
398 B
C++
15 lines
398 B
C++
--- ./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())
|
|
{
|