From: Patrick Lam Date: Thu, 15 Dec 2016 06:27:56 +0000 (-0800) Subject: Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/satcheck-priv X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5f3838b041321eb417737eed51c8639266c0d77c;hp=fc4a3bc4e90fad4f37ac0e44e33bb90d7a5749c3;p=satcheck.git Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/satcheck-priv --- 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'