From bce21996614a25a2ccc6b6831760591e48a18b31 Mon Sep 17 00:00:00 2001
From: Roland Kaufmann <roland.kaufmann@uni.no>
Date: Wed, 19 Dec 2012 11:22:20 +0100
Subject: [PATCH] Allow to disable the inclusion of some libraries

Setting these options will cause these libraries to be dropped, even if
they can be found with automatic probes.
---
 configure | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/configure b/configure
index 844e19d2..8dc84232 100755
--- a/configure
+++ b/configure
@@ -7,6 +7,10 @@ Installation directories:
   --prefix=PREFIX         install architecture-independent files in PREFIX
                           [/usr/local]
 
+Optional Features:
+  --disable-FEATURE       do not include FEATURE
+  --disable-gxx11check    do not try flag -std=c++11 to enable C++11 features
+
 Optional Packages:
   --with-boost=PATH       use Boost library from a specified location
   --with-superlu=PATH     user defined path to SuperLU library
@@ -92,6 +96,25 @@ while getopts -- ":-:" optchar; do
           # add this to the list of existing features
           FEATURES="${FEATURES} -D${rootvar}=${pkgloc}"
           ;;
+        disable-*)
+          # get the name of the package
+          pkgname=${OPTARG#disable-}
+          # casing is of course different
+          case "${pkgname}" in
+            agmg |\
+            ert  |\
+            superlu)
+              pkgname="${pkgname^^}"
+              ;;
+            openmp)
+              pkgname="OpenMP"
+              ;;
+            gxx11check)
+              pkgname="CXX11Features"
+              ;;
+          esac
+          FEATURES="${FEATURES} -DCMAKE_DISABLE_FIND_PACKAGE_${pkgname}=TRUE"
+          ;;
         *)
           # remove everything *after* the equal sign
 		  arg=${OPTARG%=*}