README
1build-infer.py
2==============
3
4A script to build infer from source.
5
6```
7usage: build-infer.py [-h] -c CONFIG [--clean]
8
9optional arguments:
10 -h, --help show this help message and exit
11 -c CONFIG, --config CONFIG
12 infer configuration file
13 --clean Clean the build directory
14```
15
16Pre-requisites
17--------------
18* Working build toolchain.
19* ocam
20* git
21* autoconf
22* libsqlite-dev
23* CMake
24* Ninja
25* Python 2.7
26
27Please use the latest available CMake for your platform to avoid surprises.
28
29Config file format
30------------------
31
32build-clang.py accepts a JSON config format with the following fields:
33
34* infer_revision: The infer revision to build.
35* infer_repo: git repository for infer.
36* patches: Optional list of patches to apply.