about summary refs log tree commit diff homepage
path: root/scripts/build
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2020-04-06 15:26:34 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2020-11-04 15:14:47 +0000
commit2f9e24de97ec54ed84180c15a5b6c7654321e354 (patch)
tree0f1b5b6233a359309f276bb06352350a6d245971 /scripts/build
parent6bc2bf207cde155fa4abbdc5be4e92e766caa6d4 (diff)
downloadklee-2f9e24de97ec54ed84180c15a5b6c7654321e354.tar.gz
[build] Add multilib package to build 32bit on ubuntu
Diffstat (limited to 'scripts/build')
-rw-r--r--scripts/build/p-klee-linux-ubuntu.inc1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/build/p-klee-linux-ubuntu.inc b/scripts/build/p-klee-linux-ubuntu.inc
index a19e6a3b..f5e6aed2 100644
--- a/scripts/build/p-klee-linux-ubuntu.inc
+++ b/scripts/build/p-klee-linux-ubuntu.inc
@@ -3,6 +3,7 @@ install_build_dependencies_klee() {
 
   dependencies=(
     build-essential
+    gcc-multilib # to generate 32bit
     cmake
     python-pip #for lit
     python-setuptools #for lit