edit
authorbdemsky <bdemsky@uci.edu>
Wed, 31 Dec 2014 08:49:00 +0000 (17:49 +0900)
committerbdemsky <bdemsky@uci.edu>
Wed, 31 Dec 2014 08:49:00 +0000 (17:49 +0900)
zchaff64/Makefile

index c3d88da..5e61863 100644 (file)
@@ -66,6 +66,6 @@ libsat.a:   $(LIB_OBJS)
        $(CC) $(CFLAGS) $(MFLAGS) -c $< 
 
 clean: 
-       rm -f *.o libsat.a zchaff *wrapper.cpp zminimal zverify_df cnf_stats SAT_C.h
+       rm -f *.o libsat.a zchaff *wrapper.cpp zminimal zverify_df cnf_stats SAT_C.h inc_solver
 
 all: zchaff zverify_df zminimal cnf_stats inc_solver