fix Dockerfile to install protoc

Signed-off-by: Craig Disselkoen <[email protected]>
cedar-policy · Dec 9, 2024 · 070b1bf · 070b1bf
1 parent 2358255
commit 070b1bf
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -18,6 +18,9 @@ RUN . ~/.profile; cargo install cargo-fuzz
 # Install Lean
 RUN wget https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh && sh elan-init.sh -y --default-toolchain none
 
+# Install protoc
+RUN wget https://github.com/protocolbuffers/protobuf/releases/download/v29.0/protoc-29.0-linux-x86_64.zip && unzip protoc-29.0-linux-x86_64.zip && rm protoc-29.0-linux-x86_64.zip
+
 FROM prepare AS build
 
 ENV CEDAR_SPEC_ROOT=/opt/src/cedar-spec