From 191c1eaf518018d863ec54ba8b677b7ba343238f Mon Sep 17 00:00:00 2001
From: Dominik Honnef <dominikh@fork-bomb.org>
Date: Fri, 5 Sep 2014 16:41:50 +0200
Subject: [PATCH] add vopt_conflict helper

vopt_conflict prints an error and exits if two options are set at the
same time.
---
 Manual.md                           | 4 ++++
 common/environment/setup/options.sh | 6 ++++++
 2 files changed, 10 insertions(+)

diff --git a/Manual.md b/Manual.md
index d35acfefa59..57b448877b6 100644
--- a/Manual.md
+++ b/Manual.md
@@ -535,6 +535,10 @@ package accordingly. Additionally, the following functions are available:
   Same as `vopt_with`, but uses `--enable-<flag>` and
   `--disable-<flag>` respectively.
 
+- *vopt_conflict()* `vopt_conflict <option 1> <option 2>`
+
+  Emits an error and exits if both options are set at the same time.
+
 The following example shows how to change a source package that uses GNU
 configure to enable a new build option to support PNG images:
 
diff --git a/common/environment/setup/options.sh b/common/environment/setup/options.sh
index 21be113a39f..1f69c7f37b2 100644
--- a/common/environment/setup/options.sh
+++ b/common/environment/setup/options.sh
@@ -19,3 +19,9 @@ vopt_enable() {
     vopt_if "$1" "--enable-${flag}" "--disable-${flag}"
 }
 
+vopt_conflict() {
+    local opt1="$1" opt2="$2" n1="build_option_$1" n2="build_option_$2"
+    if [ "${!n1}" -a "${!n2}" ]; then
+        msg_error "options '${opt1}' and '${opt2}' conflict\n"
+    fi
+}