Extend the Blazemark 'configure' script for the Armadillo library path

sjko · Mar 8, 2015 · a1c7b2e · a1c7b2e
1 parent 25f2da6
commit a1c7b2e
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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