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