Disable PAPI at configure if not requested/available; Use POSIX clock.
This commit is contained in:
parent
2cec8f8c18
commit
a7f63a559d
1 changed files with 4 additions and 1 deletions
|
@ -22,8 +22,9 @@ MAKEOPTS="-j1"
|
||||||
#--disable-doc \
|
#--disable-doc \
|
||||||
CONFIGURE_OPTS="\
|
CONFIGURE_OPTS="\
|
||||||
--with-mpi=$MPI_DIR \
|
--with-mpi=$MPI_DIR \
|
||||||
--enable-sampling \
|
|
||||||
--without-pacx \
|
--without-pacx \
|
||||||
|
--enable-sampling \
|
||||||
|
--enable-posix-clock \
|
||||||
--without-unwind \
|
--without-unwind \
|
||||||
--without-dyninst \
|
--without-dyninst \
|
||||||
"
|
"
|
||||||
|
@ -35,6 +36,8 @@ if [ $enable_papi != 0 ] ; then
|
||||||
module load system/papi
|
module load system/papi
|
||||||
PAPI_DIR=$(dirname $(dirname $(which papi_avail)))
|
PAPI_DIR=$(dirname $(dirname $(which papi_avail)))
|
||||||
CONFIGURE_OPTS="$CONFIGURE_OPTS --with-papi=$PAPI_DIR"
|
CONFIGURE_OPTS="$CONFIGURE_OPTS --with-papi=$PAPI_DIR"
|
||||||
|
else
|
||||||
|
CONFIGURE_OPTS="$CONFIGURE_OPTS --without-papi"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
BUILDDIR="${SRCDIR}"
|
BUILDDIR="${SRCDIR}"
|
||||||
|
|
Loading…
Reference in a new issue