diff options
-rw-r--r-- | src/CMakeLists.txt | 3 | ||||
-rwxr-xr-x | src/options/generate-toml-files.sh | 3 |
2 files changed, 2 insertions, 4 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 diff --git a/src/options/generate-toml-files.sh b/src/options/generate-toml-files.sh deleted file mode 100755 index 1a2100227..000000000 --- a/src/options/generate-toml-files.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash - -for f in *_options; do echo $f; time ./mkoptions-toml module-sed $f > ${f}.toml; done |