# syntax=docker/dockerfile:1

FROM ubuntu:22.04
WORKDIR /artifact
COPY . .
ENV PATH="$PATH:/artifact/z3-4.13.0-x64-glibc-2.35/bin"

# Install dependencies
RUN echo "installing dependencies" \
	&& apt update \
	&& apt-get install -y openjdk-17-jdk \
	&& apt-get install time
	

# Run script
ENTRYPOINT ["./entrypoint.sh"]
CMD ["0"]