Libararies : libgmp.so.10: cannot open shared object file: No such file or directory

[superinterstellar]

Hi,
I am trying to install stack on Centos 6.
Below is the error message:-

stack: error while loading shared libraries: libgmp.so.10: cannot open shared object file: No such file or directory

Could someone please help address this issue.
Thanks
Kevin

[borsboom]

You need to install a stack executable linked with libgmp.so.3 (gmp4) instead.

I was about to point you to the CentOS 6 instructions on the Downloads page when I noticed that there aren't any (just a "Looking for CentOS 6 / RHEL 6/ Amazon Linux? See #465" pointer). Now that GHC 7.10.2 has released CentOS 6 binaries (7.10.1 didn't) I'll add that back. But in the meantime, try following these instructions.

You can also download one of the binaries with the -gmp4 suffix from the latest release.

[borsboom]

Downloads page is updated. Please reopen this issue if you continue to have trouble.