読者です 読者をやめる 読者になる 読者になる

Why 2.30とWhy3のビルド&インストール (Ubuntu)

目的

これに続く記事において、Krakatoa+Why3で証明を行うため。

想定環境

Ubuntu 11.10 (oneiric ocelot)
なお、筆者の環境はamd64

関連パッケージの準備

余計なのも書いてるかも。

$ 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