Received from Ralph Castain on Sun, Mar 01, 2015 at 10:31:15AM EST: > > On Feb 26, 2015, at 1:19 PM, Lev Givon <l...@columbia.edu> wrote: > > > > Received from Ralph Castain on Thu, Feb 26, 2015 at 04:14:05PM EST: > >>> On Feb 26, 2015, at 1:07 PM, Lev Givon <l...@columbia.edu> wrote: > >>> > >>> I recently tried to build OpenMPI 1.8.4 on a daily release of what will > >>> eventually become Ubuntu 15.04 (64-bit) with the --with-slurm and > >>> --with-pmi > >>> options on. I noticed that the libpmi.so.0.0.0 library in Ubuntu 15.04 > >>> is now > >>> in the multiarch location /usr/lib/x86_64-linux-gnu rather than /usr/lib; > >>> this > >>> causes the configure script to complain that it can't find libpmi/libpmi2 > >>> in > >>> /usr/lib or /usr/lib64. Setting LDFLAGS=-L/usr/lib/x86_64-linux-gnu and/or > >>> LD_LIBRARY_PATH=/usr/lib/x86_64-linux-gnu doesn't seem to help. How can I > >>> get > >>> configure find the pmi library when it is in a multiarch location? > >> > >> Looks like we don’t have a separate pmi-libdir configure option, so it may > >> not > >> work. I can add one to the master and set to pull it across to 1.8.5. > > > > That would be great. Another possibility is to add > > /usr/lib/x86_64-linux-gnu and > > /usr/lib/i386-linux-gnu to the default libdirs searched when testing for > > pmi. > > > Could you please check the nightly 1.8 tarball? I added the pmi-libdir > option. Having it default to look for x86 etc subdirs is a little too > system-specific - if that ever becomes a broader standard way of installing > things, then I'd be more inclined to add it to the default search algo. > > http://www.open-mpi.org/nightly/v1.8/
The libpmi library file in Ubuntu 15.04 is in /usr/lib/x86_64-linux-gnu, not /usr/lib/x86_64-linux-gnu/lib or /usr/lib/x86_64-linux-gnu/lib64. Could the pmi-libdir option be modified to use the specified directory as-is rather than appending lib or lib64 to it? -- Lev Givon Bionet Group | Neurokernel Project http://www.columbia.edu/~lev/ http://lebedov.github.io/ http://neurokernel.github.io/
