|
|
@ -14,6 +14,7 @@ Alternatively, we also provide a docker image in the docker/
|
|
|
|
directory. Simply go to that directory and run `./run.sh` to get
|
|
|
|
directory. Simply go to that directory and run `./run.sh` to get
|
|
|
|
started with a working installation of Infer.
|
|
|
|
started with a working installation of Infer.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
## Infer dependencies for MacOSX
|
|
|
|
## Infer dependencies for MacOSX
|
|
|
|
|
|
|
|
|
|
|
|
Here are the prerequisites to be able to compile Infer on MacOSX. This
|
|
|
|
Here are the prerequisites to be able to compile Infer on MacOSX. This
|
|
|
@ -49,6 +50,7 @@ opam install -y \
|
|
|
|
sawja.1.5.1
|
|
|
|
sawja.1.5.1
|
|
|
|
```
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
## Infer dependencies for Linux
|
|
|
|
## Infer dependencies for Linux
|
|
|
|
|
|
|
|
|
|
|
|
Here are the prerequisites to be able to compile Infer on Linux. This
|
|
|
|
Here are the prerequisites to be able to compile Infer on Linux. This
|
|
|
|