ocaml 和coq 安装

安装opam

参考官网安装步骤即可，比如对于centos系统，以root用户执行如下指令

cd /etc/yum.repos.d/
wget http://download.opensuse.org/repositories/home:ocaml/CentOS_7/home:ocaml.repo
yum install opam

然后安装ocaml，使用系统包管理器安装

yum install ocaml

（当然，我是将/etc/yum.repos.d/home:ocaml.repo文件删除后再执行上一条指令，否则安装ocaml时总是出现download超时错误）

安装过程中，可能会出现某些库无法安装，那么可以使用如下命令

yum install opam ocaml gcc gcc-c++ m4 make ocamldoc sqlite-devel libcurl-devel fuse-devel zlib-devel ocaml-camlp5-devel

如果其中某些库系统中已经安装，则会自动跳过

安装好之后设置solver，搜索aspcud并下载

在 .opam/config 中 添加如下一行

solver: aspcud

在~/.bash_profile 中添加如下一行，即aspcud的路径

export OPAMEXTERNALSOLVER=$HOME/.aspcud/aspcud

 

安装core 和 utop

opam install core utop

 

安装coq

使用opam安装，参见官网说明

查看cpu核数

lscpu

安装命令

export OPAMROOT=~/.opam # installation directory
opam init -n --comp=4.02.3 -j 2 # 2 is the number of CPU cores, 这一步成功后，~/.opam目录下有一个4.02.3目录，如果没有后面执行install coq时报错
opam repo add coq-released http://coq.inria.fr/opam/released
opam install coq.8.6 && opam pin add coq 8.6

安装完成后，执行 

eval `opam config env`

然后执行

coqc -v

就可以查看coq版本

如果想安装CoqIDE，则可以执行

opam install coqide

使用opam安装coq包

执行

opam search coq

列出coq的包,包名后跟一个简短的描述，然后通过

opam show [package name]

查看包的详细信息，最后如果需要安装包，则执行

opam install [package name]