15 files changed, 0 insertions, 14 deletions
diff --git a/test/regress/regress1/CMakeLists.txt b/test/regress/regress1/CMakeLists.txt
deleted file mode 100644
index 8742c4e41..000000000
--- a/test/regress/regress1/CMakeLists.txt
+++ /dev/null
@@ -1,14 +0,0 @@
-add_subdirectory(aufbv)
-add_subdirectory(auflia)
-add_subdirectory(bv)
-add_subdirectory(datatypes)
-add_subdirectory(decision)
-add_subdirectory(fmf)
-add_subdirectory(lemmas)
-add_subdirectory(nl)
-add_subdirectory(quantifiers)
-add_subdirectory(rewriterules)
-add_subdirectory(sep)
-add_subdirectory(sets)
-add_subdirectory(strings)
-add_subdirectory(sygus)
diff --git a/test/regress/regress1/aufbv/CMakeLists.txt b/test/regress/regress1/aufbv/CMakeLists.txt
deleted file mode 100644
index e69de29bb..000000000
--- a/test/regress/regress1/aufbv/CMakeLists.txt
+++ /dev/null
diff --git a/test/regress/regress1/auflia/CMakeLists.txt b/test/regress/regress1/auflia/CMakeLists.txt
deleted file mode 100644
index e69de29bb..000000000
--- a/test/regress/regress1/auflia/CMakeLists.txt
+++ /dev/null
diff --git a/test/regress/regress1/bv/CMakeLists.txt b/test/regress/regress1/bv/CMakeLists.txt
deleted file mode 100644
index e69de29bb..000000000
--- a/test/regress/regress1/bv/CMakeLists.txt
+++ /dev/null
diff --git a/test/regress/regress1/datatypes/CMakeLists.txt b/test/regress/regress1/datatypes/CMakeLists.txt
deleted file mode 100644
index e69de29bb..000000000
--- a/test/regress/regress1/datatypes/CMakeLists.txt
+++ /dev/null
diff --git a/test/regress/regress1/decision/CMakeLists.txt b/test/regress/regress1/decision/CMakeLists.txt
deleted file mode 100644
index e69de29bb..000000000
--- a/test/regress/regress1/decision/CMakeLists.txt
+++ /dev/null
diff --git a/test/regress/regress1/fmf/CMakeLists.txt b/test/regress/regress1/fmf/CMakeLists.txt
deleted file mode 100644
index e69de29bb..000000000
--- a/test/regress/regress1/fmf/CMakeLists.txt
+++ /dev/null
diff --git a/test/regress/regress1/lemmas/CMakeLists.txt b/test/regress/regress1/lemmas/CMakeLists.txt
deleted file mode 100644
index e69de29bb..000000000
--- a/test/regress/regress1/lemmas/CMakeLists.txt
+++ /dev/null
diff --git a/test/regress/regress1/nl/CMakeLists.txt b/test/regress/regress1/nl/CMakeLists.txt
deleted file mode 100644
index e69de29bb..000000000
--- a/test/regress/regress1/nl/CMakeLists.txt
+++ /dev/null
diff --git a/test/regress/regress1/quantifiers/CMakeLists.txt b/test/regress/regress1/quantifiers/CMakeLists.txt
deleted file mode 100644
index e69de29bb..000000000
--- a/test/regress/regress1/quantifiers/CMakeLists.txt
+++ /dev/null
diff --git a/test/regress/regress1/rewriterules/CMakeLists.txt b/test/regress/regress1/rewriterules/CMakeLists.txt
deleted file mode 100644
index e69de29bb..000000000
--- a/test/regress/regress1/rewriterules/CMakeLists.txt
+++ /dev/null
diff --git a/test/regress/regress1/sep/CMakeLists.txt b/test/regress/regress1/sep/CMakeLists.txt
deleted file mode 100644
index e69de29bb..000000000
--- a/test/regress/regress1/sep/CMakeLists.txt
+++ /dev/null
diff --git a/test/regress/regress1/sets/CMakeLists.txt b/test/regress/regress1/sets/CMakeLists.txt
deleted file mode 100644
index e69de29bb..000000000
--- a/test/regress/regress1/sets/CMakeLists.txt
+++ /dev/null
diff --git a/test/regress/regress1/strings/CMakeLists.txt b/test/regress/regress1/strings/CMakeLists.txt
deleted file mode 100644
index e69de29bb..000000000
--- a/test/regress/regress1/strings/CMakeLists.txt
+++ /dev/null
diff --git a/test/regress/regress1/sygus/CMakeLists.txt b/test/regress/regress1/sygus/CMakeLists.txt
deleted file mode 100644
index e69de29bb..000000000
--- a/test/regress/regress1/sygus/CMakeLists.txt
+++ /dev/null