summaryrefslogtreecommitdiff
path: root/.circleci
diff options
context:
space:
mode:
authorHind-M <hind.montassif@gmail.com>2021-10-25 11:43:09 +0200
committerHind-M <hind.montassif@gmail.com>2021-10-25 11:43:09 +0200
commitc9d6439fb9a6e65d7aa9f18bce675de65e901a0d (patch)
treef2183dbf77a3554471ec84ad42c0cc36db41b8d4 /.circleci
parentc2bdc8a749449d41ec367089aecd975fe633c121 (diff)
Rename WITH_NETWORK option to WITH_GUDHI_REMOTE_TEST
Diffstat (limited to '.circleci')
-rw-r--r--.circleci/config.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml
index 85e42f8a..262e124b 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -89,7 +89,7 @@ jobs:
git submodule update
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 -DWITH_GUDHI_TEST=ON -DWITH_NETWORK=ON ..
+ cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=OFF -DWITH_GUDHI_UTILITIES=OFF -DWITH_GUDHI_PYTHON=ON -DPython_ADDITIONAL_VERSIONS=3 -DWITH_GUDHI_TEST=ON -DWITH_GUDHI_REMOTE_TEST=ON ..
cd src/python
python3 setup.py build_ext --inplace
ctest --output-on-failure