libraries - Coq 中同一个库的不同版本

Question

是否可以在 Coq 中安装同一个库的多个版本？如果是，我该如何选择要使用的版本？

我在 Windows 中工作，所以很遗憾，任何使用 OPAM 的解决方案都对我没有帮助。

标签： librariescoqmultiple-versions

Answer 1

最好的解决方案是将库实际安装在单独的目录中，使用适当的DESTDIR变量coq_makefile，然后设置COQPATH为包含正确的目录。这是风格 Nix 和 OPAM 的作品。

未经测试的示例Makefile来自coq_makefile：

$ ( cd lib-v1 && DESTDIR=~/coqlib/lib-v1 make install )
$ ( cd lib-v2 && DESTDIR=~/coqlib/lib-v2 make install )

$ export COQPATH=~/coqlib/lib-v1:$COQPATH
$ coqtop