Arnaud, I'm not sure what the problem is exactly. To debug, from within
the 'prism' subdirectory:
- check that either classes/prism/PrismCL.class (if compiled from
source) or lib/prism.jar (if running a binary version) exist
- check that the setting of "PRISM_DIR" at the top of bin/prism looks
- try running 'bash -x bin/prism' for possible additional clues about
what is happening (and/or send us the output from that).
On 07/02/2022 17:10, Ramesh Kumar wrote:
> Check "Running PRISM on non-Windows platforms" at the link PRISM Manual
> | Installing PRISM / Common Problems And Questions
> Regards, ...Ramesh
> On Monday, February 7, 2022 at 3:54:07 AM UTC+5:30 a.san...@gmail.com
> One of my student has installed Prism on her machine under Ubuntu
> and when running prism, she got the following message :
> Error: Could not find or load main class prism.PrismCL
> caused by : java.lang.ClassNotFoundException: prism.PrismCL
> I have redone togther with her the installation both from binary and
> source files and always get this error message...
> I have seen that some people have this problem under windows, but
> never under linux...
> Has anyone got an idea on what I should look at to help her solve
> this issue ?
> Thank you for your help.
> Best regards,
> Arnaud Sangnier
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> To view this discussion on the web, visit