Spinroot

A forum for Spin users

You are not logged in.

#1 2017-05-16 17:55:11

M_Wagner
Member
Registered: 2017-05-16
Posts: 1

Platform/Compiler Mismatch Question

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

Offline

#2 2017-05-17 03:41:53

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

Re: Platform/Compiler Mismatch Question

You could try to compile spin from sources on Windows 10, 64 bit.
That would solve the problem.  You're right that the precompiled Windows version is only 32-bit
Spin should compile without problems -- so that's worth a try.

Offline

Board footer

Powered by FluxBB