diff options
author | schnetter <schnetter@5d71fb51-c94b-4b06-8127-4f659a103787> | 2010-01-18 20:10:35 +0000 |
---|---|---|
committer | schnetter <schnetter@5d71fb51-c94b-4b06-8127-4f659a103787> | 2010-01-18 20:10:35 +0000 |
commit | fca109b8b937c8fde14e4278bf017c1a695b6872 (patch) | |
tree | b4c0de1e62f6f38354dd7cf060ba0ed9641f301a /PAPI.sh | |
parent | 5562d125159cb3b7e9938a7cb1e04c35bed52b77 (diff) |
git-svn-id: http://svn.cactuscode.org/arrangements/CactusExternal/PAPI/trunk@2 5d71fb51-c94b-4b06-8127-4f659a103787
Diffstat (limited to 'PAPI.sh')
-rwxr-xr-x | PAPI.sh | 45 |
1 files changed, 45 insertions, 0 deletions
@@ -0,0 +1,45 @@ +#! /bin/sh + +################################################################################ +# Prepare +################################################################################ + +# Set up shell +set -x # Output commands +set -e # Abort on errors + + + +################################################################################ +# Check options +################################################################################ + +if [ -z "$PAPI_DIR" ]; then + echo "BEGIN ERROR" + echo "PAPI selected but no PAPI_DIR set." + echo "END ERROR" +fi + + + +################################################################################ +# Configure Cactus +################################################################################ + +# Set options +PAPI_INC_DIRS="${PAPI_DIR}/include" +PAPI_LIB_DIRS="${PAPI_DIR}/lib" +PAPI_LIBS='papi pfm' + +# Pass options to Cactus +echo "BEGIN MAKE_DEFINITION" +echo "HAVE_PAPI = 1" +echo "PAPI_DIR = ${PAPI_DIR}" +echo "PAPI_INC_DIRS = ${PAPI_INC_DIRS}" +echo "PAPI_LIB_DIRS = ${PAPI_LIB_DIRS}" +echo "PAPI_LIBS = ${PAPI_LIBS}" +echo "END MAKE_DEFINITION" + +echo 'INCLUDE_DIRECTORY $(PAPI_INC_DIRS)' +echo 'LIBRARY_DIRECTORY $(PAPI_LIB_DIRS)' +echo 'LIBRARY $(PAPI_LIBS)' |