如何使用git安装coq contribs？ [英] how to install coq contribs using git?

问题描述

我正在尝试安装一个coq用户贡献库（MathClasses）。 Google搜索后，我发现似乎是Coq网站上的一个中央git存储库， https：/ /gforge.inria.fr/git/coq-contribs/ 。

继 README 文件，我尝试通过以下方式获取源代码：

$ $ p $ g $ git clone git + / code>

但我得到一个错误：

 克隆到'coq-contribs'中... 
 ssh：连接到主机gforge.inria.fr端口22：连接被拒绝
致命：无法从远程存储库读取。 
  

我从MinGW和Lubuntu 14.04都试过这个，并且得到了同样的错误。

我的问题是：

1. 如何解决上述错误？




2. 是 https：//gforge.inria .fr / git / coq-contribs / 下载用户贡献库的正确位置？我在Lubuntu 14.04上试过 opam ，但它似乎只是Linux，股票版本低于（1.1.1），低于Coq网站建议的1.2 +）。

ssh：// ... 可能适用于需要能够检入代码的开发人员。你可以用 git clone https://gforge.inria.fr/git/coq-contribs/math-classes.git 代替它，但它最近不会比github更新回购。



或者，您可以从官方网页下载：
http://www.lix.polytechnique.fr/coq/pylons/contribs/files/MathClasses/v8.4 /MathClasses.interfaces.abstract_algebra.html





为了编译，我做了



  git clone https://github.com/math-classes/math-classes.git 
 cd数学类
 ./configure.sh 
 make -j 
 make install 
  

测试结果：

  cd .. 
 coqtop 
需要导入abstract_algebra。 
  




I am trying to install one of the coq user contrib libraries (MathClasses). After some googling, I found what seems to be a central git repository at the Coq website, https://gforge.inria.fr/git/coq-contribs/.

Following the README file there, I tried to get the source code by:

git clone git+ssh://scm.gforge.inria.fr/git/coq-contribs/coq-contribs.git

But I get an error:

Cloning into 'coq-contribs'...
ssh: connect to host gforge.inria.fr port 22: Connection refused
fatal: Could not read from remote repository.

I tried this from both MinGW and Lubuntu 14.04, and got the same error.

My questions are:

1. How to fix the above error?

2. Is https://gforge.inria.fr/git/coq-contribs/ the right place to download user-contributed libraries? I tried opam on Lubuntu 14.04, but it seems to be linux only, and the stock version is lower (1.1.1) than recommended by what's suggested on the Coq website (1.2+).

解决方案

The URL git+ssh://... is probably for developers who need to be able to check in code. You could use git clone https://gforge.inria.fr/git/coq-contribs/math-classes.git instead, but it is less recently updated than the github repo.

Or, you can download it from the official page: http://www.lix.polytechnique.fr/coq/pylons/contribs/files/MathClasses/v8.4/MathClasses.interfaces.abstract_algebra.html

To compile, I did

git clone https://github.com/math-classes/math-classes.git
cd math-classes
./configure.sh
make -j
make install

Testing that it worked:

cd ..
coqtop
Require Import abstract_algebra.

这篇关于如何使用git安装coq contribs？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！