diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-08-21 08:11:45 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-08-21 08:11:45 +0200 |
commit | 3845d669233afda0cb50270e3204c87d2814626f (patch) | |
tree | 816a09a3d7eee8577a9267a23f9e13560695315f /src/python/doc | |
parent | 0e620832b3b6d2e1027ead9730dce872983dd2ce (diff) |
Add -DCMAKE_BUILD_TYPE=Release on installation doc
Diffstat (limited to 'src/python/doc')
-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 |