Cannot build Kripke with CUDA

[chunhualiao]

Hi,

Would it be better to automatically skip building Kripke if cuda is enabled, instead of stopping with an error message?
'''
cmake -DENABLE_CUDA=on -DENABLE_OPENMP=On ../.

CMake Error at CMakeLists.txt:47 (message):
Cannot build Kripke with CUDA

-- Configuring incomplete, errors occurred!
'''

Right now, I hacked into CMakeLists.txt turn off Kripke manually:
option(ENABLE_KRIPKE "Build Kripke" Off)

[davidbeckingsale]

Hey Leo,

I think this error is because we need to bump up the version of Kripke we point to in the submodule.

For now, please build the develop branch of Kripke directly from here: https://github.com/LLNL/Kripke

Cheers,
--David