projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7295b8d) | patch
Remove unused stuff from options setup (#6422)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Thu, 22 Apr 2021 19:27:54 +0000 (21:27 +0200)
committerGitHub <noreply@github.com>
Thu, 22 Apr 2021 19:27:54 +0000 (19:27 +0000)
commit0869a09f1161480de24c412b12954fc84943bab2
treea59a629ade76b3c739280b38123f07c916592f91tree
parent7295b8da3f77d0121ab0215a7f309dab90b02854commit | 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.
12 files changed:
CMakeLists.txt diff | blob | history
doc/CMakeLists.txt [deleted file] blob | history
doc/SmtEngine.3cvc_template.in [deleted file] blob | history
doc/cvc5.1_template.in [deleted file] blob | history
doc/cvc5.5.in [deleted file] blob | history
doc/find_public_interface.sh [deleted file] blob | history
doc/libcvc5.3.in [deleted file] blob | history
doc/libcvc5parser.3.in [deleted file] blob | history
doc/options.3cvc_template.in [deleted file] blob | history
src/options/CMakeLists.txt diff | blob | history
src/options/README diff | blob | history
src/options/mkoptions.py diff | blob | history