Isabelle 環境準備

正月休みにも継続できるよう、 Sourceforge のシェルアカウント内に Isabelle 環境を構築。

公式のインストール手順に書かれている tarball を四つ落としてくる。

$ wget http://isabelle.in.tum.de/dist/Isabelle2008.tar.gz
$ wget http://isabelle.in.tum.de/dist/contrib/ProofGeneral.tar.gz
$ wget http://isabelle.in.tum.de/dist/contrib/polyml_x86-linux.tar.gz
$ wget http://isabelle.in.tum.de/dist/HOL_x86-linux.tar.gz

Sourceforge の /usr/local へはアクセスできないので、ホームに isabelle ディレクトリーを掘ってそこに格納した。

$ mkdir isabelle
$ cd isabelle
$ tar xzf ../Isabelle2008.tar.gz
$ tar xzf ../ProofGeneral.tar.gz
$ tar xzf ../polyml_x86-linux.tar.gz
$ tar xzf ../HOL_x86-linux.tar.gz

で、パスを通す。

$ cat << EOF >> ~/.bash_profile
> PATH="$PATH":$PWD/isabelle/Isabelle/bin
> EOF
$ source .bash_profile

んむ。起動した。

$ Isabelle