gecko-dev

mirror of https://github.com/mozilla/gecko-dev.git synced 2024-11-24 13:21:05 +00:00

History

Robert Bartlensky 1891f8a1f7 Bug 1479401: Include lib directory into the infer tar, and change maintainer. r=andi MozReview-Commit-ID: Ibyw9SCMVVB --HG-- extra : rebase_source : 4266ed81d1647daa1eada83b66cb4ef6b5d1af3a		2018-07-30 12:45:02 +01:00
..
build-infer.py
infer-linux64.json
README

README

build-infer.py
==============

A script to build infer from source.

```
usage: build-infer.py [-h] -c CONFIG [--clean]

optional arguments:
  -h, --help            show this help message and exit
  -c CONFIG, --config CONFIG
                        infer configuration file
  --clean               Clean the build directory
```

Pre-requisites
--------------
* Working build toolchain.
* ocam
* git
* autoconf
* libsqlite-dev
* CMake
* Ninja
* Python 2.7

Please use the latest available CMake for your platform to avoid surprises.

Config file format
------------------

build-clang.py accepts a JSON config format with the following fields:

* infer_revision: The infer revision to build.
* infer_repo: git repository for infer.
* patches: Optional list of patches to apply.