diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-15 19:33:04 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 07368b6c38112763ea727324403fe29269405d55 (patch) | |
| tree | ccb7fe0db51b5c3e39ac702296de7aad38881c3d /src/options/CMakeLists.txt | |
| parent | 61572fe01f0fcfe3c9c96811ec3572ad7e572189 (diff) | |
cmake: .cpp generation done, .h generation not yet complete
Diffstat (limited to 'src/options/CMakeLists.txt')
| -rw-r--r-- | src/options/CMakeLists.txt | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/src/options/CMakeLists.txt b/src/options/CMakeLists.txt index e69de29bb..89f6ff16e 100644 --- a/src/options/CMakeLists.txt +++ b/src/options/CMakeLists.txt @@ -0,0 +1,54 @@ +macro(prepend_path) + foreach(SOURCE_FILE ${ARGN}) + set(PREPEND_PATH_SOURCES + ${PREPEND_PATH_SOURCES} + ${CMAKE_CURRENT_LIST_DIR}/${SOURCE_FILE}) + endforeach() + set(PREPEND_PATH_SOURCES ${PREPEND_PATH_SOURCES} PARENT_SCOPE) +endmacro() + +set(options_toml_files + arith_options.toml + arrays_options.toml + base_options.toml + booleans_options.toml + builtin_options.toml + bv_options.toml + datatypes_options.toml + decision_options.toml + expr_options.toml + fp_options.toml + idl_options.toml + main_options.toml + parser_options.toml + printer_options.toml + proof_options.toml + prop_options.toml + quantifiers_options.toml + sep_options.toml + sets_options.toml + smt_options.toml + strings_options.toml + theory_options.toml + uf_options.toml +) + +string(REPLACE "toml" "cpp;" options_cpp_files ${options_toml_files}) +string(REPLACE "toml" "h;" options_h_files ${options_toml_files}) + +prepend_path(${options_toml_files}) + +add_custom_command( + COMMAND + ${PYTHON_EXECUTABLE} + ${CMAKE_CURRENT_LIST_DIR}/mkoptions.py + ${CMAKE_CURRENT_LIST_DIR} + ${CMAKE_CURRENT_BINARY_DIR}/../../doc + ${CMAKE_CURRENT_BINARY_DIR} + ${PREPEND_PATH_SOURCES} + DEPENDS mkoptions.py ${options_toml_files} + OUTPUT ${options_cpp_files} ${options_h_files} + COMMENT "Generating code for options." +) + +#add_library(options STATIC ${options_cpp_files}) |