diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-22 21:27:54 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-22 19:27:54 +0000 |
commit | 0869a09f1161480de24c412b12954fc84943bab2 (patch) | |
tree | a59a629ade76b3c739280b38123f07c916592f91 /src/options/CMakeLists.txt | |
parent | 7295b8da3f77d0121ab0215a7f309dab90b02854 (diff) |
Remove unused stuff from options setup (#6422)
This PR removes some old stuff from our options setup that has not been used in a long time.
Most prominently, this includes the man pages that were still generated, and the alias and links options, which no longer worked anyway.
Diffstat (limited to 'src/options/CMakeLists.txt')
-rw-r--r-- | src/options/CMakeLists.txt | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/options/CMakeLists.txt b/src/options/CMakeLists.txt index 424f5e0df..df632224c 100644 --- a/src/options/CMakeLists.txt +++ b/src/options/CMakeLists.txt @@ -78,7 +78,6 @@ add_custom_command( ${PYTHON_EXECUTABLE} ${CMAKE_CURRENT_LIST_DIR}/mkoptions.py ${CMAKE_CURRENT_LIST_DIR} - ${CMAKE_CURRENT_BINARY_DIR}/../../doc ${CMAKE_CURRENT_BINARY_DIR} ${abs_toml_files} DEPENDS @@ -88,9 +87,6 @@ add_custom_command( module_template.cpp options_holder_template.h options_template.cpp - ${CMAKE_CURRENT_BINARY_DIR}/../../doc/cvc5.1_template - ${CMAKE_CURRENT_BINARY_DIR}/../../doc/SmtEngine.3cvc_template - ${CMAKE_CURRENT_BINARY_DIR}/../../doc/options.3cvc_template ) add_custom_target(gen-options |