From 455d53ef27ad79cbc4941064aed48c762b2c4d9f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 29 Aug 2020 10:46:17 -0700
Subject: [PATCH] missing cmakelists

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/params/CMakeLists.txt | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 src/params/CMakeLists.txt

diff --git a/src/params/CMakeLists.txt b/src/params/CMakeLists.txt
new file mode 100644
index 000000000..241b48ddd
--- /dev/null
+++ b/src/params/CMakeLists.txt
@@ -0,0 +1,14 @@
+z3_add_component(params
+  SOURCES
+    pattern_inference_params.cpp
+    context_params.cpp
+  COMPONENT_DEPENDENCIES
+    util
+    ast
+  PYG_FILES
+    pattern_inference_params_helper.pyg
+    bv_rewriter_params.pyg
+    arith_rewriter_params.pyg
+  EXTRA_REGISTER_MODULE_HEADERS
+    context_params.h
+)