]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Added docker file for master. 10842/head
authorLuca Heltai <luca.heltai@sissa.it>
Tue, 25 Aug 2020 18:46:58 +0000 (20:46 +0200)
committerLuca Heltai <luca.heltai@sissa.it>
Tue, 25 Aug 2020 18:47:23 +0000 (20:47 +0200)
.github/workflows/docker.yml [new file with mode: 0644]
contrib/docker/Dockerfile [new file with mode: 0644]

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
new file mode 100644 (file)
index 0000000..d30205c
--- /dev/null
@@ -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
@@ -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
+

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.