hpcchris/sit
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Fixed some papi location finding issues.

Browse source
This commit is contained in:
Christoph Niethammer 2019-08-21 14:49:46 +00:00
parent 6992abf9a2
commit a08f7250c1
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
packages/performance/extrae/extrae-3.6.1
View file

@ -45,10 +45,11 @@ case $PLATFORM in
esac esac
# use PAPI
if [ $enable_papi != 0 ] ; then 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=$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 else
CONFIGURE_OPTS="$CONFIGURE_OPTS --without-papi" CONFIGURE_OPTS="$CONFIGURE_OPTS --without-papi"
fi fi