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.
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 (http://www.pathname.com/fhs/pub/fhs-2.3.html), for
example.
--
Jeff Squyres
Cisco Systems
|
![[Flag]](../../../../../community/mirrors/flag-us.gif){kind=small}