temporarily disable the smt2_solver binary until the dependencies

on goto-programs, java_bytecode and langapi have been removed.

Author: Daniel Kroening

regression/Makefile

@@ -16,7 +16,6 @@ DIRS = ansi-c \
        invariants \
        strings \
        jbmc-strings \
-#       smt2_solver \
        strings-smoke-tests \
        test-script \
        # Empty last line

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