From 4407f71ee45f98499b7ae8b533614dde5b877795 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 8 Dec 2019 14:26:27 +0100
Subject: [fmt] [dune] Add ocamlformat configuration.

For now we don't enable it in any source file, neither on dune files.

`lint-repository` has been updated so it will check `dune build @fmt`
returns 0.
---
 dune-project | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dune-project')

diff --git a/dune-project b/dune-project
index 1249c4af9f..fa05f5fb41 100644
--- a/dune-project
+++ b/dune-project
@@ -2,6 +2,9 @@
 (name coq)
 (using coq 0.1)
 
+(formatting
+ (enabled_for ocaml))
+
 ; We cannot set this to true until as long as the build is not
 ; properly bootstrapped [that is, we remove the voboot target]
 ;
-- 
cgit v1.2.3