From dbadde3b46be5d1fa55a1b0c1421a2b86c8b6813 Mon Sep 17 00:00:00 2001
From: Markus Blatt <markus@dr-blatt.de>
Date: Tue, 11 Jun 2013 15:30:26 +0200
Subject: [PATCH] [dunecontrol][CMake] Translates --prefix to
 CMAKE_INSTALL_PREFIX.

---
 lib/dunecommonam2cmake.lib | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/lib/dunecommonam2cmake.lib b/lib/dunecommonam2cmake.lib
index 654aa774f..d0ad482bd 100644
--- a/lib/dunecommonam2cmake.lib
+++ b/lib/dunecommonam2cmake.lib
@@ -41,4 +41,10 @@ dune_common_options_am2cmake()
     if test "x$arg" != "x$PARAMS"; then
         CMAKE_PARAMS="$CMAKE_PARAMS -DMINIMAL_DEBUG_LEVEL:String=$arg"
     fi
+
+    #Check for --prefix
+    local arg=`echo $PARAMS| sed "s/.*--prefix=\(\S*\).*/\1/"`
+    if test "x$arg" != "x$PARAMS"; then
+        CMAKE_PARAMS="$CMAKE_PARAMS -DCMAKE_INSTALL_PREFIX=$arg"
+    fi
 }
-- 
GitLab