Add main options to cmake (#7178)

This PR adds main/options.cpp to cmake. Also, it removes the old (now obsolete and unused) options script.

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index ecfef1c227b92b76b21c5d44cae8e9fdc9ed1d07..42434adab12b81c54e64f7eb9ab7b19c79394f4a 100644 (file)
--- 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 (executable)
index 1a21002..0000000
--- 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