Skip to content
Snippets Groups Projects
Commit dbadde3b authored by Markus Blatt's avatar Markus Blatt
Browse files

[dunecontrol][CMake] Translates --prefix to CMAKE_INSTALL_PREFIX.

parent 8f2358a1
No related branches found
No related tags found
No related merge requests found
......@@ -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
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment