temporarily disable the smt2_solver binary until the dependencies

Daniel Kroening · Daniel Kroening · commit 215a8199abf6 · 2018-03-12T17:59:10.000Z
on goto-programs, java_bytecode and langapi have been removed.
diff --git a/regression/Makefile b/regression/Makefile
@@ -16,7 +16,6 @@ DIRS = ansi-c \
        invariants \
        strings \
        jbmc-strings \
-#       smt2_solver \
        strings-smoke-tests \
        test-script \
        # Empty last line
diff --git a/src/solvers/Makefile b/src/solvers/Makefile
@@ -218,7 +218,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
