commit 470b407fc6b9e00f5066f32affa4a685df4a010d
Author: Michael Tautschnig <mt@debian.org>
Date:   Mon May 11 13:24:41 2015 +0100

    Clean files generated while building tests

diff --git a/src/cpp/Makefile b/src/cpp/Makefile
index fadcbb4..80c1266 100644
--- a/src/cpp/Makefile
+++ b/src/cpp/Makefile
@@ -28,7 +28,10 @@ INCLUDES= -I ..
 include ../config.inc
 include ../common
 
-CLEANFILES = cpp$(LIBEXT)
+CLEANFILES = cpp$(LIBEXT) \
+             cpp_parser_test$(EXEEXT) cpp_scanner_test$(EXEEXT) \
+             cpp_parser_test$(OBJEXT) cpp_scanner_test$(OBJEXT) \
+             cpp_parser_test.d cpp_scanner_test.d
 
 all: cpp$(LIBEXT) cpp_parser_test$(EXEEXT) cpp_scanner_test$(EXEEXT)
 
diff --git a/src/json/Makefile b/src/json/Makefile
index f997f82..1f8765a 100644
--- a/src/json/Makefile
+++ b/src/json/Makefile
@@ -7,7 +7,7 @@ include ../common
 
 CLEANFILES=json$(LIBEXT) json_y.tab.h json_y.tab.cpp json_lex.yy.cpp \
            json_y.tab.cpp.output json_y.output \
-           json_test$(EXEEXT) json_test$(OBJEXT)
+           json_test$(EXEEXT) json_test$(OBJEXT) json_test.d
 
 all: json$(LIBEXT) json_test$(EXEEXT)
 
diff --git a/src/solvers/Makefile b/src/solvers/Makefile
index 3877394..1538f95 100644
--- a/src/solvers/Makefile
+++ b/src/solvers/Makefile
@@ -122,7 +122,10 @@ INCLUDES= -I .. \
   $(SMVSAT_INCLUDE) $(SQUOLEM2_INC) $(CUDD_INCLUDE) $(GLUCOSE_INCLUDE) \
 	$(PRECOSAT_INCLUDE) $(PICOSAT_INCLUDE) $(LINGELING_INCLUDE)
 
-CLEANFILES = solvers$(LIBEXT)
+CLEANFILES = solvers$(LIBEXT) \
+             smt2/smt2_parser_test$(EXEEXT) \
+             smt2/smt2_parser_test$(OBJEXT) \
+             smt2/smt2_parser_test.d \
 
 all: solvers$(LIBEXT) smt2/smt2_parser_test$(EXEEXT)
 
