# Use the pre-built stormpy image as the base image
FROM movesrwth/stormpy:1.6.3

# Get Java 17
RUN apt-get update && \
    apt-get install -y openjdk-17-jdk && \
    update-alternatives --set java /usr/lib/jvm/java-17-openjdk-amd64/bin/java

# Clean up
RUN apt-get clean && rm -rf /var/lib/apt/lists/*

# Set working directory inside the container
WORKDIR /app

# Copy project files into the container
COPY . .

# Set working directory inside the src folder
WORKDIR /app/src

# Install any additional Python dependencies
RUN pip install --no-cache-dir -r requirements.txt

CMD sh docker_entry.sh
