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

Reply via email to