diff options
Diffstat (limited to 'cmake')
-rwxr-xr-x | cmake/FindJavacc.cmake | 10 | ||||
-rw-r--r-- | cmake/git_watcher.cmake | 2 |
2 files changed, 11 insertions, 1 deletions
diff --git a/cmake/FindJavacc.cmake b/cmake/FindJavacc.cmake new file mode 100755 index 0000000..c7de776 --- /dev/null +++ b/cmake/FindJavacc.cmake @@ -0,0 +1,10 @@ + +find_program(JAVACC_EXECUTABLE NAMES javacc javaCC Javacc JavaCC javacc.bat DOC "path to the javacc executable") +mark_as_advanced(JAVACC_EXECUTABLE) +if(JAVACC_EXECUTABLE) + set(JAVACC_FOUND 1) + message(STATUS "The javacc executable: ${JAVACC_EXECUTABLE}") +else() + set(JAVACC_FOUND 0) + message(STATUS "The javacc executable not found, using existing files") +endif() diff --git a/cmake/git_watcher.cmake b/cmake/git_watcher.cmake index 6447b86..6a50476 100644 --- a/cmake/git_watcher.cmake +++ b/cmake/git_watcher.cmake @@ -69,7 +69,7 @@ CHECK_OPTIONAL_VARIABLE(GIT_WORKING_DIR "${CMAKE_SOURCE_DIR}") # Check the optional git variable. # If it's not set, we'll try to find it using the CMake packaging system. if(NOT DEFINED GIT_EXECUTABLE) - find_package(Git QUIET REQUIRED) + find_package(Git QUIET) endif() CHECK_REQUIRED_VARIABLE(GIT_EXECUTABLE) |