diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-06-25 10:31:34 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-06-25 10:31:34 +0200 |
commit | 7f36ec1b83d3ebfbdd3294e136c385b04dafa23d (patch) | |
tree | 81aeeeb0ffb7c903e1e1b10b684c676f3e7cc6b2 /src/python | |
parent | 8116cae8a3cdd5d9c02725086733ae5a33f39634 (diff) |
Some debug traces
Diffstat (limited to 'src/python')
-rw-r--r-- | src/python/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/python/CMakeLists.txt b/src/python/CMakeLists.txt index 0182e4f5..80faf0f9 100644 --- a/src/python/CMakeLists.txt +++ b/src/python/CMakeLists.txt @@ -18,6 +18,7 @@ function( add_GUDHI_PYTHON_lib_dir THE_LIB_DIR ) # deals when it is not set - error on windows if(EXISTS ${THE_LIB_DIR}) set(GUDHI_PYTHON_LIBRARY_DIRS "${GUDHI_PYTHON_LIBRARY_DIRS}'${THE_LIB_DIR}', ") + message("add_GUDHI_PYTHON_lib_dir '${THE_LIB_DIR}'") else() message("add_GUDHI_PYTHON_lib_dir - '${THE_LIB_DIR}' does not exist") endif() |