From f090abce9f738f0d81804fd51a3d00e7da956237 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 17 Dec 2019 11:33:16 -0800 Subject: [PATCH] add deps Signed-off-by: Nikolaj Bjorner --- src/CMakeLists.txt | 2 +- src/sat/CMakeLists.txt | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 3d50bb21a..dd0044bee 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -36,6 +36,7 @@ endforeach() # that has not yet been declared. add_subdirectory(util) add_subdirectory(math/polynomial) +add_subdirectory(math/dd) add_subdirectory(sat) add_subdirectory(nlsat) add_subdirectory(util/lp) @@ -54,7 +55,6 @@ add_subdirectory(ast/substitution) add_subdirectory(parsers/util) add_subdirectory(math/grobner) add_subdirectory(math/euclid) -add_subdirectory(math/dd) add_subdirectory(tactic/core) add_subdirectory(math/subpaving/tactic) add_subdirectory(tactic/aig) diff --git a/src/sat/CMakeLists.txt b/src/sat/CMakeLists.txt index e94586854..f3cd5973b 100644 --- a/src/sat/CMakeLists.txt +++ b/src/sat/CMakeLists.txt @@ -30,6 +30,7 @@ z3_add_component(sat sat_watched.cpp COMPONENT_DEPENDENCIES util + dd PYG_FILES sat_asymm_branch_params.pyg sat_params.pyg