Closed gerasimou closed 3 years ago
OS X sanitizes the environment variables, in particular DYLD_LIBRARY_PATH for binaries that are executed from 'system' directories. So, for example, simply running java will likely start the binary in /usr/bin.
The solution is to extract the java directory using PRISM_JAVA=/usr/libexec/java_home"/bin/java"
/usr/libexec/java_home
Check https://groups.google.com/forum/#!topic/prismmodelchecker/DHXhZcaxzY0 and https://github.com/prismmodelchecker/prism/commit/cd4e8cba19519eee26bb9b4169d60a66bd28b2fc#diff-b99df3172e000e2c6781c4ea90a921dd
OS X sanitizes the environment variables, in particular DYLD_LIBRARY_PATH for binaries that are executed from 'system' directories. So, for example, simply running java will likely start the binary in /usr/bin.