Ubuntu 16.04 LTSにProVerifをインストールする方法


Ubuntu 16.04 LTSにProVerifをインストールする方法についてまとめます。

インストール方法

  1. ProVerifからソースコードをダウンロードします。
  2. ダウンロードしたtarファイルを解凍します。
  3. 端末を起動します。
  4. sudo apt install opamコマンドを実行し、OCamlをインストールします。
  5. 解凍したProVerifのディレクトリへ移動します。
  6. ./buildコマンドを実行し、ProVerifをインストールします。
  7. ~/.bashrcの末尾に以下を追記し、PATHが通るようにします。
追記
export PATH="{ProVerifのディレクトリ}:$PATH"
  1. source ~/.bashrcコマンドを実行し、~/.bashrcへの変更を適用します。

関連記事

参考文献