spin @5.25 does not work

[eckelmax@…]

when compiled and started with an pml

For example: hello.pml

active proctype main() {
  printf("Hello, world\n")
}

it cannot compile the pml because it does not find the cpp directory

$ spin hello.pml 
sh: /lib/cpp: No such file or directory
spin: preprocessing failed

This is because the following flags are missing from the makefile:

 -DMAC -DCPP="\"gcc -E -x c -xassembler-with-cpp\""

refer to ​http://spinroot.com/spin/Man/README.html#S1c

[jmr@…]

As per the ticket guidelines, please put the name of the port in the Port field.

[jann@…]

Can you provide a patch for this issue? I'm not currently using Spin, so it might be a bit longer until I will have the chance to look into this.

[eckelmax@…]

I don't know how to make a patch.

Appending

 -DMAC -DCPP="\"gcc -E -x c -xassembler-with-cpp\""

to the CFLAG in the makefile is enough.

[eckelmax@…]

I added the makefile and a patch. I hope it works. :)

[jann@…]

I just tried using your patch, but it does not fix the problem. I always used xspin which does not have this problem....

[jann@…]

Ok, fixed it in r73189. I forgot that I already set the CFLAGS in the port file in order to preserve the macport specific flags. So I just added the flags you supplied there.

Thanks.