From 26f27fe147b50c2947b99bdf1ea66a48b5c88d07 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Thu, 14 Dec 2017 08:30:00 -0800
Subject: [PATCH] [make] add toplevel target to build and start the toplevel

Summary: Convenient.

Reviewed By: mbouaziz

Differential Revision: D6545072

fbshipit-source-id: a05d384
---
 Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Makefile b/Makefile
index 74267287c..1ab70e336 100644
--- a/Makefile
+++ b/Makefile
@@ -178,6 +178,14 @@ test_build: src_build_common
 	$(QUIET)$(call silent_on_success,Testing Infer builds without warnings,\
 	$(MAKE_SOURCE) test)
 
+.PHONY: toplevel
+toplevel: src_build_common
+	$(QUIET)$(call silent_on_success,Building Infer REPL,\
+	$(MAKE_SOURCE) toplevel)
+	$(QUIET)echo
+	$(QUIET)echo "You can now use the infer REPL:"
+	$(QUIET)echo "  \"$(ABSOLUTE_ROOT_DIR)/scripts/infer_repl\""
+
 ifeq ($(IS_FACEBOOK_TREE),yes)
 byte src_build_common src_build test_build: fb-setup
 endif