From 0adc8816f3dead89279071263e6f9b34a6dc3f9a Mon Sep 17 00:00:00 2001
From: Artem Dinaburg <artem@trailofbits.com>
Date: Mon, 18 May 2020 15:06:22 -0400
Subject: [PATCH] do not build capnp or capstone, do build z3

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 05d20c25..325df340 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -71,7 +71,7 @@ RUN mkdir -p /cache && ./pkgman.py \
   --verbose \
   "--additional_paths=${BOOTSTRAP}/cmake/bin:${LIBRARIES}/llvm/bin" \
   "--repository_path=${LIBRARIES}" \
-  "--packages=cmake,capstone,google,xed,capnproto" && \
+  "--packages=cmake,google,xed,z3" && \
   rm -rf build && mkdir build && \
   rm -rf sources && mkdir sources && rm -rf /cache