temporarily disable the smt2_solver binary

Daniel Kroening · Daniel Kroening · commit 6cd1b3731c59 · 2018-03-10T16:45:50.000Z
diff --git a/src/solvers/Makefile b/src/solvers/Makefile
@@ -217,7 +217,7 @@ INCLUDES += -I .. \
 
 CLEANFILES = solvers$(LIBEXT) smt2_solver$(EXEEXT)
 
-all: solvers$(LIBEXT) smt2_solver$(EXEEXT)
+all: solvers$(LIBEXT) # smt2_solver$(EXEEXT)
 
 ifneq ($(SQUOLEM2),)
   CP_CXXFLAGS += -DHAVE_QBF_CORE
