sCASP
sCASP copied to clipboard
Executing scasp, on Ubuntu 22.04 gives an error
Issue
After cloning this repo, creating the scap executable with make, and trying to execute it with ./scasp, I got this error message:
/snap/swi-prolog/98/usr/lib/swipl/bin/x86_64-linux/swipl: error while loading shared libraries: libswipl.so.9: cannot open shared object file: No such file or directory
Context
- Ubuntu 22.04
- swipl was installed via default system method, which installs swi-prolog as a
snapapplication - In this situation, a call to
./scaspcannot locate the reported library - The same error is obtained, after doing a
make installand callingscasp
Workaround
Execute the command as
LD_LIBRARY_PATH=/snap/swi-prolog/current/usr/lib ./scasp
Preferred solution
Install scasp command as a snap application. [I'm sorry I was not able to submit a PR for this: I am not knowledgeable enough on snap to do it (yet)]