问安装CoqIDE -更新jhbuild失败
EN

Stack Overflow用户

提问于 2018-05-30 16:38:35

回答 1查看 65关注 0票数 0

我已经安装了Coq，现在我尝试在Mac上安装CoqIDE。我在跟踪Coq wiki。构建在第二步失败。当我跑的时候

sh gtk-osx-build-setup.sh

这是我得到的错误：

Checking out jhbuild (<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">
<html><head>
<title>301 Moved Permanently</title>
</head><body>
<h1>Moved Permanently</h1>
<p>The document has moved <a href="https://gitlab.gnome.org/GNOME/gtk-osx/raw/master//jhbuild-revision">here</a>.</p>
<hr>
<address>Apache/2.2.15 (Red Hat) Server at git.gnome.org Port 443</address>
</body></html>) from git...
Already on 'master'
Your branch is up-to-date with 'origin/master'.
error: branch 'stable' not found.
Already up-to-date.
fatal: Cannot update paths and switch to branch 'stable' at the same time.
Update of jhbuild failed

我很感谢你的帮助。

coq

coqide

回答 1

Stack Overflow用户

发布于 2018-07-06 09:41:41

您可以在Coq's GitHub上找到二进制发行版。

在编写本报告时，coq-8.8.0-installer-macos.dmg似乎有效。

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/50609691

复制

相似问题

问安装CoqIDE -更新jhbuild失败
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问安装CoqIDE -更新jhbuild失败EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问安装CoqIDE -更新jhbuild失败
EN