You can clone with
HTTPS or Subversion.
(Imported from Trac #671, reported by @dcoutts on 2010-04-30)
setup: happy version >=1.17 is required but the version of
/usr/local/bin/happy could not be determined.
/usr/local/bin/happy: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory
Given that there is no activity on this issue since 2010, I propose closing. Please re-open or create a new issue if this problem still exists.