diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-13 10:50:24 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 24abe141fdea50aff2d6856e26d9ca1ea66becf8 (patch) | |
tree | 73e54af56df3dc9b0a81e27361364f8ef2e520a6 /src | |
parent | d5614f1c7f0380266abf6fd185b13d654657731d (diff) |
cmake: Added missing dependency for src/util
Diffstat (limited to 'src')
-rw-r--r-- | src/util/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt index 24022dd40..0cbdb5d77 100644 --- a/src/util/CMakeLists.txt +++ b/src/util/CMakeLists.txt @@ -75,3 +75,4 @@ list(APPEND util_src_files add_library(util SHARED ${util_src_files}) set_target_properties(util PROPERTIES COMPILE_DEFINITIONS __BUILDING_CVC4LIB) +add_dependencies(util options) |