安装CoqIDE时jhbuild更新失败求助

Looking at your error output, the problem comes down to two outdated parts in the setup script:

1. The jhbuild repository URL has permanently moved from git.gnome.org to GitLab (which triggers the 301 redirect you see).
2. The stable branch referenced in the script no longer exists in the jhbuild repository.

Here are two reliable ways to fix this:

Option 1: Patch the existing setup script #

1. Open the gtk-osx-build-setup.sh file in your preferred text editor (e.g., nano gtk-osx-build-setup.sh).
2. Find any lines pointing to git.gnome.org for the jhbuild repo, and replace that URL with https://gitlab.gnome.org/GNOME/jhbuild.git.
3. Locate commands that try to switch to the stable branch (like git checkout stable), and change stable to master—this is now the active main branch for jhbuild.
4. Save the script and re-run it with sh gtk-osx-build-setup.sh.

Option 2: Manually set up jhbuild (more straightforward) #

If patching the script feels like a hassle, you can skip it entirely and set up jhbuild manually:

• Clone the up-to-date jhbuild repository:

  git clone https://gitlab.gnome.org/GNOME/jhbuild.git
  

• Move into the cloned directory:

  cd jhbuild
  

• Configure and install jhbuild to your home directory:

  ./autogen.sh --prefix=$HOME/gtk
  make && make install
  

• Add jhbuild to your shell's PATH so it's accessible system-wide:

  export PATH=$HOME/gtk/bin:$PATH
  

• After this, you can pick up with the remaining steps from the Coq installation guide (like running jhbuild bootstrap to install required dependencies).

Quick Pre-Requisite Check #

Ensure you have Xcode Command Line Tools installed first—run xcode-select --install if you haven't already done so, as this is required for building most macOS development tools.

内容的提问来源于stack exchange，提问作者Yasmine Shaorda