Added docker file for master.

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
new file mode 100644 (file)
index 0000000..d30205c
--- /dev/null
+++ b/.github/workflows/docker.yml
@@ -0,0 +1,20 @@
+name: github-docker
+
+on: 
+  push: 
+    branches: [master]
+
+jobs:
+  build-master-docker:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Build and push Docker image of master 
+        uses: docker/build-push-action@v1
+        with:
+          username: ${{ secrets.DOCKER_USERNAME }}
+          password: ${{ secrets.DOCKER_PASSWORD }}
+          cache_froms: dealii/dependencies:focal
+          repository: dealii/dealii
+          add_git_labels: true
+          tags: master-focal
+          path: contrib/docker

diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile
new file mode 100644 (file)
index 0000000..f024456
--- /dev/null
+++ b/contrib/docker/Dockerfile
@@ -0,0 +1,20 @@
+FROM dealii/dependencies:focal
+
+LABEL maintainer="luca.heltai@gmail.com"
+
+USER root
+RUN git clone https://github.com/dealii/dealii \
+    && cd dealii && mkdir build && cd build \
+    && cmake -GNinja \
+    -DCMAKE_PREFIX_PATH="/usr/lib/x86_64-linux-gnu/hdf5/openmpi;/usr/include/hdf5/openmpi" \
+    -DDEAL_II_WITH_MPI=ON \
+    -DDEAL_II_WITH_SIMPLEX_SUPPORT=ON \
+    -DCMAKE_INSTALL_PREFIX=/usr \
+    -DDEAL_II_COMPILE_EXAMPLES=OFF \
+    .. \  
+    && ninja install \
+    && cd ../../ && rm -rf dealii
+
+USER $USER
+WORKDIR $HOME
+