Spin

Mac OS X へのインストール．

Spin はモデル検査ツールです．
ここを読めばインストールできます

以下はインストールログです．

 $ tar zxvf spin429.tar.gz

 $ cd Spin/Src4.2.9/

makefile を編集．

CC=cc -DNXT

を

CC=cc -DNXT -DCPP="/usr/bin/cpp -xassembler-with-cpp"

に変更．

 $ make