diff options
author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2019-09-10 11:23:03 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-10 11:23:03 +0200 |
commit | 9d5ddcac38d43c9df813c0ca4a37b7dc48c68913 (patch) | |
tree | d6e893623f5c621a2bd356bc053d7c0d71aa9234 /.circleci/config.yml | |
parent | f510a7e607b46ba8cc118cd787ff9b0b8bff091f (diff) | |
parent | 2a313b489f1412f7e9d65681cea622d88828cba3 (diff) |
Merge pull request #91 from VincentRouvreau/split_gudhi_python_in_modules
Split gudhi python in modules
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 b9f0376e..52cb3d45 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -56,7 +56,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 ..; make all test sphinx; - cp -R cython/sphinx /tmp/sphinx; + cp -R python/sphinx /tmp/sphinx; - store_artifacts: path: /tmp/sphinx |