CodePlex requires a recent version of git to avoid HTTPS cloning errors. It is unclear which version number contains the fix. If we are using an older version of git, we may get the following error message when cloning the Z3 repository. The following instructions fixed the problem in all distributions we tried.

    error: RPC failed; result=56, HTTP code = 200

I noticed this problem in some Linux distributions. We can avoid this problem by installing the latest version of git. Here are some instructions that I found here
  • Clone the latest git repository
     git clone https://github.com/git/git.git
  • Install all prerequisite packages needed to build git from source files(assuming you already installed GNU tool chain with GCC compiler, make, etc.)
     sudo apt-get install gettext zlib1g-dev asciidoc libcurl4-openssl-dev
  • Enter the clone git directory
    cd git
  • Configure and compile
    make configure 
    ./configure --prefix=/usr
    make all doc
  • Install as super user
    sudo make install install-doc install-html

Last edited Jan 24 at 9:43 PM by leodemoura, version 3

Comments

leodemoura Jan 24 at 8:26 PM 
logicgeezer and Carsten,

Do you still get the error if you build git using the instructions above?
A possible workaround is to avoid git and download the code as a zip file.
You can do that by clicking the "Download" button in the source code tab.
This feature allows us to download any version/branch/commit as a zip file.
In the meantime, I will try to figure out with the codeplex guys why this problem happens.

Thanks,
Leo

logicgeezer Jan 23 at 10:36 AM 
I get the same error running git on Ubuntu 12.10. git version is 1.8.0.3 (from the git ppa).
Any solutions?

CarstenOtto Jan 22 at 11:37 AM 
I get this error although I have git 1.7.10:

$ git clone https://git01.codeplex.com/z3
Cloning into 'z3'...
remote: Counting objects: 10497, done.
remote: Compressing objects: 100% (3026/3026), done.
remote: Total 10497 (delta 7432), reused 10467 (delta 7412)
Receiving objects: 100% (10497/10497), 5.90 MiB | 733 KiB/s, done.
error: RPC failed; result=56, HTTP code = 200
Resolving deltas: 100% (7432/7432), done.
$ git --version
git version 1.7.10.4

dejanj Dec 10, 2012 at 9:33 PM 
On Ubuntu it might be easier to get it from the official git ppa

sudo add-apt-repository ppa:git-core/ppa
sudo apt-get update
sudo apt-get upgrade