updated dockerfile with openjdk for spectra

se-buw · Jun 4, 2024 · 9a811c2 · 9a811c2
1 parent 868da8a
commit 9a811c2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/backend/Dockerfile b/backend/Dockerfile
@@ -6,6 +6,7 @@ COPY . /backend
 
 RUN apt-get update && apt-get install -y
 RUN apt-get install z3 wget gcc libc6-dev -y
+RUN apt-get install openjdk-17-jdk -y
 
 RUN pip install --no-cache-dir --upgrade pip setuptools
 RUN pip install --no-cache-dir -r requirements.txt