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, 2013 at 9:43 PM by leodemoura, version 3

Comments

kunilkuda Oct 17, 2013 at 9:56 AM 
Hi there,

To clarify things, no the issue is not within GIT itself. The issue comes from libcurl3-openssl. Most of the GIT binaries that are distributed (either from GIT PPA or Ubuntu) is compiled to work with libcurl3-openssl.

Hence, it's necessary to recompile the GIT from source (and link it to libcurl4-openssl) to work with codeplex GIT

soonhokong Jul 10, 2013 at 5:37 PM 
@dejanj I get the latest version (1.8.3.2) from the official git ppa, but it still has the problem.
@leodemoura building the latest version of git (1.8.3.2.733.gf8abaeb) from the scratch works for me.

anshul35 Jun 25, 2013 at 10:25 AM 
building latest version from source works fine for me.

Bauna Jun 18, 2013 at 8:36 PM 
This actually seems to be a gnutls issues.
You can find workaround here: https://bugs.launchpad.net/ubuntu/+source/gnutls26/+bug/1111882

leodemoura Jan 24, 2013 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, 2013 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, 2013 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