do not build capnp or capstone, do build z3

lifting-bits · May 18, 2020 · 0adc881 · 0adc881
1 parent 81002e7
commit 0adc881
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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