diff options
author | Gard Spreemann <gspr@nonempty.org> | 2020-08-11 13:55:57 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2020-08-11 13:55:57 +0200 |
commit | 1c05c20d7cf92c96b5036620cc892cb956c96785 (patch) | |
tree | 8ae9a9396ea2b97f617915b8730632917cf786ec /.circleci/config.yml | |
parent | 9b3079646ee3f6a494b83e864b3e10b8a93597d0 (diff) | |
parent | 92fe082aed387ef050d5077157daea9ee3a7c7f4 (diff) |
Merge tag 'tags/gudhi-release-3.3.0' into dfsg/latest
Diffstat (limited to '.circleci/config.yml')
-rw-r--r-- | .circleci/config.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 40ddc08e..b04efd52 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -61,7 +61,7 @@ jobs: cd build; cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=OFF -DWITH_GUDHI_UTILITIES=OFF -DWITH_GUDHI_PYTHON=ON -DPython_ADDITIONAL_VERSIONS=3 ..; cd python; - python3 setup.py build_ext -j 2 --inplace; + python3 setup.py build_ext --inplace; make sphinx; cp -R sphinx /tmp/sphinx; python3 setup.py install; |