<div dir="ltr"><span style="font-size:12.8px">Hi folks,</span><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">I'm trying to install the 64-bit generic Linux distribution of ghc-7.10.3 on CentOS 6, as a non-privileged user in my home dir.</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">I've unpacked the files, and I ran ./configure, but it told me it couldn't find libgmp.so.3. I searched for and found that library on the system. Looking at the help for ./configure, I saw the --with-gmp-libraries option, so I tried again with that, but it still can't seem to find the file:</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"><div>$ ./configure --prefix=/home/kopnicky/ghc --with-gmp-libraries=/usr/lib64</div><div>checking for path to top of build tree... utils/ghc-pwd/dist-install/build/tmp/ghc-pwd: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory</div><div>configure: error: cannot determine current directory</div></div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">Strange, because that library is definitely there in /usr/lib64. Any thoughts on what I can try next?</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">Thanks,</div><div style="font-size:12.8px">Lyle</div></div>