diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-15 21:45:30 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-25 13:36:32 +0100 |
| commit | 28821122b625c5eefbda09a0f28c575d47136f1f (patch) | |
| tree | aef8956b50cf7769dc71abb1b9877c041755e475 /.travis.yml | |
| parent | 78990d9b36a86fabd5860d9d1159d5df2e2afc69 (diff) | |
| download | klee-28821122b625c5eefbda09a0f28c575d47136f1f.tar.gz | |
Remove boost requirements from TravisCI build.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index e868493b..4daa30c9 100644 --- a/.travis.yml +++ b/.travis.yml @@ -66,8 +66,7 @@ before_install: ########################################################################### # Install stuff ########################################################################### - # FIXME: STP doesn't need everything from Boost! - - sudo apt-get install gcc-4.8 g++-4.8 libcap-dev cmake libboost-all-dev + - sudo apt-get install gcc-4.8 g++-4.8 libcap-dev cmake # Make gcc4.8 the default gcc version - sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.8 20 - sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-4.8 20 |