gecko-dev

mirror of https://github.com/mozilla/gecko-dev.git synced 2025-02-28 05:10:49 +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.