Open MPI logo

Open MPI User's Mailing List Archives

  |   Home   |   Support   |   FAQ   |   all Open MPI User's mailing list

From: Alex Tumanov (atumanov_at_[hidden])
Date: 2007-07-10 12:23:28


On 7/9/07, Jeff Squyres <jsquyres_at_[hidden]> wrote:
> On Jul 6, 2007, at 12:05 PM, Alex Tumanov wrote:
>
> > Eureka! I managed to get it working despite the incorrect _initial_
> > ./configure invocation. For those interested, here are my compilation
> > options:
> > # cat ompi_build.sh
> > #!/bin/sh
> >
> > rpmbuild --rebuild -D "configure_options \
> > --prefix=%{_prefix} \
> > --with-openib=/usr/include/infiniband \
> > --with-openib-libdir=/usr/lib64 \
> > --sysconfdir=%{_prefix}/etc" \
> > -D "install_in_opt 1" \
> > -D "_name openmpi_vendor" \
> > -D "_defaultdocdir %{_prefix}/share" \
> > -D "mflags all" openmpi-1.2.3-1.src.rpm
>
> Is that where the docdir is supposed to be these days? Shouldn't it
> actually be $prefix/share/doc/$name-$version? When I didn't override
> the docdir but did use install_in_opt, I got the following in the
> resulting RPM:
>
> /opt/openmpi/1.3a1r15304/share/openmpi/mpif90-wrapper-data.txt
> /usr/share/doc/openmpi-1.3a1r15304/INSTALL
>
> So I'm thinking that the doc files (LICENSE and friends) should be in
>
> /opt/openmpi/1.3a1r15304/share/openmpi-1.3a1r15304/INSTALL
>
> Which actually seems kinda weird, since there's an /opt/openmpi/
> 1.3a1r15304/share/openmpi/ directory.

Yes, I agree that the result is a little bit awkward-looking, but my
rationale is when someone wants to have the RPM install in opt,
chances are, they want _everything_ to go in opt to make sure parts of
the RPM don't "pollute" anything outside of /opt. So, whatever the
docdir path is is of lesser importance, I think, than just having it
somewhere under opt when install_in_opt is requested. IMHO, the ideal
placement would be for all those files currently going under
/opt/openmpi/share (including LICENSE & friends and help & wrapper txt
files) to be placed under common subdirectory, whatever it might be
called (I would be fine with either %{_prefix}/share/%{_name} or
%{_prefix}/share/%{_name}-%{_version} ).

Thanks,
Alex.