From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 31 Aug 2018 16:10:50 +0000 (-0700)
Subject: cmake: Add missing dependency.
X-Git-Tag: cvc5-1.0.0~4579
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cc55abde168c2e316e5cde3c5c1f1d703faace4e;p=cvc5.git

cmake: Add missing dependency.
---

diff --git a/src/expr/CMakeLists.txt b/src/expr/CMakeLists.txt
index dd3d83481..0421261a2 100644
--- a/src/expr/CMakeLists.txt
+++ b/src/expr/CMakeLists.txt
@@ -61,6 +61,7 @@ set(expr_gen_src_files
 )
 
 add_library(expr ${expr_src_files} ${expr_gen_src_files})
+target_link_libraries(expr PRIVATE options)
 target_compile_definitions(expr PRIVATE -D__BUILDING_CVC4LIB)
 
 #