安装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]
原文链接: https://www.cnblogs.com/sjjsxl/p/6809749.html
欢迎关注
微信关注下方公众号,第一时间获取干货硬货;公众号内回复【pdf】免费获取数百本计算机经典书籍
原创文章受到原创版权保护。转载请注明出处:https://www.ccppcoding.com/archives/253532
非原创文章文中已经注明原地址,如有侵权,联系删除
关注公众号【高性能架构探索】,第一时间获取最新文章
转载文章受原作者版权保护。转载请注明原作者出处!