Added missing dependecy bc

CTSRD-CHERI · Jul 4, 2023 · 86e84e2 · 86e84e2
1 parent e4b3bb7
commit 86e84e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Docker/Dockerfile b/Docker/Dockerfile
@@ -17,7 +17,7 @@ RUN apt-get update -y \
                           libgmp-dev python3 python3-pip g++\
                           clang llvm lld clang-tidy clang-format \
                           gcc-multilib gcc cmake sudo wget vim \
-                          curl tmux git
+                          curl tmux git bc
 
 # Install CHERI dependencies
 RUN apt-get update -y \