| … | … | @@ -98,21 +98,6 @@ ENDIF (ROCKSDB_FOUND) |
| 98 | 98 | include(OpenCogFindGuile) |
| 99 | 99 | include(OpenCogFindPython) |
| 100 | 100 | |
| 101 | | # ---------------------------------------------------------- |
| 102 | | # Optional, currently needed only to hush up DRD in util/Logger.cc |
| 103 | | FIND_PACKAGE(VALGRIND) |
| 104 | | IF (VALGRIND_FOUND) |
| 105 | | MESSAGE(STATUS "VALGRIND was found.") |
| 106 | | IF (VALGRIND_INCLUDE_DIR) |
| 107 | | MESSAGE(STATUS "VALGRIND devel headers found.") |
| 108 | | ADD_DEFINITIONS(-DHAVE_VALGRIND) |
| 109 | | ELSE (VALGRIND_INCLUDE_DIR) |
| 110 | | MESSAGE(STATUS "VALGRIND devel headers NOT FOUND: needed for thread debugging.") |
| 111 | | ENDIF (VALGRIND_INCLUDE_DIR) |
| 112 | | ELSE (VALGRIND_FOUND) |
| 113 | | MESSAGE(STATUS "VALGRIND missing: needed for thread debugging.") |
| 114 | | ENDIF (VALGRIND_FOUND) |
| 115 | | |
| 116 | 101 | # =================================================================== |
| 117 | 102 | # Include configuration. |
| 118 | 103 | |