| … | … | @@ -112,21 +112,6 @@ ENDIF (JSONCPP_FOUND) |
| 112 | 112 | include(OpenCogFindGuile) |
| 113 | 113 | include(OpenCogFindPython) |
| 114 | 114 | |
| 115 | | # ---------------------------------------------------------- |
| 116 | | # Optional, currently needed only to hush up DRD in util/Logger.cc |
| 117 | | FIND_PACKAGE(VALGRIND) |
| 118 | | IF (VALGRIND_FOUND) |
| 119 | | MESSAGE(STATUS "VALGRIND was found.") |
| 120 | | IF (VALGRIND_INCLUDE_DIR) |
| 121 | | MESSAGE(STATUS "VALGRIND devel headers found.") |
| 122 | | ADD_DEFINITIONS(-DHAVE_VALGRIND) |
| 123 | | ELSE (VALGRIND_INCLUDE_DIR) |
| 124 | | MESSAGE(STATUS "VALGRIND devel headers NOT FOUND: needed for thread debugging.") |
| 125 | | ENDIF (VALGRIND_INCLUDE_DIR) |
| 126 | | ELSE (VALGRIND_FOUND) |
| 127 | | MESSAGE(STATUS "VALGRIND missing: needed for thread debugging.") |
| 128 | | ENDIF (VALGRIND_FOUND) |
| 129 | | |
| 130 | 115 | # =================================================================== |
| 131 | 116 | # Include configuration. |
| 132 | 117 | |