I was trying again to use spin after a long time, and it doesn't seem
to work on arch anymore:

[Src6.2.2]$ ./spin ../Samples/p102.pml
sh: /lib/cpp: No such file or directory
spin: preprocessing failed

I first installed it from AUR and then compiled it myself, compiling
doesn't give any problem but running
anything give the above problem.. Anyone saw that too?

Reply via email to