missing packages for standalone build

project-everest · Dec 22, 2024 · f3ae96b · f3ae96b
1 parent 65398bd
commit f3ae96b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.docker/standalone.Dockerfile b/.docker/standalone.Dockerfile
@@ -9,6 +9,7 @@ WORKDIR $HOME/everparse
 # CI dependencies: jq (to identify F* branch)
 RUN sudo apt-get update && sudo apt-get install -y --no-install-recommends \
     jq \
+    pkg-config \
     wget \
     && true