diff options
| author | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-06-13 16:41:26 +0200 |
|---|---|---|
| committer | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-06-13 16:41:26 +0200 |
| commit | 8a0cae963c6b86cfb07da906af22bff7b55624db (patch) | |
| tree | 72e5297bd637d6566675a5c5095021e2e7ecaaa6 /.circleci | |
| parent | 4f4fef6c14afa8371d9273b7161c78213bfcd6f6 (diff) | |
Use new option when only build cpp documentation - useful when performing user version also
Diffstat (limited to '.circleci')
| -rw-r--r-- | .circleci/config.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index f6a875dd..3e99896a 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -48,7 +48,7 @@ jobs: python: docker: - - image: gudhi/ci_for_gudhi:latest + - image: gudhi/doxygen_for_gudhi:latest steps: - checkout - run: @@ -58,7 +58,7 @@ jobs: git submodule update mkdir build cd build - cmake -DUSER_VERSION_DIR=version .. + cmake -DWITH_GUDHI_CPP_DOCUMENTATION_ONLY=ON -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 . @@ -89,12 +89,12 @@ 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_CPP_DOCUMENTATION_ONLY=ON -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 .. + cmake -DWITH_GUDHI_CPP_DOCUMENTATION_ONLY=ON .. make doxygen 2>&1 | tee dox.log grep warning dox.log cp dox.log html/ |