file pan not found - Githubissues

GoogleCodeExporter commented 8 years ago

What steps will reproduce the problem?
1. start jspin.jar
2. file->open->count.pml (or another file)
3. press "verify"

What is the expected output? What do you see instead?

bin\spin.exe -a count.pml ... done!
c:\mingw\bin\gcc.exe  -DSAFETY  -o pan pan.c ... done!
E:\SPIN\jspin\jspin-examples\pan  -m2000 -X ... IO exception
java.io.IOException: Cannot run program "E:\SPIN\jspin\jspin-examples\pan" (in 
directory "E:\SPIN\jspin\jspin-examples"): CreateProcess error=2, Íå 
óäàåòñÿ íàéòè óêàçàííûé ôàéëdone!

it's a result of run dir on \jspin-exaples\
 ’®¬ ў гбва®©бвўҐ E Ґ Ё¬ҐҐв ¬ҐвЄЁ.
 ‘ҐаЁ©л© ®¬Ґа в®¬ : DC63-A61D

 ‘®¤Ґа¦Ё¬®Ґ Ї ЇЄЁ E:\SPIN\jspin\jspin-examples

19.03.2011  02:42    <DIR>          .
19.03.2011  02:42    <DIR>          ..
15.12.2010  09:27               980 barz.pml
07.03.2010  08:59               476 count.pml
19.03.2011  02:38               161 count.spd
09.12.2010  17:54             1я021 dekker.pml
08.12.2010  23:35               664 fourth.pml
09.12.2010  18:10             1я787 frogs.pml
19.03.2011  02:39               777 pan.b
19.03.2011  02:39           287я756 pan.c
19.03.2011  02:39            11я148 pan.h
19.03.2011  02:39             3я076 pan.m
19.03.2011  02:39            19я110 pan.t
07.03.2010  08:59               426 second.pml
07.03.2010  08:59               248 sem-busy.pml
07.03.2010  08:59               470 sem-ch.pml
07.03.2010  08:59               417 third.pml
              17 д ©«®ў        328я530 Ў ©в
               2 Ї Ї®Є   9я511я649я280 Ў ©в бў®Ў®¤®

What version of the product are you using? On what operating system?

5.0

Please provide any additional information below.

sorry for the stupid or questions, please

Original issue reported on code.google.com by rrrF...@gmail.com on 18 Mar 2011 at 7:47

GoogleCodeExporter commented 8 years ago

sorry, problem is already solved

Original comment by rrrF...@gmail.com on 18 Mar 2011 at 8:11

GoogleCodeExporter commented 8 years ago

Hi,
Could you tell me what the problem was?
Moti

Original comment by anita.be...@gmail.com on 19 Mar 2011 at 6:44

GoogleCodeExporter commented 8 years ago

not been prescribed path to mingv / bin in the variable Path. there was no 
error messages.

Original comment by rrrF...@gmail.com on 19 Mar 2011 at 3:29

GoogleCodeExporter commented 8 years ago

I have the same problem. Please can someone explain how to fix the problem? 
Thanks.

Original comment by arruso...@libero.it on 5 May 2011 at 7:12

GoogleCodeExporter commented 8 years ago

Hi,

This is caused by directory problems.
The compilation by mingw is creating a file "pan"
in the same directory as the source file,
which is apparently not "E:\...".

Look careful at what you have done with the directories of the
configuration file. You might start with the _default_ configuration
file (just delete it and restart jSpin) and make sure that everything
works for examples. Then change things one-by-one.

There might also be a problem working with different disks (E:).
I don't recall testing that case.

If you need further help, please give me full details where the
installation is and the contents of the config file.

Hope this helps,

Moti

Original comment by moti.ben.ari@gmail.com on 6 May 2011 at 9:46

ALwolfman9 / jspin

file pan not found #3