fixup! goto-analyzer needs solvers (once BDDs are used in guardt), add binary

Author: tautschnig

src/goto-cc/Makefile

@@ -28,7 +28,8 @@ OBJ += ../big-int/big-int$(LIBEXT) \
       ../assembler/assembler$(LIBEXT) \
       ../langapi/langapi$(LIBEXT) \
       ../miniz/miniz$(OBJEXT) \
-      ../json/json$(LIBEXT)
+      ../json/json$(LIBEXT) \
+      ../solvers/solvers$(LIBEXT)
 
 INCLUDES= -I ..