From: bdemsky <bdemsky@uci.edu>
Date: Thu, 15 Dec 2016 06:04:16 +0000 (-0800)
Subject: Add support for uncrustify to fix tabbing
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e6a1e687d3d80b5fb4b528094757a7299dad961d;p=satcheck.git

Add support for uncrustify to fix tabbing
---

diff --git a/C.cfg b/C.cfg
new file mode 100644
index 0000000..a464e72
--- /dev/null
+++ b/C.cfg
@@ -0,0 +1,13 @@
+indent_with_tabs = 2
+indent_cmt_with_tabs = True
+indent_columns = 2
+indent_class = True
+output_tab_size = 2
+nl_func_leave_one_liners = True
+sp_after_semi = Ignore
+sp_after_semi_for = Remove
+sp_before_semi_for = Ignore
+sp_special_semi                           = ignore
+sp_before_semi                            = ignore
+sp_before_semi_for_empty                  = ignore
+sp_after_semi_for_empty                   = ignore
diff --git a/Makefile b/Makefile
index 639f51a..a5eb60f 100644
--- a/Makefile
+++ b/Makefile
@@ -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'