From e60393614f7507c1c5fe7dbf87754d18ed4cd7d0 Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Fri, 22 Mar 2019 13:16:54 +0000
Subject: add tabulate to OSX build

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

(limited to 'scripts/build')

diff --git a/scripts/build/p-klee-osx.inc b/scripts/build/p-klee-osx.inc
index 2aa5c3e8..56e02c8f 100644
--- a/scripts/build/p-klee-osx.inc
+++ b/scripts/build/p-klee-osx.inc
@@ -11,4 +11,5 @@ install_build_dependencies_klee() {
   ln -s "${pip2path}" /usr/local/bin/pip
   set -e
   pip install lit
+  pip3 install tabulate
 }
\ No newline at end of file
-- 
cgit 1.4.1