Opened 10 years ago

Closed 10 years ago

#27061 closed defect (fixed)

spin @5.25 does not work

Reported by: eckelmax@… Owned by: roederja
Priority: Normal Milestone:
Component: ports Version: 1.9.1
Keywords: Cc:
Port: spin

Description

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

Attachments (2)

makefile.patch (733 bytes) - added by eckelmax@… 10 years ago.
makefile (2.8 KB) - added by eckelmax@… 10 years ago.

Download all attachments as: .zip

Change History (8)

comment:1 Changed 10 years ago by jmroot (Joshua Root)

Cc: jann@… removed
Keywords: spin removed
Owner: changed from macports-tickets@… to jann@…
Port: spin added

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

comment:2 Changed 10 years ago by roederja

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.

comment:3 Changed 10 years ago by 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.

Changed 10 years ago by eckelmax@…

Attachment: makefile.patch added

Changed 10 years ago by eckelmax@…

Attachment: makefile added

comment:4 Changed 10 years ago by eckelmax@…

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

comment:5 Changed 10 years ago by roederja

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

comment:6 Changed 10 years ago by roederja

Resolution: fixed
Status: newclosed

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.

Note: See TracTickets for help on using tickets.