时间戳

首页 > 解决方案 > 安装 CoqIDE - jhbuild 更新失败

coq - 安装 CoqIDE - jhbuild 更新失败

问题描述

我已经安装了 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

我很感激任何帮助。

标签： coqcoqide

解决方案

你可以在Coq 的 GitHub 上找到二进制发行版。

在撰写本文时，coq-8.8.0-installer-macos.dmg似乎有效。

推荐阅读