Open MPI logo

Open MPI User's Mailing List Archives

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

From: Jeff Squyres (jsquyres_at_[hidden])
Date: 2007-07-09 11:54:00

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
> #!/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:


So I'm thinking that the doc files (LICENSE and friends) should be in


Which actually seems kinda weird, since there's an /opt/openmpi/
1.3a1r15304/share/openmpi/ directory.

I know there were changes to conventional thinking about where docdir
should be these days, but I couldn't find any specific references to
it in the FHS (, for

Jeff Squyres
Cisco Systems