diff options
author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2020-08-23 09:17:25 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-23 09:17:25 +0200 |
commit | 89b1806f83542b68b4e395c26026dbf90629e825 (patch) | |
tree | 816a09a3d7eee8577a9267a23f9e13560695315f /src/python | |
parent | 0e620832b3b6d2e1027ead9730dce872983dd2ce (diff) | |
parent | 3845d669233afda0cb50270e3204c87d2814626f (diff) |
Merge pull request #384 from VincentRouvreau/cmake_release_build_type_doc
Add -DCMAKE_BUILD_TYPE=Release on installation doc
Diffstat (limited to 'src/python')
-rw-r--r-- | src/python/doc/installation.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/python/doc/installation.rst b/src/python/doc/installation.rst index 78e1af73..4cc31d5c 100644 --- a/src/python/doc/installation.rst +++ b/src/python/doc/installation.rst @@ -65,7 +65,7 @@ one can build the GUDHI Python module, by running the following commands in a te cd /path-to-gudhi/ mkdir build cd build/ - cmake .. + cmake -DCMAKE_BUILD_TYPE=Release .. cd python make |