xspin4.3.0をUbuntu11.04で動かす方法

あるところでモデル検査器の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