diff --git a/lib/dunecommonam2cmake.lib b/lib/dunecommonam2cmake.lib index 654aa774fdf1c3654e5074e9d40bc939668b9bc4..d0ad482bd2b83b95ca6976a6dbce7801d6c408b3 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 }