From 9e84da4aee987eb6014ac6061f0378235492d374 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Mon, 9 May 2016 15:03:16 -0700
Subject: [PATCH] Add target to check for missing mli files

Summary:
Add a target to the src Makefile to report modules without interface
files.

Reviewed By: sblackshear

Differential Revision: D3273454

fbshipit-source-id: 4a9a697
---
 Makefile.in | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index b40df30cc..74e12af10 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -146,6 +146,11 @@ endif
 	  --only-show > /dev/null
 	@rm -fr __test-infer-out__
 
+check_missing_mli:
+	@bash -c '\
+	for x in `find infer/src -name "*.ml"`; do \
+		test -f "$$x"i || echo Missing "$$x"i; done'
+
 test:
 	$(MAKE) -C $(INFER_DIR) $(INFER_BIN_RELPATH)
 	$(MAKE) -C $(SRC_DIR) init
@@ -285,5 +290,5 @@ conf-clean: clean
 
 .PHONY: all buck_test buck_test_xml clean clang
 .PHONY: clang_plugin clang_setup inferTraceBugs inferTraceBugs_test java
-.PHONY: ocaml_unit_test test test_xml test_build unit
+.PHONY: ocaml_unit_test check_missing_mli test test_xml test_build unit
 .PHONY: install uninstall