Hi folks, 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. 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: $ ./configure --prefix=/home/kopnicky/ghc --with-gmp-libraries=/usr/lib64 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 configure: error: cannot determine current directory Strange, because that library is definitely there in /usr/lib64. Any thoughts on what I can try next? Thanks, Lyle