如何安装"；dllcoqrun.so“；当试图构建coq源代码时？_Coq

如何安装"；dllcoqrun.so“；当试图构建coq源代码时？

coq

如何安装"；dllcoqrun.so“；当试图构建coq源代码时？,coq,Coq,我试图从源代码构建coq-8.4pl4，但遇到了一个错误：“致命错误：无法加载共享库dllcoqrun原因：dllcoqrun.so:无法打开共享对象文件：没有这样的文件或目录”。虽然我知道我应该安装dllcoqrun.so，但什么是dllcoqrun.so？我如何安装它我使用的是ubuntu 18.04、ocaml-4.00.0和camlp5-rel707 COQMKTOP -o bin/coqtop.byte File "lib/lib.cma(Errors)", line 1: War

我试图从源代码构建coq-8.4pl4，但遇到了一个错误：“致命错误：无法加载共享库dllcoqrun原因：dllcoqrun.so:无法打开共享对象文件：没有这样的文件或目录”。虽然我知道我应该安装dllcoqrun.so，但什么是dllcoqrun.so？我如何安装它

我使用的是ubuntu 18.04、ocaml-4.00.0和camlp5-rel707

COQMKTOP -o bin/coqtop.byte
File "lib/lib.cma(Errors)", line 1:
Warning 31: files lib/lib.cma(Errors) and /usr/local/lib/ocaml/compiler-libs/ocamlbytecomp.cma(Errors) both define a module named Errors
File "pretyping/pretyping.cma(Matching)", line 1:
Warning 31: files pretyping/pretyping.cma(Matching) and /usr/local/lib/ocaml/compiler-libs/ocamlcommon.cma(Matching) both define a module named Matching
File "interp/interp.cma(Lexer)", line 1:
Warning 31: files interp/interp.cma(Lexer) and /usr/local/lib/ocaml/compiler-libs/ocamlcommon.cma(Lexer) both define a module named Lexer
COQC -nois theories/Init/Notations.v
Fatal error: cannot load shared library dllcoqrun
Reason: dllcoqrun.so: cannot open shared object file: No such file or directory
Makefile.build:494: recipe for target 'theories/Init/Notations.vo' failed
make[1]: *** [theories/Init/Notations.vo] Error 2

为了记录在案，Coq开发团队维护包管理说明，以在其

opam

包套件中构建旧版本的Coq

通过apt get默认安装opam 本节中的实验是使用最新版本的ubuntu完成的（更准确地说，我使用了今天下载的docker图像）。我只需执行以下步骤（前四个步骤是作为超级用户执行的）：

以下操作作为普通用户执行：

opam init -a
opam switch 4.00.0
opam install coq.8.4.5

最后一个命令将询问您应该回答的问题

这将创建可在目录

$HOME/.opam/4.00.0/bin

中找到的coq安装。要确保此版本在当前shell中可用，应执行以下命令行：

估价$（opam配置环境）

使用opam版本2 我不记得如何安装

opam

version2，但它是在我的机器上运行的版本。为了记录在案，我安装了一个稍微不同的coq.8.4版本

opam switch create for-coq.8.4 ocaml-base-compiler.4.00.0
opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
opam install coq.8.4.dev

如果您不愿意使用

opam

，您实际上可以从中收集相关信息。我刚刚试过，它对我很有效，但我在一台Fedora机器上，

opam

已经安装好了

查看有关

opam

的更多信息仅为记录，Coq开发团队维护包管理说明，以在其

opam