# HG changeset patch # User David Demelier # Date 1511550945 -3600 # Node ID bf6a1fb7c45aafb4764c41a644d839918e50033f # Parent a5e1c91abb8e914a0387370caa3496869cb9993f CMake: find TCL and disable vera++ diff -r a5e1c91abb8e -r bf6a1fb7c45a cmake/IrccdOptions.cmake --- a/cmake/IrccdOptions.cmake Fri Nov 24 20:09:45 2017 +0100 +++ b/cmake/IrccdOptions.cmake Fri Nov 24 20:15:45 2017 +0100 @@ -124,8 +124,9 @@ # find_package(Doxygen) +find_package(OpenSSL) find_package(Pandoc) -find_package(OpenSSL) +find_package(TCL) if (NOT WITH_DOCS) set(WITH_HTML FALSE) @@ -167,9 +168,13 @@ endif () if (WITH_VERA) - add_subdirectory(extern/vera) - set(HAVE_VERA On) - set(WITH_VERA_MSG "Yes") + if (TCL_FOUND) + add_subdirectory(extern/vera) + set(HAVE_VERA On) + set(WITH_VERA_MSG "Yes") + else () + set(WITH_VERA_MSG "No (TCL not found)") + endif () else () set(WITH_VERA_MSG "No (disabled by user)") endif ()