diff options
author | tlacombe <lacombe1993@gmail.com> | 2019-12-16 17:19:44 +0100 |
---|---|---|
committer | tlacombe <lacombe1993@gmail.com> | 2019-12-16 17:19:44 +0100 |
commit | efebda596ae5a03dd0f15317ebfe74b5f19c78aa (patch) | |
tree | c21581669c5dcc985bed33fd043c0999f4e20e7d /.circleci/config.yml | |
parent | aba9ad68394b0c5aae22c450cac7162733132002 (diff) | |
parent | 3f1601665cbd0b7397c9c19f55d608246192207b (diff) |
Merge branch 'master' into wbary-theo
updating master in wbary-theo
Diffstat (limited to '.circleci/config.yml')
-rw-r--r-- | .circleci/config.yml | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 52cb3d45..5e45bc14 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -11,7 +11,8 @@ jobs: mkdir build; cd build; cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=ON -DWITH_GUDHI_TEST=OFF -DWITH_GUDHI_UTILITIES=OFF -DWITH_GUDHI_PYTHON=OFF ..; - make all test; + make all; + ctest --output-on-failure; tests: docker: @@ -24,7 +25,8 @@ jobs: mkdir build; cd build; cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=OFF -DWITH_GUDHI_TEST=ON -DWITH_GUDHI_UTILITIES=OFF -DWITH_GUDHI_PYTHON=OFF ..; - make all test; + make all; + ctest --output-on-failure; utils: docker: @@ -37,7 +39,8 @@ jobs: mkdir build; cd build; cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=OFF -DWITH_GUDHI_TEST=OFF -DWITH_GUDHI_UTILITIES=ON -DWITH_GUDHI_PYTHON=OFF ..; - make all test; + make all; + ctest --output-on-failure; python: docker: @@ -55,7 +58,9 @@ jobs: mkdir build; cd build; cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=OFF -DWITH_GUDHI_UTILITIES=OFF -DWITH_GUDHI_PYTHON=ON -DPython_ADDITIONAL_VERSIONS=3 ..; - make all test sphinx; + make all; + ctest --output-on-failure; + make sphinx; cp -R python/sphinx /tmp/sphinx; - store_artifacts: |