XSPIN

■XSPINをとにかく動かしてみる。

大きくわけて3つ必要。

★１　Cygwin　http://www.cygwin.com/setup.exe
デフォルトではインストールされないgcc-core: C compiler のバイナリを追加すること。
Select Packagesのカテゴリ「Devel」の中にある。

★２　Tcl/Tk　http://www.activestate.com/Products/Download/Register.plex?id=ActiveTcl
インストールは全部デフォルトでよい

★３　XSPIN

XSPIN430　 http://spinroot.com/spin/Src/pc_spin430.zip
か
XSPIN520　http://spinroot.com/spin/Src/pc_spin520.zip
どちらかを適当なところに展開する。
展開された、xspinxxx.tclをC:\cygwin\binにコピーする。

●方法１●
試しに　xspinxxx.tclをダブルクリックしてみよう。

no c compiler found gcc -w
cコンパイラが有りませんというエラーになるはずだ。

そこで
C:\cygwin\bin\gcc-x.exe
を
C:\cygwin\bin\gcc
にリネーム。

この場合はpromelaファイルをC:\cygwin\binに置く必要がある。

●方法2●　〜　tclファイルのパスを通してやる

xspinxxx.tclを下記のように編集する。

変更前　exec wish c:/cygwin/bin/xspin -- $*
変更後　exec wish85 c:/cygwin/bin/xspinxxx.tcl -- $*

それと、xspinxxx.tclファイル52行目あたり、
set SPIN "spin" ;# use a full path-name if necessary, e.g. c:/cygwin/bin/spin.exe
となっているところのパスを変えるか、spin.exeをbin下に置くかする。

cygwinのコンソールより、先ほどC:\cygwin\binにコピーしたxspinxxx.tclを実行

例)
$ xspinxxx.tcl