X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=Makefile;h=ce5bf7f44b95546a4c49d9c5f204b7a800da015d;hb=b394fb6e65b7bc1ddaaecd7a916c354a1464cb5c;hp=639f51ae2430b53199d1081aa39e3867f50bae8f;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/Makefile b/Makefile
index 639f51a..ce5bf7f 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ MKDIR_P = mkdir -p
 TSO_DIR = build_tso
 SC_DIR = build_sc
 
-CPP_SOURCES := mymemory.cc context.cc snapshot.cc snapshot-interface.cc libinterface.cc execpoint.cc main.cc cmodelint.cc eprecord.cc epvalue.cc mcexecution.cc model.cc libthreads.cc mcschedule.cc common.cc threads.cc planner.cc cgoal.cc change.cc constgen.cc constraint.cc branchrecord.cc valuerecord.cc storeloadset.cc functionrecord.cc loadrf.cc schedulebuilder.cc equalsrecord.cc inc_solver.cc
+CPP_SOURCES := mymemory.cc context.cc snapshot.cc snapshot-interface.cc libinterface.cc execpoint.cc main.cc eprecord.cc epvalue.cc mcexecution.cc model.cc libthreads.cc mcschedule.cc common.cc threads.cc planner.cc cgoal.cc change.cc constgen.cc constraint.cc branchrecord.cc valuerecord.cc storeloadset.cc functionrecord.cc loadrf.cc schedulebuilder.cc equalsrecord.cc inc_solver.cc
 C_SOURCES := malloc.c
 
 TSO_OBJECTS := $(CPP_SOURCES:%.cc=$(TSO_DIR)/%.o) $(C_SOURCES:%.c=$(TSO_DIR)/%.o)
@@ -87,6 +87,10 @@ tests: $(LIB_SO)
 PHONY += pdfs
 pdfs: $(patsubst %.dot,%.pdf,$(wildcard *.dot))
 
+tabbing:
+	uncrustify -c C.cfg --no-backup *.cc
+	uncrustify -c C.cfg --no-backup *.h
+
 .PHONY: $(PHONY)
 
 # A 1-inch margin PDF generated by 'pandoc'