1 files changed, 39 insertions, 0 deletions
diff --git a/OpenCL.sh b/OpenCL.sh
new file mode 100644
index 0000000..81e24d7
--- /dev/null
+++ b/OpenCL.sh
@@ -0,0 +1,39 @@
+#! /bin/bash
+
+################################################################################
+# Prepare
+################################################################################
+
+# Set up shell
+set -x                          # Output commands
+set -e                          # Abort on errors
+
+
+
+################################################################################
+# Configure Cactus
+################################################################################
+
+if [ -z "${OPENCL_DIR}" ]; then
+    echo "BEGIN ERROR"
+    echo "OpenCL selected, but OPENCL_DIR not set."
+    echo "END ERROR"
+fi
+
+# Set options
+
+: ${OPENCL_INC_DIRS:=${OPENCL_DIR}/include}
+: ${OPENCL_LIB_DIRS:=${OPENCL_DIR}/lib}
+: ${OPENCL_LIBS:=OpenCL}
+
+echo "BEGIN MAKE_DEFINITION"
+echo "HAVE_OPENCL     = 1"
+echo "OPENCL_DIR      = ${OPENCL_DIR}"
+echo "OPENCL_INC_DIRS = ${OPENCL_INC_DIRS}"
+echo "OPENCL_LIB_DIRS = ${OPENCL_LIB_DIRS}"
+echo "OPENCL_LIBS     = ${OPENCL_LIBS}"
+echo "END MAKE_DEFINITION"
+
+echo 'INCLUDE_DIRECTORY $(OPENCL_INC_DIRS)'
+echo 'LIBRARY_DIRECTORY $(OPENCL_LIB_DIRS)'
+echo 'LIBRARY           $(OPENCL_LIBS)'