Getting Started

This section covers how to set-up the ILAng platform and use it in your project. You'll learn how to build and install ILAng from source, along with all dependencies, as well as to try-on with the pre-built Docker image.

Tested environments

Here are some build environments where ILAng has been tested on.

OS

Compiler

CMake

z3

Boost

Ubuntu 14.04 (Trusty)

gcc 4.8.4

3.8.0

4.7.1

1.54

Ubuntu 16.04 (Xenial)

gcc 5.4.0

3.12.4

4.4.1

1.58

Ubuntu 16.04 (Xenial)

clang 7.0.0

3.12.4

4.4.1

1.58

Ubuntu 18.04 (Bionic)

gcc 7.3.0

3.13.1

latest

1.65

OSX 10.13.0 (High Sierra)

Xcode 9.4.1

3.11.4

4.8.4

1.68

Arch Linux (2019-03-18)

gcc 8.2.1

3.14.0

4.8.4

1.69

Some dependencies are installed via Home brew in OSX, which may be updated fairly frequently.