On 13-08-25 08:48 AM, Yitzchak Gale wrote:
I had trouble installing the generic 64-bit Linux tarball for 7.6.3. With some help from Ian, who pointed out that the problem was related to ld-linux.so, I finally figured out the root of the problem: the installation requires *both* the 64-bit and 32-bit versions of libc6 plus deps to be available. [...] More details: the target system for the installation in my case was an up-to-date Ubuntu 12.04 LTS (precise) amd64 headless server running in a VMware containter.
On Ubuntu 13.04 Server x86_64, I cannot reproduce the problem. aptitude search '~i ~ri386' outputs nothing, hopefully indicating that I have no 32-bit libs. ldd utils/ghc-pwd/dist-install/build/tmp/ghc-pwd outputs: linux-vdso.so.1 => (0x00007fff3bbfe000) librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f91861ef000) libutil.so.1 => /lib/x86_64-linux-gnu/libutil.so.1 (0x00007f9185fec000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f9185de7000) libgmp.so.3 => /usr/lib/x86_64-linux-gnu/libgmp.so.3 (0x00007f9185b78000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f9185873000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f91854aa000) libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f918528d000) /lib64/ld-linux-x86-64.so.2 (0x00007f91863ff000) It seems that the OS's linker successfully selects 64-bit libs. (I confess that my libgmp.so.3 is a symlink to libgmp.so.10.) ./configure --prefix=$HOME/g and make install proceed to completion. I confess that I have not tried Ubuntu 12.04.