summaryrefslogtreecommitdiff
path: root/lang/maude/files/patch-src_Mixfix_main.cc
blob: 96138bd9b6792954fd2a623d5215374b45e2d124 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
--- src/Mixfix/main.cc.orig	Wed Apr  5 22:46:48 2006
+++ src/Mixfix/main.cc	Wed Apr  5 22:49:23 2006
@@ -284,6 +284,11 @@
       directory = ".";
       return true;
     }
+  if (directoryManager.checkAccess("%%DATADIR%%", fileName, R_OK))
+    {
+      directory = "%%DATADIR%%";
+      return true;
+    }
   IssueWarning(LineNumber(FileTable::AUTOMATIC) <<
 	       ": unable to locate file: " << QUOTE(fileName));
   return false;
@@ -307,6 +312,11 @@
 	  directoryManager.checkAccess(executableDirectory, fileName, R_OK, ext))
 	{
 	  directory = executableDirectory;
+	  return true;
+	}
+      if (directoryManager.checkAccess("%%DATADIR%%", fileName, R_OK))
+	{
+	  directory = "%%DATADIR%%";
 	  return true;
 	}
     }