[arch-general] Running Spin

andrea crotti andrea.crotti.0 at gmail.com
Mon Aug 20 12:30:33 EDT 2012


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?


More information about the arch-general mailing list