diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-10-17 18:47:29 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-10-17 18:48:46 +0100 |
| commit | 65ba2c937a8534a43b27a0c0bb7e22849d6aae02 (patch) | |
| tree | 48560074b4f4cffc70545139335dfc93efb3f5a7 /.travis.yml | |
| parent | 2a7c7f81a70f1266cf67471861bffc8f2192ce18 (diff) | |
| download | klee-65ba2c937a8534a43b27a0c0bb7e22849d6aae02.tar.gz | |
Install ``libc6-dev-i386`` package when doing TravisCI or the Dockerfile
build so that it possible to build 32-bit applications.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index be30c1e2..0ab7ea7c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -75,7 +75,7 @@ before_install: ########################################################################### # Install stuff ########################################################################### - - sudo apt-get install gcc-4.8 g++-4.8 libcap-dev cmake + - sudo apt-get install gcc-4.8 g++-4.8 libcap-dev cmake libc6-dev-i386 # 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 |