diff options
author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2022-06-30 16:57:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-30 16:57:15 +0200 |
commit | a746d7ad0cd5df72afd874b8dbe5e97afc5581d8 (patch) | |
tree | e2ef9a887f63133d176b763a739618288e83314e /.circleci/config.yml | |
parent | cedd589258ef2e7c3c65d7a7db88b590f58c3d83 (diff) | |
parent | 17f68bb5be7a68fab17510740d2bdc28b70decea (diff) |
Merge pull request #641 from VincentRouvreau/doxygen_only
Doxygen only
Diffstat (limited to '.circleci/config.yml')
-rw-r--r-- | .circleci/config.yml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 90737006..e2df5c87 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -58,7 +58,7 @@ jobs: git submodule update mkdir build cd build - cmake -DUSER_VERSION_DIR=version .. + cmake -DWITH_GUDHI_THIRD_PARTY=OFF -DUSER_VERSION_DIR=version .. make user_version cd version cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=OFF -DWITH_GUDHI_UTILITIES=OFF -DWITH_GUDHI_PYTHON=ON -DPython_ADDITIONAL_VERSIONS=3 -DWITH_GUDHI_REMOTE_TEST=ON . @@ -79,7 +79,7 @@ jobs: doxygen: docker: - - image: gudhi/ci_for_gudhi:latest + - image: gudhi/doxygen_for_gudhi:latest steps: - checkout - run: @@ -89,15 +89,15 @@ jobs: git submodule update mkdir build cd build - cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=OFF -DWITH_GUDHI_TEST=OFF -DWITH_GUDHI_UTILITIES=OFF -DWITH_GUDHI_PYTHON=OFF -DUSER_VERSION_DIR=version .. + cmake -DWITH_GUDHI_THIRD_PARTY=OFF -DUSER_VERSION_DIR=version .. make user_version cd version mkdir build cd build - cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=OFF -DWITH_GUDHI_TEST=OFF -DWITH_GUDHI_UTILITIES=OFF -DWITH_GUDHI_PYTHON=OFF .. - make doxygen 2>&1 | tee dox.log - grep warning dox.log - cp dox.log html/ + cmake -DWITH_GUDHI_THIRD_PARTY=OFF .. + make doxygen + grep warning doxygen.log + cp doxygen.log html/ cp -R html /tmp/doxygen - store_artifacts: |