From Vijay Ganesh:

Following are the instructions for downloading and installing gmp onto your local linux box.

1. download the gmp source code from here. ( do not download the rpm and try installing it. the gmp rpm does not have the gmp C++ interface which is needed by us. focus on the source code only.)

1a. run the following command as root (this is critical) rpm -e --nodeps gmp gmp-devel

2. gnu packages have a little script called "configure". run configure from the gmp source root-directory as follows: ./configure --prefix=/usr/local --enable-cxx

3. run "make install" as root in the gmp source root-directory. (if that doesn't work. then run "make" as yourself first. then become root and run "make install")

4. voila, you have installed gmp correctly. now try to install cvc.

-vijay.