diff options
author | 2014-07-03 18:39:01 -0400 | |
---|---|---|
committer | 2014-07-03 18:39:01 -0400 | |
commit | 085c35a375468179929b690a0d7f037dc6ef23bf (patch) | |
tree | 6891061331c5fea7e962386d31c3235f7e2bc6cb | |
parent | volk: force use of generic kernel when VOLK_GENERIC env variable is defined. (diff) | |
download | gnuradio-085c35a375468179929b690a0d7f037dc6ef23bf.tar.xz gnuradio-085c35a375468179929b690a0d7f037dc6ef23bf.zip |
volk: adds command-line option to enable/disable use of ORC with -DENABLE_ORC=True/False.
If ORC is found on the system, the default is to use it. If we have ORC but don't want to use it, we can turn it off using this.
-rw-r--r-- | volk/CMakeLists.txt | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/volk/CMakeLists.txt b/volk/CMakeLists.txt index cb548f55d..66789e42d 100644 --- a/volk/CMakeLists.txt +++ b/volk/CMakeLists.txt @@ -79,7 +79,12 @@ if(NOT Boost_FOUND) message(FATAL_ERROR "VOLK Requires boost to build") endif() -find_package(ORC) +option(ENABLE_ORC "Enable Orc" True) +if(ENABLE_ORC) + find_package(ORC) +else(ENABLE_ORC) + message(STATUS "Disabling use of ORC") +endif(ENABLE_ORC) ######################################################################## # Setup the package config file |