configury: look for PMI header in DIR provided by --with-pmi=DIR

[ggouaillardet]

Signed-off-by: Gilles Gouaillardet gilles@rist.or.jp

[rhc54]

I looked it over when I saw it come by earlier, and it all looks fine. However, one thing did occur to me. This fixes the -L/usr/lib problem for the user who specified --with-pmi, but it does nothing for anyone who specifies some other external package.

So my concern is: are we just kicking the problem down the road to the next .m4, and users are going to still get LDFLAGS thrown into the build?

[ggouaillardet]

I think this is a PMI specific issue caused by the snippet below, and not a generic one.

AS_IF([test ! -z "$with_pmi" && test "$with_pmi" != "yes"],
                 [check_pmi_install_dir=$with_pmi],
                 [check_pmi_install_dir=/usr])

The same pattern might be present in other parts of the code, but that has not been reported (yet).
I'd rather fix this issue that was reported via the ML, complete the OPAL_CHECK_PACKAGE revamp, and then track this kind of issue (if any left)

[rhc54]

Agreed - I approved it because I wasn't suggesting we fix everything here. I only wanted to note that we probably do need to consider solving the entire issue, and shouldn't lose track of that problem

[ggouaillardet]

thanks, I updated #4860, #4861 and #4862