Re: [arch-general] Running Spin

2012-08-20 Thread andrea crotti
2012/8/20 Guillaume Brunerie : > > 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 before the /lib -> /u

Re: [arch-general] Running Spin

2012-08-20 Thread Guillaume Brunerie
On 2012/8/20 andrea crotti 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 and then compiled

[arch-general] Running Spin

2012-08-20 Thread andrea crotti
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 bu