Building charm with papi support is successful even when papi is not found (-lpapi)
When I try to build charm with papi support like
./build charm++ mpi-linux-x86_64 papi --with-production -j16the compilation is successful, even when -lpapi is not found. (and papi is not found in the environment). I see the message - checking "whether PAPI exists"... "no" shown by configure, but configure goes through without complaining.
We should have configure abort the process with an appropriate error message about not finding papi.