On 2012/8/20 andrea crotti andrea.crott...@gmail.com wrote:
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
2012/8/20 Guillaume Brunerie guillaume.brune...@gmail.com:
Hello,
Did you try to recompile it?
According to the FHS,
If a C preprocessor is installed, /lib/cpp must be a reference to it, for
historical reasons.
But it seems that ArchLinux got rid of it recently (this file was
present
2 matches
Mail list logo
