diff --git a/packages/performance/extrae/extrae-3.6.1 b/packages/performance/extrae/extrae-3.6.1 index 37fe1d2..8cc77c6 100644 --- a/packages/performance/extrae/extrae-3.6.1 +++ b/packages/performance/extrae/extrae-3.6.1 @@ -45,10 +45,11 @@ case $PLATFORM in esac -# use PAPI if [ $enable_papi != 0 ] ; then - PAPI_DIR=$(dirname $(dirname $(which papi_avail))) + PAPI_DIR=${PAPI_DIR:=$(dirname $(dirname $(which papi_avail)))} CONFIGURE_OPTS="$CONFIGURE_OPTS --with-papi=$PAPI_DIR" + CONFIGURE_OPTS="$CONFIGURE_OPTS --with-papi-headers=${PAPI_INC_DIR:=$PAPI_DIR/include}" + CONFIGURE_OPTS="$CONFIGURE_OPTS --with-papi-libs=${PAPI_LIB_DIR:=$PAPI_DIR/lib}" else CONFIGURE_OPTS="$CONFIGURE_OPTS --without-papi" fi