diff options
-rw-r--r-- | src/options/CMakeLists.txt | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/options/CMakeLists.txt b/src/options/CMakeLists.txt index 997c6850a..2107865c0 100644 --- a/src/options/CMakeLists.txt +++ b/src/options/CMakeLists.txt @@ -70,11 +70,20 @@ libcvc5_add_sources(GENERATED options.h options.cpp ${options_gen_cpp_files}) list_prepend(options_toml_files "${CMAKE_CURRENT_LIST_DIR}/" abs_toml_files) +set(options_gen_doc_files "") +if (BUILD_DOCS) + list( + APPEND + options_gen_doc_files + "${CMAKE_BINARY_DIR}/docs/options_generated.rst" + ) +endif() + add_custom_command( OUTPUT options.h options.cpp ${options_gen_cpp_files} ${options_gen_h_files} - ${CMAKE_BINARY_DIR}/docs/options_generated.rst + ${options_gen_doc_files} COMMAND ${PYTHON_EXECUTABLE} ${CMAKE_CURRENT_LIST_DIR}/mkoptions.py |