Dart: runtime in container

nuprl · Sep 10, 2024 · e6d5ca8 · e6d5ca8
1 parent 17feeca
commit e6d5ca8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/evaluation/Dockerfile b/evaluation/Dockerfile
@@ -94,6 +94,11 @@ RUN ./linux-install.sh --prefix /clojure
 ENV PATH="/clojure/bin:${PATH}"
 RUN clojure -P
 
+# Dart
+RUN wget -qO- https://dl-ssl.google.com/linux/linux_signing_key.pub | gpg  --dearmor -o /usr/share/keyrings/dart.gpg
+RUN echo 'deb [signed-by=/usr/share/keyrings/dart.gpg arch=amd64] https://storage.googleapis.com/download.dartlang.org/linux/debian stable main' | tee /etc/apt/sources.list.d/dart_stable.list
+RUN apt-get update -yqq && apt-get install -yqq dart
+
 # Coq
 # RUN apt-get install -yqq coq