search bins even if not in path

haslab · May 22, 2018 · 35a5525 · 35a5525
1 parent 25a1111
commit 35a5525
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -22,7 +22,7 @@ To perform analyses on an unbounded time horizon, one needs to have installed [E
 
 ## Building Electrum Analyzer
 
-The Electrum Analyzer requires Java 7 and can be built using Maven. The script will also build Kodkod/Pardinus.
+The Electrum Analyzer requires Java 8 and can be built using Maven. The script will also build Kodkod/Pardinus.
 
 * Clone the Electrum repository, as well as Pardinus' as a submodule 
 

diff --git a/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/PreferencesDialog.java b/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/PreferencesDialog.java
@@ -243,7 +243,7 @@ private static boolean staticLibrary(String name) {
           }
        }
 	   // check if in system path
-	   for (String str : System.getenv("PATH").split(Pattern.quote(File.pathSeparator))) {
+	   for (String str : (System.getenv("PATH")+":/usr/local/bin").split(Pattern.quote(File.pathSeparator))) {
 		   Path pth = Paths.get(str);
 		   if (Files.exists(pth.resolve(name))) {
               System.out.println("Loaded: " + name);