Coqc损坏文件名
提问于 2017-07-13 16:14:24
每当我从终端调用coqc A或coqc A.v时，都会得到错误Error: Can't find file A.v.v on loadpath (请注意两个.v.v)。这是通过Mac上的Opam全新安装的Coq8.6(我之前使用过8.4和8.5，没有问题)。
有什么建议吗？
回答 1
Stack Overflow用户
发布于 2017-07-13 19:00:44
所以看起来我犯了一个错误，我添加了
export PATH="~/opam-coq.8.6/4.01.0/bin/:$PATH"
到我的bash_profile。
推荐使用. [OPAMDIR]/opam-init/init.sh > /dev/null 2> /dev/null || true格式的文件，但我没有init.sh文件。
然而，以下方法起作用了：
export OPAMROOT=~/opam-coq.8.6
eval `opam config env`
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/45086096
复制相关文章
点击加载更多
腾讯云开发者
