diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-07-28 08:58:01 +0100 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-07-28 08:58:01 +0100 |
| commit | 90390bd8d18b9ca5f1ecf5ae4f705b0089f9ea8f (patch) | |
| tree | 068de53837080d78cf19f61bcdc07d26ccbde4ca /.travis.yml | |
| parent | 3b4b79215b124cc7072e81bc79efdb76927e7100 (diff) | |
| download | klee-90390bd8d18b9ca5f1ecf5ae4f705b0089f9ea8f.tar.gz | |
Modified Travis-CI script to compile STP with BOOST support
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index f6034540..9c0ca814 100644 --- a/.travis.yml +++ b/.travis.yml @@ -97,12 +97,13 @@ addons: packages: - gcc-4.8 - g++-4.8 + - libboost-program-options-dev - libcap-dev - libedit-dev - libselinux1-dev - cmake -cache: +cache: apt: true directories: - $HOME/Library/Caches/Homebrew |