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 | |
| 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.
| -rw-r--r-- | .travis.yml | 2 | ||||
| -rw-r--r-- | Dockerfile | 3 |
2 files changed, 3 insertions, 2 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 diff --git a/Dockerfile b/Dockerfile index 03a65a75..2386a2c0 100644 --- a/Dockerfile +++ b/Dockerfile @@ -38,7 +38,8 @@ RUN apt-get update && \ patch \ wget \ unzip \ - binutils && \ + binutils \ + libc6-dev-i386 && \ pip3 install -U lit tabulate && \ update-alternatives --install /usr/bin/python python /usr/bin/python3 50 |