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
- 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
make all doc
sudo make install install-doc install-html