From 4e6476c90a556ee8c49d5a659088cc22ca9544ba Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 29 Aug 2020 09:22:04 -0700
Subject: [PATCH] fix cmake build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/CMakeLists.txt         | 14 +++++++-------
 src/sat/smt/CMakeLists.txt |  1 +
 2 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 0274f28a6..9cb25ed98 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -58,21 +58,21 @@ add_subdirectory(math/lp)
 add_subdirectory(tactic/core)
 add_subdirectory(math/subpaving/tactic)
 add_subdirectory(tactic/aig)
-add_subdirectory(solver)
-add_subdirectory(sat/smt)
-add_subdirectory(sat/tactic)
 add_subdirectory(tactic/arith)
-add_subdirectory(nlsat/tactic)
-add_subdirectory(ackermannization)
+add_subdirectory(solver)
 add_subdirectory(cmd_context)
 add_subdirectory(cmd_context/extra_cmds)
 add_subdirectory(parsers/smt2)
-add_subdirectory(ast/proofs)
-add_subdirectory(ast/fpa)
 add_subdirectory(ast/macros)
 add_subdirectory(ast/pattern)
 add_subdirectory(ast/rewriter/bit_blaster)
 add_subdirectory(smt/params)
+add_subdirectory(sat/smt)
+add_subdirectory(sat/tactic)
+add_subdirectory(nlsat/tactic)
+add_subdirectory(ackermannization)
+add_subdirectory(ast/proofs)
+add_subdirectory(ast/fpa)
 add_subdirectory(smt/proto_model)
 add_subdirectory(smt)
 add_subdirectory(tactic/bv)
diff --git a/src/sat/smt/CMakeLists.txt b/src/sat/smt/CMakeLists.txt
index e90730620..5e238b68c 100644
--- a/src/sat/smt/CMakeLists.txt
+++ b/src/sat/smt/CMakeLists.txt
@@ -11,5 +11,6 @@ z3_add_component(sat_smt
     sat
     ast
     euf
+    smt_params
 )