# HG changeset patch
# User Robert Casties <casties@mpiwg-berlin.mpg.de>
# Date 1550427952 -3600
# Node ID 367ae3da4f20b80d72dd021df33cd09e14d603ea
# Parent  c9c100cc86ef362c938420f5c94e8e27c8e72a1d
First version of new digilib Docker image build environment.

diff -r c9c100cc86ef -r 367ae3da4f20 .dockerignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.dockerignore	Sun Feb 17 19:25:52 2019 +0100
@@ -0,0 +1,3 @@
+# ignore files for docker build stage
+.*
+**/target/
diff -r c9c100cc86ef -r 367ae3da4f20 build/docker/Dockerfile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/build/docker/Dockerfile	Sun Feb 17 19:25:52 2019 +0100
@@ -0,0 +1,14 @@
+# build stage
+FROM maven:3-jdk-11 AS buildstage
+WORKDIR /usr/src/digilib
+COPY . /usr/src/digilib/
+RUN mvn package
+# remove the war file so we don't copy it in the next stage
+RUN rm /usr/src/digilib/webapp/target/digilib-webapp-*.war
+
+# runnable container stage
+FROM tomcat:9-jre11 AS runstage
+# remove tomcat default webapps
+RUN rm -r /usr/local/tomcat/webapps/*
+# copy digilib from build image
+COPY --from=buildstage /usr/src/digilib/webapp/target/digilib-webapp-* /usr/local/tomcat/webapps/digilib/