Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Pre release #79

Merged
merged 4 commits into from
Feb 24, 2019
Merged

Pre release #79

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
db59cf3
Update README.md
Bo-Yuan-Huang Feb 14, 2019
1598dc6
Update README.md
Bo-Yuan-Huang Feb 19, 2019
709cf4a
Merge branch 'master' into pre-release
Bo-Yuan-Huang Feb 24, 2019
3770d00
Update README for z3 instructions
Bo-Yuan-Huang Feb 24, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
23 changes: 5 additions & 18 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
<img src="https://raw.githubusercontent.com/Bo-Yuan-Huang/ILAng/master/docs/pics/ilang-logo.png" alt="ILAng Logo" height="225"/>
[![ILAng](https://raw.githubusercontent.com/Bo-Yuan-Huang/ILAng/master/docs/pics/ilang-logo.png)](https://bo-yuan-huang.gitbook.io/ilang/)

[![Build Status](https://travis-ci.org/Bo-Yuan-Huang/ILAng.svg?branch=master)](https://travis-ci.org/Bo-Yuan-Huang/ILAng)
[![Build Status](https://semaphoreci.com/api/v1/bo-yuan-huang/ilang/branches/master/shields_badge.svg)](https://semaphoreci.com/bo-yuan-huang/ilang)
Expand Down Expand Up @@ -29,33 +29,20 @@
### Prerequisites

ILAng requires CMake (3.8 or above) and compilers with CXX11 support.
To install dependencies on Debian-based UNIX, execute:
To install dependencies on Debian-based UNIX:

```bash
apt-get install bison flex libboost-all-dev z3 libz3-dev
```

For OSX, execute:
To install dependencies on OSX:

```bash
brew install bison flex boost boost-python z3
```

Note that the [Boost](https://www.boost.org) package is required only for building the synthesis engine and the Python API.

#### z3

The [z3](https://github.com/Z3Prover/z3) SMT solver (over 4.4.0) is required.
Detailed instructions for building latest z3 can be found [here](https://github.com/Z3Prover/z3).

```bash
git clone https://github.com/Z3Prover/z3.git
cd z3
python scripts/mk_make.py
cd build
make -j$(nproc)
sudo make install
```
- The [z3](https://github.com/Z3Prover/z3) SMT solver (over 4.4.0) is required. Detailed instruction for building latest z3 can be found [here](https://github.com/Z3prover/z3#building-z3-using-make-and-gccclang).
- The [Boost](https://www.boost.org) package is required only for building the synthesis engine and the Python API.

#### Tested Environments

Expand Down