Update the pmi detection to report a more meaningful error message when with-pmi is specified but the pmi.h file cannot be found
authorrhc
Thu Dec 27 04:57:30 2012 +0000 (4 months ago)
changeset 21109ae1bc9ece9dd
parent 21108 290e6e2f8fdc
child 21110 e3801ce6f9d2
Update the pmi detection to report a more meaningful error message when with-pmi is specified but the pmi.h file cannot be found
config/orte_check_pmi.m4
     1.1 --- a/config/orte_check_pmi.m4	Wed Dec 26 10:19:12 2012 +0000
     1.2 +++ b/config/orte_check_pmi.m4	Thu Dec 27 04:57:30 2012 +0000
     1.3 @@ -64,7 +64,12 @@
     1.4                    AS_IF([test -f "$with_pmi/include/pmi.h"],
     1.5                          [orte_check_pmi_$1_CPPFLAGS="-I$with_pmi/include"],
     1.6                          [AS_IF([test -f "$with_pmi/include/slurm/pmi.h"],
     1.7 -                               [orte_check_pmi_$1_CPPFLAGS="-I$with_pmi/include/slurm"])])],
     1.8 +                               [orte_check_pmi_$1_CPPFLAGS="-I$with_pmi/include/slurm"],
     1.9 +                               [AC_MSG_RESULT([not found])
    1.10 +                                AC_MSG_WARN([PMI support requested (via --with-pmi) but pmi.h])
    1.11 +                                AC_MSG_WARN([not found under specified location $with_pmi])
    1.12 +                                AC_MSG_ERROR([Aborting])
    1.13 +                                $3])])],
    1.14                   [AS_IF([test -f "/usr/include/slurm/pmi.h"],
    1.15                          [orte_check_pmi_$1_CPPFLAGS="-I/usr/include/slurm"])])
    1.16