From: Mathias Preiner Date: Mon, 13 Aug 2018 16:06:11 +0000 (-0700) Subject: cmake: Remove unused CMakeLists.txt X-Git-Tag: cvc5-1.0.0~4616 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7c2e3700d5f1fe13885cde7f03396c0510d72109;p=cvc5.git cmake: Remove unused CMakeLists.txt --- diff --git a/src/printer/CMakeLists.txt b/src/printer/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/proof/CMakeLists.txt b/src/proof/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/smt/CMakeLists.txt b/src/smt/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/theory/arith/CMakeLists.txt b/src/theory/arith/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/theory/arrays/CMakeLists.txt b/src/theory/arrays/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/theory/booleans/CMakeLists.txt b/src/theory/booleans/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/theory/builtin/CMakeLists.txt b/src/theory/builtin/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/theory/bv/CMakeLists.txt b/src/theory/bv/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/theory/datatypes/CMakeLists.txt b/src/theory/datatypes/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/theory/example/CMakeLists.txt b/src/theory/example/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/theory/fp/CMakeLists.txt b/src/theory/fp/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/theory/idl/CMakeLists.txt b/src/theory/idl/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/theory/quantifiers/CMakeLists.txt b/src/theory/quantifiers/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/theory/sep/CMakeLists.txt b/src/theory/sep/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/theory/sets/CMakeLists.txt b/src/theory/sets/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/theory/strings/CMakeLists.txt b/src/theory/strings/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 diff --git a/src/theory/uf/CMakeLists.txt b/src/theory/uf/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000