【环境安装】ubuntu18.04利用opam安装指定版本的coq工作环境

本文详细介绍了如何在Ubuntu 18.04上通过opam安装指定版本的Coq 8.9.1,包括解决安装过程中可能遇到的问题,以及后续的CoqIDE和Emacs IDE的配置步骤,确保能顺利进行形式化验证工作。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

整理了一下从无环境的ubuntu18.04虚拟机到可以证代码的工作环境需要经历的安装流程和命令作为笔记和分享。

第一步:安装opam

add-apt-repository ppa:avsm/ppa
apt update
apt install opam

安装如果出现错误则根据报错安装指定依赖等,(缺少cc是需要安装gcc)

然后初始化和更新opam,(opam没有进度条,需要耐心等候。。。)

opam init
eval `opam config env`
opam update

第二步:安装指定版本的coq

以8.9.1为例

opam install coq.8.9.1

第三步:安装IDE(介绍两种,coqide和emacs)

coqide

opam install coqide.8.9.1

注意要跟上对应的版本,不然会自动帮你下载coq的最新版

全部安装完后,命令行载入环境变量

eval $(opam env)

之后可以通过命令行输入coqide打开IDE

要注意每个新的命令行都需要载入环境变量一次。

Emacs

安装完coq后&#

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值