From 45984d7337576924157819df82b1600e27a80583 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Thu, 19 May 2016 03:15:59 -0700
Subject: [PATCH] check that reason is installed

Reviewed By: cristianoc

Differential Revision: D3317380

fbshipit-source-id: cb4e452
---
 INSTALL.md   | 1 +
 configure.ac | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/INSTALL.md b/INSTALL.md
index 899f3a422..7ecfd19f5 100644
--- a/INSTALL.md
+++ b/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)
diff --git a/configure.ac b/configure.ac
index d7439ca96..ab40a78a0 100644
--- a/configure.ac
+++ b/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