From 9a811c2b030e0e03db58622e5b1872bbfd6c7c34 Mon Sep 17 00:00:00 2001 From: Soaibuzzaman Date: Tue, 4 Jun 2024 16:00:05 +0200 Subject: [PATCH] updated dockerfile with openjdk for spectra --- backend/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/backend/Dockerfile b/backend/Dockerfile index ba1efbc..07aa147 100644 --- 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