Merge branch 'ci_debu_build' into 'master'

[gitlab-ci] Debug build/test

See merge request jschoeberl/netgen!202
This commit is contained in:
Joachim Schöberl 2019-08-15 04:55:46 +00:00
commit 25f9069f1e
2 changed files with 3 additions and 3 deletions

View File

@ -77,13 +77,13 @@ cleanup_win:
variables: variables:
UBUNTU_VERSION: "18.04" UBUNTU_VERSION: "18.04"
build_ubuntu: build_ubuntu_debug:
<<: *ubuntu <<: *ubuntu
stage: build stage: build
script: script:
- docker build -t netgen_${CI_PIPELINE_ID}:${UBUNTU_VERSION} -f tests/dockerfile . - docker build -t netgen_${CI_PIPELINE_ID}:${UBUNTU_VERSION} -f tests/dockerfile .
- rm -f netgen_${CI_PIPELINE_ID}_$UBUNTU_VERSION.id - rm -f netgen_${CI_PIPELINE_ID}_$UBUNTU_VERSION.id
- docker run --cidfile netgen_${CI_PIPELINE_ID}_${UBUNTU_VERSION}.id -e CCACHE_DIR=/ccache -v /mnt/ccache:/ccache netgen_${CI_PIPELINE_ID}:${UBUNTU_VERSION} bash /root/src/netgen/tests/build.sh - docker run --cidfile netgen_${CI_PIPELINE_ID}_${UBUNTU_VERSION}.id -e CCACHE_DIR=/ccache -v /mnt/ccache:/ccache netgen_${CI_PIPELINE_ID}:${UBUNTU_VERSION} bash /root/src/netgen/tests/build_debug.sh
- docker commit `cat netgen_${CI_PIPELINE_ID}_${UBUNTU_VERSION}.id` netgen_${CI_PIPELINE_ID}_installed:${UBUNTU_VERSION} - docker commit `cat netgen_${CI_PIPELINE_ID}_${UBUNTU_VERSION}.id` netgen_${CI_PIPELINE_ID}_installed:${UBUNTU_VERSION}
- rm netgen_${CI_PIPELINE_ID}_${UBUNTU_VERSION}.id - rm netgen_${CI_PIPELINE_ID}_${UBUNTU_VERSION}.id

View File

@ -1,6 +1,6 @@
cd cd
mkdir -p build/netgen mkdir -p build/netgen
cd build/netgen cd build/netgen
cmake ../../src/netgen -DUSE_CCACHE=ON cmake ../../src/netgen -DUSE_CCACHE=ON -DBUILD_TYPE=DEBUG
make -j12 make -j12
make install make install