diff options
Diffstat (limited to 'cmake/modules/OptionTools.cmake')
-rw-r--r-- | cmake/modules/OptionTools.cmake | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/cmake/modules/OptionTools.cmake b/cmake/modules/OptionTools.cmake new file mode 100644 index 000000000..066d53078 --- /dev/null +++ b/cmake/modules/OptionTools.cmake @@ -0,0 +1,11 @@ +function(envoption PREFIX DEFAULT_VALUE) + set(VALUE ${DEFAULT_VALUE}) + + if(DEFINED ENV{${PREFIX}}) + set(VALUE $ENV{${PREFIX}}) + endif() + + set(${PREFIX} ${VALUE} PARENT_SCOPE) +endfunction(envoption) + +set(OptionTools_FOUND TRUE) |