SPINインストール手順

概要

形式手法のツールの1つ CUIツールの SPIN 及びGUIツールの iSpin のインストール手順をまとめる。

前提条件

1. 環境
   1. Mint Linuxとする。（おそらくUbuntuでも同様の手順で可）
2. 必要なパッケージ
   以下のパッケージが事前にインストールされていること。（Mint Linuxではデフォルトで入ってました。）
   1. Tcl/Tk
   2. gcc
3. SPINのバージョン
   1. Version 6.4とする。

手順

1. ダウンロード

公式サイトからFull distribution, with sourcesのspin***.tar.gzファイルをダウンロードし、適当なワーキングディレクトリ（以降では、/home/workとする）に保存する。

2. SPINインストール

• インストール
  以下のシェルコマンドを実行する。

spin_install.sh

# ワーキングディレクトリに移動
cd /home/work

# 解凍
sudo gunzip *.tar.gz
sudo tar -xf *.tar

# ソースコードファイルに移動
sudo cd Spin/Src*

# ビルド
sudo make

# ビルドで生成した実行ファイルを配置
sudo cp spin /usr/local/bin

• 動作確認
  以下のコマンドを実行し、バージョン情報が表示されることを確認する。

spin_check.sh

spin -V

3. iSpinインストール

• インストール
  以下のコマンドを実行し、iSpinをインストールする。

ispin_install.sh

# iSpinのディレクトリに移動する
cd /home/work/Spin/iSpin

# インストールシェルに実行権限付与
chmod 777 install.sh

# インストールシェルを実行
sudo ./install.sh

• 動作確認 以下のコマンドを実行し、iSpinのGUI画面が表示されることを確認する。

ispin_check.sh

ispin

以上