From 3c4b415c42620c9dcf2a6328967533bce2e7f5fb Mon Sep 17 00:00:00 2001
From: Hamza REMMAL <hamza@remmal.net>
Date: Thu, 15 Feb 2024 11:32:25 +0100
Subject: [PATCH] Add Dockerfile from lampepfl/dotty-ci

[Cherry-picked 70afe4737a93ca36cbe35443e0c2c7cedf9a6e33]
---
 .github/Dockerfile | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 .github/Dockerfile

diff --git a/.github/Dockerfile b/.github/Dockerfile
new file mode 100644
index 000000000000..d56ec6a59f2d
--- /dev/null
+++ b/.github/Dockerfile
@@ -0,0 +1,25 @@
+FROM ubuntu:22.04
+
+# The default locale is "POSIX" which is just ASCII.
+ENV LANG C.UTF-8
+ENV DEBIAN_FRONTEND noninteractive
+ENV TZ Europe/Zurich
+
+# Add packages to image, set default JDK version
+RUN apt-get update && \
+    apt-get upgrade -y && \
+    # Use a PPA to get Java 17
+    apt-get install -y software-properties-common && add-apt-repository ppa:openjdk-r/ppa && \
+    apt-get install -y bash curl git ssh htop nano vim-tiny zile \
+                       openjdk-8-jdk-headless \
+                       openjdk-17-jdk-headless \
+                       openjdk-21-jdk-headless && \
+    (curl -fsSL https://deb.nodesource.com/setup_18.x | bash -) && \
+    apt-get install -y nodejs
+
+
+# Install sbt
+ENV SBT_HOME /usr/local/sbt
+ENV PATH ${SBT_HOME}/bin:${PATH}
+ENV SBT_VERSION 1.9.0
+RUN curl -sL "https://github.com/sbt/sbt/releases/download/v$SBT_VERSION/sbt-$SBT_VERSION.tgz" | gunzip | tar -x -C /usr/local
\ No newline at end of file