diff options
| author | Jack Lloyd <[email protected]> | 2016-10-22 13:24:06 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2016-10-22 13:24:06 -0400 |
| commit | f1557cb19dfb1220ddf994c931c148d83beb2390 (patch) | |
| tree | 495bc035b52dfbf6bc5ec48a450003bf2c8b48c8 /src/scripts/ci/travis/build.sh | |
| parent | ecbe5a45f3d508b1c8aef7ee7508c65ac3d92c82 (diff) | |
| parent | 4cc164ccf9035de64c1d783c2cb57032e2f6c6b0 (diff) | |
GH #674 Check Doxygen and Sphinx builds as part of CI
Diffstat (limited to 'src/scripts/ci/travis/build.sh')
| -rwxr-xr-x | src/scripts/ci/travis/build.sh | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/src/scripts/ci/travis/build.sh b/src/scripts/ci/travis/build.sh index 53c8df15a..3b34f7320 100755 --- a/src/scripts/ci/travis/build.sh +++ b/src/scripts/ci/travis/build.sh @@ -116,8 +116,14 @@ fi ccache --show-stats # build! -echo $MAKE_PREFIX make -j $BUILD_JOBS -time $MAKE_PREFIX make -j $BUILD_JOBS + +if [ "$BUILD_MODE" = "docs" ]; then + doxygen build/botan.doxy + sphinx-build -a -W -c src/build-data/sphinx doc/manual manual-out +else + echo $MAKE_PREFIX make -j $BUILD_JOBS + time $MAKE_PREFIX make -j $BUILD_JOBS +fi # post-build ccache stats ccache --show-stats @@ -151,8 +157,8 @@ if [ "$BUILD_MODE" = "sonarqube" ]; then # When neither on master branch nor on a non-external pull request => nothing to do fi -if [ "$BUILD_MODE" == "sonarqube" ] || \ - ( [ "${BUILD_MODE:0:5}" == "cross" ] && [ "$TRAVIS_OS_NAME" == "osx" ] ); then +if [ "$BUILD_MODE" = "sonarqube" ] || [ "$BUILD_MODE" = "docs" ] || \ + ( [ "${BUILD_MODE:0:5}" = "cross" ] && [ "$TRAVIS_OS_NAME" = "osx" ] ); then echo "Running tests disabled on this build type" else echo Running $TEST_PREFIX $TEST_EXE @@ -170,5 +176,7 @@ then done fi -# Test make install -make install +if [ "$BUILD_MODE" != "docs" ]; then + # Test make install + make install +fi |