[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

@@ -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:

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))