diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..e7335b8 --- /dev/null +++ b/Dockerfile @@ -0,0 +1,13 @@ +FROM ubuntu:18.04 + +MAINTAINER ak + +COPY . /app + +WORKDIR /app + +RUN apt-get update +RUN apt-get install -y gcc make grep gawk valgrind +RUN make + +CMD ./check_all.sh