LoginSignup
0

More than 3 years have passed since last update.

Ubuntu 18.04/19.10にcoq-jupyterをインストールする

Posted at

1. 概要

Ubuntu 18.04, Ubuntu 19.10にcoq-jupyterをインストールする手順を示します。

2. Ubuntuパッケージのアップデート

最初にパッケージのアップデートを実施します。

sudo apt update
sudo apt upgrade -y

3. Ubuntuパッケージのインストール

続いてパッケージのインストールです。

sudo apt install -y python3-pip jupyter git coq

3-1. Ubuntu 19.10のパッケージ操作

Ubuntu 18.04ではこの操作は不要です。

Ubuntu 19.10では、aptでインストールしたCoqパッケージでは、JupyterからCoqの呼び出しするとエラーが発生します。そのため、gitでCoqのソースコードをcloneしてビルドします。
以下の手順では、先ほどインストールしたCoqパッケージをremoveしています。これは、install時に一緒にインストールされるOCaml環境が、Coqビルド時に必要なためです。Coqパッケージをremoveしても、OCaml環境は削除されません。

sudo apt remove -y coq
git clone https://github.com/coq/coq.git
cd coq
./configure
(質問はデフォルトでOKなので、全部Enterキーを押す)
make
sudo make install
vi ~/.bashrc
(以下の行を最後に追加する)
export PATH=/usr/local/bin:$PATH
(viを抜ける)
source ~/.bashrc

4. Pythonパッケージをインストールする

coq-jupyterパッケージをインストールします。

pip3 install coq-jupyter

4-1. Ubuntu 18.04のPythonパッケージ操作

Ubuntu 19.10ではこの操作は不要です。

Ubuntu 18.04では、一緒にインストールされるtornadoのバージョンを4.5.3に落とす必要があります。

pip3 uninstall -y tornado
pip3 install tornado==4.5.3

4-2. coq_jupyterモジュールのインストール

以下の操作を行います。

python3 -m coq_jupyter.install

5. Jupyter notebookの起動

せっかくなので、マルレク提供のcoq-tutorialをcloneしてから、Jupyterを起動してみます。

git clone https://github.com/maruyama097/coq-tutorial.git
jupyter notebook

以上

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
0