1 files changed, 0 insertions, 20 deletions
diff --git a/unittests/Solver/Makefile b/unittests/Solver/Makefile
deleted file mode 100644
index 4b58628f..00000000
--- a/unittests/Solver/Makefile
+++ /dev/null
@@ -1,20 +0,0 @@
-##===- unittests/Solver/Makefile ---------------------------*- Makefile -*-===##
-
-LEVEL := ../..
-include $(LEVEL)/Makefile.config
-
-TESTNAME := Solver
-USEDLIBS := kleaverSolver.a kleaverExpr.a kleeSupport.a kleeBasic.a
-LINK_COMPONENTS := support
-
-include $(LLVM_SRC_ROOT)/unittests/Makefile.unittest
-
-ifneq ($(ENABLE_STP),0)
-  LIBS += $(STP_LDFLAGS)
-endif
-
-ifneq ($(ENABLE_Z3),0)
-  LIBS += $(Z3_LDFLAGS)
-endif
-
-include $(PROJ_SRC_ROOT)/MetaSMT.mk