Spinroot

When I run the pan.exe file via Windows Command Prompt I get the following error:

Ex: spin -a prodcon.pml
     gcc -o pan pan.c
     pan.exe

spin: error, the version of spin that generated this pan.c assumed a different wordsize (4 iso 8)

Currently I am using a 64-bit system with Window 10 and have tried to use both cygwin and cygwin64 libraries and the 32-bit windows version of Spin.

I read in this forum that the error is caused by "the difference in compiler and platform used to compile spin itself and to compile the pan.c files".

So if I am on a 64-bit system with Windows 10 and there is only a 32 bit windows version of Spin I need to find a different platform to run it on?

I want to make sure I am understanding this right and that this is the correct choice before I go find a different platform to work on.

-Matt Wagner