diff --git a/sledge/Makefile b/sledge/Makefile
index ccecdf939..5b9535ed0 100644
--- a/sledge/Makefile
+++ b/sledge/Makefile
@@ -71,6 +71,13 @@ fmt:
 	clang-format -i model/llair_intrinsics.h model/cxxabi.cpp
 	${MAKE} -C test fmt
 
+OCAMLFORMAT_EXE = ocamlformat
+OCAMLFORMAT_ARGS =
+
+.PHONY: fmt_all
+fmt_all:
+	parallel $(OCAMLFORMAT_EXE) $(OCAMLFORMAT_ARGS) -i ::: $(shell find * \( -name _build -or -name llvm \) -not -prune -or \( -name '*'.ml -or -name '*'.mli \) -print 2>/dev/null)
+
 # print any variable for Makefile debugging
 print-%:
 	@printf '$*='; printf '$($*)'; printf '\n'