2018-02-06 02:51:36 +01:00
|
|
|
ARG DEV_ENV_IMAGE
|
|
|
|
|
|
|
|
|
|
FROM ${DEV_ENV_IMAGE} AS db_builder
|
|
|
|
|
ARG NUM_PARALLEL_JOBS=1
|
|
|
|
|
|
|
|
|
|
COPY . /source
|
2018-02-24 00:05:06 +01:00
|
|
|
RUN cd /source && make -j${NUM_PARALLEL_JOBS} --output-sync=target --warn-undefined-variables database
|
2018-02-06 02:51:36 +01:00
|
|
|
RUN find /source/database -mindepth 1 -maxdepth 1 -type d -exec /source/htmlgen/htmlgen.py --settings={}/settings.sh --output=/output/html \;
|
|
|
|
|
RUN mkdir -p /output/raw && find /source/database -mindepth 1 -maxdepth 1 -type d -exec cp -R {} /output/raw \;
|
|
|
|
|
|
2018-02-22 23:17:58 +01:00
|
|
|
FROM amd64/nginx:latest
|
2018-02-06 02:51:36 +01:00
|
|
|
COPY --from=db_builder /output /usr/share/nginx/html
|