This commit is contained in:
2025-05-23 22:49:28 +02:00
parent 6345dcaf7e
commit d29fb90bb6
3 changed files with 5 additions and 3 deletions

View File

@@ -17,11 +17,11 @@ RUN apt-get update && \
apt-get install -y ${BUILD_DEPS} ${APP_DEPS}
# Retrieve crawl
RUN git clone --branch 0.32.1 ${CRAWL_REPO} /src/
RUN git clone --branch 0.33.0 ${CRAWL_REPO} /src/
# Build crawl
RUN cd /src/crawl-ref/source && \
make install -j2 DESTDIR=/app/ USE_DGAMELAUNCH=y WEBTILES=y
make install -j1 DESTDIR=/app/ USE_DGAMELAUNCH=y WEBTILES=y
# Set up webserver components
RUN cp -r /src/crawl-ref/source/webserver /app/ && \