あるところでモデル検査器のspinを触る機会があったのですがあまりに動かすのに時間がかかったのでメモをします。
そんなに難しいことはしていないのですが探してもほとんど情報がないのは困りますね。。
1.tcl/tkをインストール
>sudo apt-get install tcl
>sudo apt-get install tk
2.yaccをインストール
>sudo apt-get install bison
3.spinをダウンロード、コンパイル
spin4.3.0のソースをダウンロード
>wget http://spinroot.com/spin/Src/spin430.tar.gz
解凍、コンパイル
>gunzip spin430.tar.gz
>tar -xf spin430.tar
>cd Spin/Src4.3.0
>make
コンパイルしてできたspinの実行ファイルを移動
>mv spin /usr/local/bin/
4.tclファイルをダウンロード
>wget http://spinroot.com/spin/Src/xspin430.tcl
5.tclファイルを修正
1行目の #!/bin/sh を #!/usr/bin/wish -f に修正
3行目の
exec wish c:/cygwin/bin/xspin -- $*
を以下のようにコメントアウト
#exec wish c:/cygwin/bin/xspin -- $*
6.xspin.tclを移動
>mv xspin430.tcl /usr/local/bin/xspin
7.xspinを実行
>xspin
