From 97fa46c84f318315a1b757e7dd89d79729417909 Mon Sep 17 00:00:00 2001
From: Shawn Meier <shawn.meier@gmail.com>
Date: Mon, 16 May 2016 17:27:42 -0600
Subject: [PATCH] el capitan dylib fix

---
 README.md | 2 ++
 hopper.sh | 3 ++-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 8f48822..f3a47aa 100644
--- a/README.md
+++ b/README.md
@@ -21,6 +21,8 @@ make
 cp *.jar ../..
 cp *.dylib ../.. || cp *.so ../..
 cd ../..
+otool -L libz3java.dylib #this should show "libz3.dylib" with some version info behind it
+install_name_tool -change libz3.dylib `pwd`/libz3.dylib libz3java.dylib
 ```
 
 (3) In order to use the Android clients or compile/run the tests, you'll need a Droidel-processed Android framework JAR in lib/: `cp ../droidel/stubs/out/droidel_android-4.4.2_r1.jar lib` (assuming `droidel` and `hopper` are sibling directories).
diff --git a/hopper.sh b/hopper.sh
index 3d693ba..b42ebb9 100755
--- a/hopper.sh
+++ b/hopper.sh
@@ -11,4 +11,5 @@ LIB=$(pwd)/lib
 export LD_LIBRARY_PATH=$LIB:$LD_LIBRARY_PATH
 export DYLD_LIBRARY_PATH=$LIB:$DYLD_LIBRARY_PATH
 
-java -Xmx8g -jar $JAR $@
+echo $DYLD_LIBRARY_PATH
+java -Djava.library.path=$LIB -Xmx8g -jar $JAR $@