diff options
| -rw-r--r-- | .build.yml | 26 |
1 files changed, 26 insertions, 0 deletions
@@ -127,6 +127,29 @@ build_scripts: - fi - cd ../ - + - mkdir build-gtk3-no-IDO/ + - cd build-gtk3-no-IDO/ + - if [ ${DISTRO_NAME} == "debian" ];then + - scan-build $CHECKERS cmake .. -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_VERBOSE_MAKEFILE=ON -DENABLE_TESTS=ON -DFLAVOUR_GTK3=ON -DENABLE_IDO=OFF + - else + - scan-build $CHECKERS cmake .. -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_VERBOSE_MAKEFILE=ON -DFLAVOUR_GTK3=ON -DENABLE_IDO=OFF + - fi + - + - if [ $CPU_COUNT -gt 1 ]; then + - if [ ${DISTRO_NAME} == "debian" ];then + - scan-build $CHECKERS --keep-cc --use-cc=clang --use-c++=clang++ -o html-report make -j $CPU_COUNT + - make clean + - fi + - scan-build $CHECKERS --keep-cc -o html-report make -j $CPU_COUNT + - else + - if [ ${DISTRO_NAME} == "debian" ];then + - scan-build $CHECKERS --keep-cc --use-cc=clang --use-c++=clang++ -o html-report make + - make clean + - fi + - scan-build $CHECKERS --keep-cc -o html-report make + - fi + - cd ../ + - - mkdir build-gtk2/ - cd build-gtk2/ - if [ ${DISTRO_NAME} == "debian" ];then @@ -157,6 +180,9 @@ after_scripts: - cd build-gtk3/ - ${XVFB_RUN} env CTEST_OUTPUT_ON_FAILURE=1 make test - cd ../ + - cd build-gtk3-no-IDO/ + - ${XVFB_RUN} env CTEST_OUTPUT_ON_FAILURE=1 make test + - cd ../ - cd build-gtk2/ - ${XVFB_RUN} env CTEST_OUTPUT_ON_FAILURE=1 make test - cd ../ |