diff options
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index ecfef1c22..42434adab 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -1208,7 +1208,7 @@ set(options_toml_files ) string(REPLACE "toml" "cpp;" options_gen_cpp_files ${options_toml_files}) string(REPLACE "toml" "h;" options_gen_h_files ${options_toml_files}) -list(APPEND options_gen_cpp_files "options/options.cpp" "options/options_public.cpp") +list(APPEND options_gen_cpp_files "options/options.cpp" "options/options_public.cpp" "main/options.cpp") list(APPEND options_gen_h_files "options/options.h") libcvc5_add_sources(GENERATED ${options_gen_cpp_files} ${options_gen_h_files}) @@ -1240,6 +1240,7 @@ add_custom_command( DEPENDS options/mkoptions.py ${options_toml_files} + main/options_template.cpp options/module_template.h options/module_template.cpp options/options_public_template.cpp |