diff --git a/docker/Dockerfile b/docker/Dockerfile new file mode 100644 index 0000000..10fe3b5 --- /dev/null +++ b/docker/Dockerfile @@ -0,0 +1,24 @@ +FROM ubuntu:18.04 + +# Update packages and setup timezone +RUN apt-get update && apt-get -y upgrade && \ + apt-get -y install tzdata + +ENV TZ=Europe/Zurich +RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && \ + echo $TZ > /etc/timezone +RUN dpkg-reconfigure --frontend=noninteractive tzdata + + +RUN apt-get -y install file unzip zip xz-utils git \ + gcc g++ cmake default-jdk \ + python3 + +ADD docker/apache-maven-3.6.3-bin.tar.gz /usr/local +RUN ln -s /usr/local/apache-maven-3.6.3/bin/mvn /usr/local/bin +COPY template_cpp /root/template_cpp +COPY template_java /root/template_java +ADD barrier.py /root + +RUN /root/template_cpp/build.sh && /root/template_cpp/cleanup.sh +RUN /root/template_java/build.sh && /root/template_java/cleanup.sh diff --git a/docker/apache-maven-3.6.3-bin.tar.gz b/docker/apache-maven-3.6.3-bin.tar.gz new file mode 100644 index 0000000..66fdd6d Binary files /dev/null and b/docker/apache-maven-3.6.3-bin.tar.gz differ diff --git a/docker/build.sh b/docker/build.sh new file mode 100755 index 0000000..12a1445 --- /dev/null +++ b/docker/build.sh @@ -0,0 +1,8 @@ +#!/bin/bash + +# Change the current working directory to the location of the present file +cd "$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" + +cd .. + +docker build -f docker/Dockerfile -t da_image . diff --git a/docker/run-example.sh b/docker/run-example.sh new file mode 100755 index 0000000..da148ad --- /dev/null +++ b/docker/run-example.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +docker run -it da_image /bin/bash