Verify error

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Open a jspin example
2. Do Verify
3.

What is the expected output? What do you see instead?
I don't really know what to expect. Here's whar I see:
"bin\spin.exe -a fourth.pml ... done!
c:\mingw\bin\gcc.exe  -DSAFETY  -o pan pan.c ... done!
C:\jspin\jspin-examples\pan  -m2000 -X ... IO exception
java.io.IOException: Cannot run program "C:\jspin\jspin-examples\pan" (in 
directory "C:\jspin\jspin-examples"): CreateProcess error=2, The system cannot 
find the file specifieddone!"

What version of the product are you using? On what operating system?
5.0 on Windows 8

Please provide any additional information below.

Original issue reported on code.google.com by luispedr...@gmail.com on 14 Oct 2013 at 12:29

[GoogleCodeExporter]

See the reply to issue 7. It is almost certainly caused by a problem with a 
path.

Original comment by moti.ben.ari@gmail.com on 14 Oct 2013 at 2:20

[GoogleCodeExporter]

I had already done that, and on jspin folder I have the following pan files: 
pan.b, pan.c, pan.h, pan.m, pan.t. I don't really know much about this, since I 
am a beginner, so I have very little clues on how to fix the problem.

Original comment by luispedr...@gmail.com on 14 Oct 2013 at 4:33

[GoogleCodeExporter]

Add "c:\mingw\bin\" to the windows "PATH".
You do this from start/settings/control panel/system/advanced/environment 
variables.

Original comment by moti.ben.ari@gmail.com on 15 Oct 2013 at 5:42

[GoogleCodeExporter]

I had already done that. That's the answer to issue 7. But unfortunately it did 
not work.

Original comment by luispedr...@gmail.com on 15 Oct 2013 at 12:34

[GoogleCodeExporter]

Same problem here. I tried to compile the code from the commandline with "gcc 
-DSAFETY  -o pan pan.c". The error message I got is comparable to what I found 
on stackoverflow:

http://stackoverflow.com/questions/15367603/long-long-long-is-too-long-for-gcc

Original comment by marccor...@gmail.com on 8 Dec 2013 at 12:41

[GoogleCodeExporter]

[deleted comment]

[GoogleCodeExporter]

So it works. Now I doubt that my problem was the same after all, for it seems 
that different compiler problems give the same error in jspin. So maybe trying 
to compile the pan.c file manually and checking the compiler output will 
provide some answers. 
Anyway:

First: I found out that I had two gcc compilers installed. 'gcc -DSAFETY -o pan 
pan.c'  used the gcc compiler from the strawberry perl distribution. This 
resulted in the long long long error mentioned in my previous message. So I 
uninstalled this perl distribution.

At this point I should have checked if the gcc command was now working 
correctly. Which only after a few more steps I found out it didn't. Now I don't 
know if my Path variable was still incorrect, or that maybe the restart of 
command prompt would solve the next problems. The next problem could have been 
a simple Path problem.

Second problem: a missing dll error. However, I used the command 
"C:\mingw\bin\gcc -DSAFETY ..." from the jspin console instead of "gcc -o ... 
". Is this the dll also mentioned on the front page of this project? Anyway, 
google got me here: 
http://stackoverflow.com/questions/6951938/libgmp-10-dll-is-missing

Downloaded the dll mentioned in one of the answers: 
http://sourceforge.net/projects/mingw/files/MinGW/Base/gmp/gmp-5.0.1-1/libgmp-5.
0.1-1-mingw32-dll-10.tar.lzma/download and put it in the MinGW/bin folder 

I also made sure the mingw/bin was in the Path variable as "Have you tried 
adding c:/MinGW/bin to the windows system Path (not PATH)?" was the top answer. 

Still the dll error, only now I make sure 'gcc' is recognized as a command, 
which was not the case. As I was very sure my path variable was correct at this 
point I restarted the command prompt to check if maybe that will refresh my 
path and get 'gcc' to work. Which it did.

Now everything works. 

Original comment by marccor...@gmail.com on 8 Dec 2013 at 1:45

[GoogleCodeExporter]

Hi Everyone,
I'm really sorry that you're having problems, but there is nothing I can, as I 
have only one system (Windows with MinGW). jSpin uses a Java "ProcessBuilder" 
and it has always worked OK for me provided that I set the location of the 
compiler executable in the PATH. Thanks to everyone contributing to solving 
this.
Moti

Original comment by moti.ben.ari@gmail.com on 8 Dec 2013 at 10:50