Why 2.30とWhy3のビルド&インストール (Ubuntu)
目的
これに続く記事において、Krakatoa+Why3で証明を行うため。
関連パッケージの準備
余計なのも書いてるかも。
$ sudo apt-get install build-essential devscripts dh-ocaml ocaml-nox \ ocaml-best-compilers camlp4 liblablgtk2-ocaml-dev \ liblablgtksourceview2-ocaml-dev libocamlgraph-ocaml-dev frama-c-base \ libapron-ocaml-dev libsqlite3-ocaml-dev coq
Why 2.30のインストール
UbuntuにはWhy 2.29があるが、ここではWhy 2.30をインストールする。
パッチは(適当だが)qnighyが作ったので、適当なディレクトリで
$ wget http://dl.dropbox.com/u/3198071/a/why_2.30-0ubuntu1.dsc $ wget http://dl.dropbox.com/u/3198071/a/why_2.30-0ubuntu1.debian.tar.gz $ wget http://why.lri.fr/download/why-2.30.tar.gz -Owhy_2.30.orig.tar.gz $ dpkg-source -x why_2.30-0ubuntu1.dsc $ cd why-2.30 $ dpkg-buildpackage -uc -us -rfakeroot $ cd .. $ sudo dpkg -i libwhy-coq_2.30-0ubuntu1_all.deb why_2.30-0ubuntu1_<アーキテクチャ名>.deb
Why3 0.71のインストール
こっちのパッケージもqnighyが見よう見まねで作ったものなのでその点だけ気をつけて。
$ wget http://dl.dropbox.com/u/3198071/a/why3_0.71-1.dsc $ wget http://dl.dropbox.com/u/3198071/a/why3_0.71-1.debian.tar.gz $ wget https://gforge.inria.fr/frs/download.php/29252/why3-0.71.tar.gz -Owhy3_0.71.orig.tar.gz $ dpkg-source -x why3_0.71-1.dsc $ cd why3-0.71 $ dpkg-buildpackage -uc -us -rfakeroot $ cd .. $ sudo dpkg -i why3_0.71-1_<アーキテクチャ名>.deb