如何切换到特定版本的Coq？

Question

我目前使用的是标准安装方式（可能是通过网站）。但是我想使用tcoq。我相信我已经正确安装了它，因为我有一个bin文件，并且所有普通的Coq东西似乎都存在：

pinno:~/gamepad/tcoq $ ls bin
coq-tex     coqc        coqchk.byte coqdep_boot coqmktop    coqtop.byte coqworkmgr  gallina
coq_makefile    coqchk      coqdep      coqdoc      coqtop      coqwc       fake_ide    ocamllibdep

我尝试做一个别名：

alias tcoq="/Users/pinno/gamepad/tcoq/bin/coqc"

在我的vimrc中运行正确的命令，但是随后出现进一步的错误，如：

pinno:~/gamepad $ tcoq examples/foo1.v > examples/foo1.dump
Error: cannot guess a path for Coq libraries; please use -coqlib option

这让我觉得我没有正确创建命令来完全切换到此版本的coq。我该怎么做？

Answer 1

这不是一个非常有趣的答案，但是我只是再次按照说明进行操作，所以它似乎有效。转到https://github.com/ml4tp/gamepad并执行“读取我”文件。设置PATH的命令是：

  

重要提示：将终端设置为指向tcoq的内置版本（通过   设置正确的路径）       source build_config.sh

其中包含：

COQBUILD=$PWD/tcoq/build

export PATH=$COQBUILD/bin:$PATH
export COQ_MK=$COQBUILD/bin/coq_makefile
export COQBIN=$COQBUILD/bin/