From 7b31a4e6d14eb437d8fdcd3af26e31cdd75720c6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 3 Jul 2021 08:52:50 -0700
Subject: [PATCH] missing file

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

diff --git a/src/math/bigfix/CMakeLists.txt b/src/math/bigfix/CMakeLists.txt
new file mode 100644
index 000000000..cc9f23aca
--- /dev/null
+++ b/src/math/bigfix/CMakeLists.txt
@@ -0,0 +1,8 @@
+z3_add_component(bigfix
+  SOURCES
+    Hacl_Bignum.c
+    Hacl_Bignum256.c
+    u256.cpp
+  COMPONENT_DEPENDENCIES
+    util  
+)