[docs] prefer to use `make install`

Summary: Small change to INSTALL.md.

Reviewed By: mbouaziz

Differential Revision: D8260925

fbshipit-source-id: da62750
master
Jules Villard 7 years ago committed by Facebook Github Bot
parent 2a83d64481
commit 8c8bf29ccc

@ -59,7 +59,9 @@ git clone https://github.com/facebook/infer.git
cd infer cd infer
# Compile Infer # Compile Infer
./build-infer.sh java ./build-infer.sh java
# Install Infer into your PATH # install Infer system-wide...
sudo make install
# ...or, alternatively, install Infer into your PATH
export PATH=`pwd`/infer/bin:$PATH export PATH=`pwd`/infer/bin:$PATH
``` ```
@ -82,17 +84,18 @@ some means other than opam, you can still compile Infer by running:
./autogen.sh ./autogen.sh
./configure # Disable Java or C/C++/ObjC analyzers with --disable-java-analyzers or --disable-c-analyzers ./configure # Disable Java or C/C++/ObjC analyzers with --disable-java-analyzers or --disable-c-analyzers
make make
# Install Infer into your PATH... # install Infer system-wide...
export PATH=`pwd`/infer/bin:$PATH
# ...or, alternatively, install Infer system-wide
sudo make install sudo make install
# ...or, alternatively, install Infer into your PATH
export PATH=`pwd`/infer/bin:$PATH
``` ```
## How to install the dependencies on Linux ## How to install the dependencies on Linux
See the Dockerfile in docker/ for inspiration. It includes the See the Dockerfile in docker/ for inspiration. It includes the
dependencies needed to build infer on Debian 9 (stretch). dependencies needed to build Infer on Debian 9 (stretch).
### Setting up opam ### Setting up opam

Loading…
Cancel
Save