From 0368f73ce95d1ce69bb4bb75d5f80496a2e6ad68 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Fri, 24 Jul 2015 13:56:23 -0100 Subject: [PATCH] add ocp-indent configuration and eclipse launcher --- infer/.ocp-indent | 12 ++++++++++++ infer/src/.settings/ocp-indent.launch | 12 ++++++++++++ 2 files changed, 24 insertions(+) create mode 100644 infer/.ocp-indent create mode 100644 infer/src/.settings/ocp-indent.launch diff --git a/infer/.ocp-indent b/infer/.ocp-indent new file mode 100644 index 000000000..9fae0192b --- /dev/null +++ b/infer/.ocp-indent @@ -0,0 +1,12 @@ +base = 2 +type = 2 +in = 0 +with = 0 +match_clause = 4 +ppx_stritem_ext = 2 +max_indent = 4 +strict_with = never +strict_else = always +strict_comments = false +align_ops = true +align_params = auto diff --git a/infer/src/.settings/ocp-indent.launch b/infer/src/.settings/ocp-indent.launch new file mode 100644 index 000000000..8bdf14d65 --- /dev/null +++ b/infer/src/.settings/ocp-indent.launch @@ -0,0 +1,12 @@ + + + + + + + + + + + +