From d7598978d09de50a5bf20c91ed5a9429404e9b1c Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Fri, 5 Apr 2019 11:10:12 +0100
Subject: Add missing dependency for tabulate package

---
 scripts/build/p-klee-linux-ubuntu-16.04.inc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'scripts')

diff --git a/scripts/build/p-klee-linux-ubuntu-16.04.inc b/scripts/build/p-klee-linux-ubuntu-16.04.inc
index 7748d104..9109a27f 100644
--- a/scripts/build/p-klee-linux-ubuntu-16.04.inc
+++ b/scripts/build/p-klee-linux-ubuntu-16.04.inc
@@ -11,6 +11,7 @@ install_build_dependencies_klee() {
     python3
     python3-setuptools
     python3-pip
+    python3-wheel
   )
 
   if [[ $(to_bool "${COVERAGE}") -eq 1 ]]; then
-- 
cgit 1.4.1