From a366b388a9c27fe6bf613d258a361d91aaf838e0 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Thu, 9 Jul 2020 07:44:36 -0700
Subject: [PATCH] [sledge] Style: Autoformat dune-project and dune-workspace
 files

Reviewed By: ngorogiannis

Differential Revision: D22381646

fbshipit-source-id: fb6319b95
---
 sledge/Makefile       |  3 +++
 sledge/dune-workspace | 21 ++++++++++++++++++---
 2 files changed, 21 insertions(+), 3 deletions(-)

diff --git a/sledge/Makefile b/sledge/Makefile
index 5b9535ed0..39f97674f 100644
--- a/sledge/Makefile
+++ b/sledge/Makefile
@@ -68,6 +68,9 @@ clean:
 .PHONY: fmt
 fmt:
 	-dune build @_build/debug/fmt --auto-promote 2>/dev/null
+	tmp=$(mktemp -t 'dune-format'); dune format-dune-file dune-project > tmp; mv -f tmp dune-project
+	tmp=$(mktemp -t 'dune-format'); dune format-dune-file ics/dune-project > tmp; mv -f tmp ics/dune-project
+	tmp=$(mktemp -t 'dune-format'); dune format-dune-file dune-workspace > tmp; mv -f tmp dune-workspace
 	clang-format -i model/llair_intrinsics.h model/cxxabi.cpp
 	${MAKE} -C test fmt
 
diff --git a/sledge/dune-workspace b/sledge/dune-workspace
index 11b1a69f1..a9046e788 100644
--- a/sledge/dune-workspace
+++ b/sledge/dune-workspace
@@ -5,6 +5,21 @@
 ; This source code is licensed under the MIT license found in the
 ; LICENSE file in the root directory of this source tree.
 
-(context (opam (switch sledge) (name debug) (profile debug) (merlin)))
-(context (opam (switch sledge) (name trace) (profile trace)))
-(context (opam (switch sledge) (name release) (profile release)))
+(context
+ (opam
+  (switch sledge)
+  (name debug)
+  (profile debug)
+  (merlin)))
+
+(context
+ (opam
+  (switch sledge)
+  (name trace)
+  (profile trace)))
+
+(context
+ (opam
+  (switch sledge)
+  (name release)
+  (profile release)))