PRISM model checker, Library not loaded: ../../lib/libdd.dylib after upgrading to OSX El Capitan

Question

I just upgraded my mac to El Capitan. I'm trying to run the prism model checker which works well in Yosemite and came across the following error:

java.lang.UnsatisfiedLinkError: /Users/xxx/Applications/prism-4.2.1-osx64/lib/libjdd.dylib: dlopen(/Users/xxx/Applications/prism-4.2.1-osx64/lib/libjdd.dylib, 1): Library not loaded: ../../lib/libdd.dylib Referenced from: /Users/xxx/Applications/prism-4.2.1-osx64/lib/libjdd.dylib Reason: image not found

But I checked the lib folder, libjdd.dylib is there.

Answer 1

Update your java path in the prism.

1. Open the prism executable (prism-osx/bin/prism) in a text editor.

2. Edit the line PRISM_JAVA=java to

PRISM_JAVA="/Library/Java/JavaVirtualMachines/jdk1.8.0_60.jdk/Contents/Home/bin/java"

Or whatever the path of your java is which you can find using "sudo find / -name java"

3. Save and now execute the prism or xprism.

It should work.