From a1c7b2e09a757f16e879e224d8e0c2f3ca75c915 Mon Sep 17 00:00:00 2001
From: Klaus Iglberger <klaus.iglberger@gmail.com>
Date: Sun, 8 Mar 2015 14:06:39 +0100
Subject: [PATCH] Extend the Blazemark 'configure' script for the Armadillo
 library path

---
 blazemark/configure | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/blazemark/configure b/blazemark/configure
index 6c7d444e..b7070363 100755
--- a/blazemark/configure
+++ b/blazemark/configure
@@ -285,6 +285,13 @@ if [ "$BLITZ" = "yes" ]; then
    LIBRARIES="${LIBRARIES%" "} -lblitz"
 fi
 
+if [ -n "$ARMADILLO_LIBRARY_PATH" ]; then
+   if [[ ! "$LIBRARIES" =~ "$ARMADILLO_LIBRARY_PATH " ]]; then
+      LIBRARIES="${LIBRARIES%" "} -L$ARMADILLO_LIBRARY_PATH "
+   fi
+   LIBRARIES="${LIBRARIES%" "} -larmadillo "
+fi
+
 LIBRARIES=${LIBRARIES%" "}
 
 # Configuration of the modules