From 6375450211db509f4d071226c56bec0f18052e7c Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Fri, 26 Mar 2021 14:53:32 -0700
Subject: [PATCH] [sledge] Add checking formatting to CI job

Summary: And reformat a due file.

Reviewed By: ngorogiannis

Differential Revision: D27361874

fbshipit-source-id: f79d6b177
---
 sledge/Makefile       | 4 +++-
 sledge/nonstdlib/dune | 3 ++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/sledge/Makefile b/sledge/Makefile
index 6b1cd5609..368270375 100644
--- a/sledge/Makefile
+++ b/sledge/Makefile
@@ -20,6 +20,8 @@ dune_install_trace = $(subst release,trace,$(dune_install_release))
 dune_build_debug = $(subst release,debug,$(dune_build_release))
 dune_install_debug = $(subst release,debug,$(dune_install_release))
 
+export PATH := ../facebook/dependencies/bin:$(PATH)
+
 LLVM_OCAML_SRC = $(shell git ls-files -- vendor/llvm-dune)
 
 # file to use as a sentinel indicating llvm ocaml bindings are up-to-date
@@ -82,7 +84,7 @@ test:
 
 .PHONY: ci-test
 ci-test:
-	dune build @_build/debug/runtest
+	dune build @_build/debug/fmt @_build/debug/runtest
 
 .PHONY: clean
 clean:
diff --git a/sledge/nonstdlib/dune b/sledge/nonstdlib/dune
index 77848d72d..86ed89858 100644
--- a/sledge/nonstdlib/dune
+++ b/sledge/nonstdlib/dune
@@ -7,7 +7,8 @@
  (name NS)
  (public_name nonstdlib)
  (libraries containers containers-data core_kernel.fheap iter zarith trace)
- (flags (:standard -w -no-cmx-file))
+ (flags
+  (:standard -w -no-cmx-file))
  (preprocess
   (pps ppx_sledge ppx_trace))
  (inline_tests))