From 538b07db2d3251fbd76699203220a8224d075efd Mon Sep 17 00:00:00 2001 From: Matthew Haughton <3flex@users.noreply.github.com> Date: Wed, 15 Mar 2017 20:21:09 -0700 Subject: [PATCH] [infer][PR] docs: correct "from source" install instructions Summary: There is no rule to make target 'java' Closes https://github.com/facebook/infer/pull/616 Differential Revision: D4697686 Pulled By: jvillard fbshipit-source-id: 07360ef --- INSTALL.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index feeabf988..160f740bd 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -90,8 +90,8 @@ some means other than opam, you can still compile Infer by running: ```sh ./autogen.sh -./configure -make # or make java +./configure # Disable Java or C/C++/ObjC analyzers with --disable-java-analyzers or --disable-c-analyzers +make # Install Infer into your PATH... export PATH=`pwd`/infer/bin:$PATH # ...or, alternatively, install Infer system-wide