3 DIR
="$( cd "$
( dirname "${BASH_SOURCE[0]}" )" && pwd )"
5 if [ "$1" = '--help' ] ||
[ "$1" = '-h' ]; then
6 echo "usage: $0 -Dvariable=argument ..."
9 options
=`cat $DIR/CMake/Options.cmake | grep option | sed -e 's/^[ \t]*//' |
10 sed 's/\s*option(/ -D/; s/ "/=ON|OFF : /;
11 s/" / : Default: /; s/)$//' | sort`
12 options
=" -DCMAKE_BUILD_TYPE=Debug|Release|RelWithDebInfo|MinSizeRel : Sets build type \
15 if which column > /dev
/null
; then
16 options
=`echo "$options" | column -t -s : `