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