1 files changed, 45 insertions, 0 deletions
diff --git a/PAPI.sh b/PAPI.sh
new file mode 100755
index 0000000..e5cdbb2
--- /dev/null
+++ b/PAPI.sh
@@ -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)'