Spinroot

A forum for Spin users

You are not logged in.

#1 2013-05-23 15:12:44

pratikdesai12
Member
Registered: 2013-05-16
Posts: 7

#error to use -DPEG use: spin -o3 -a

i keep trying to run my code when is run with
$spin -a + .pml file its works properly and does not give me any error but when i try compiling it with
$ cc -o pan pan.c it gives me the above mentioned error.
i dont have clue what does it mean and i am stuck here
please help.

Offline

#2 2013-05-25 19:17:21

spinroot
forum
Registered: 2010-11-18
Posts: 695
Website

Re: #error to use -DPEG use: spin -o3 -a

It means that instead of using the command "spin -a" to generate the verifier (pan.c), you should use "spin -o3 -a"
(That is: add the flag -o3)

Offline

#3 2013-06-24 15:41:02

pratikdesai12
Member
Registered: 2013-05-16
Posts: 7

Re: #error to use -DPEG use: spin -o3 -a

ok thank you very much smile

Offline

Board footer

Powered by FluxBB