[skip actions] Update dockerfile (#227)

Beluga-lang · Sep 27, 2024 · c03a2ef · c03a2ef
1 parent b916030
commit c03a2ef
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/.github/Dockerfile b/.github/Dockerfile
@@ -9,5 +9,13 @@ RUN opam repo add coq-released https://coq.inria.fr/opam/released \
     && opam install coq-equations coq-menhirlib menhir ppx_expect \
     && eval $(opam env)
 
+RUN curl https://gitlab.com/api/v4/projects/4207231/packages/generic/graphviz-releases/12.1.1/graphviz-12.1.1.tar.gz -O \
+    && tar -xzf graphviz-12.1.1.tar.gz \
+    && cd graphviz-12.1.1 \
+    && ./configure \
+    && make \
+    && sudo make install \
+    && rm -rf graphviz-12.1.1.tar.gz graphviz-12.1.1
+
 RUN sudo apt-get update -y -q \
-    && DEBIAN_FRONTEND=noninteractive sudo apt-get install -y -q --no-install-recommends graphviz pandoc
+    && DEBIAN_FRONTEND=noninteractive sudo apt-get install -y -q --no-install-recommends pandoc