check that reason is installed

Reviewed By: cristianoc

Differential Revision: D3317380

fbshipit-source-id: cb4e452

INSTALL.md

@@ -44,6 +44,7 @@ release](http://fbinfer.com/docs/getting-started.html) (faster), or to
 compile everything from source (see the end of this document).
 
 - opam >= 1.2.0
+- reason >= 0.0.5 ([installation](https://github.com/facebook/reason/blob/master/README.md))
 - Python 2.7
 - Java (only needed for the Java analysis)
 - gcc >= 4.7.2 or clang >= 3.1 (only needed for the C/Objective-C analysis)

configure.ac

@@ -165,12 +165,15 @@ AC_PROG_OCAMLLEX
 AC_ASSERT_PROG([ocamllex], [$OCAMLLEX])
 AC_PROG_OCAMLYACC
 AC_ASSERT_PROG([ocamlyacc], [$OCAMLYACC])
+AC_CHECK_TOOL([REBUILD], [rebuild], [no])
+AC_ASSERT_PROG([rebuild], [$REBUILD])
 AC_ASSERT_OCAML_PKG([atdgen], [], [1.6.0])
 AC_ASSERT_OCAML_PKG([biniou])
 AC_ASSERT_OCAML_PKG([camlzip], [zip])
 AC_ASSERT_OCAML_PKG([easy-format])
 AC_ASSERT_OCAML_PKG([extlib], [], [1.5.4])
 AC_ASSERT_OCAML_PKG([oUnit], [], [2.0.0])
+AC_ASSERT_OCAML_PKG([reason])
 AC_ASSERT_OCAML_PKG([yojson])
 
 if test "x$enable_java_analyzers" = "xyes"; then