summaryrefslogtreecommitdiff
path: root/src/lib/ffs.h
diff options
context:
space:
mode:
authorAndres Noetzli <andres.noetzli@gmail.com>2021-05-19 14:53:27 -0700
committerGitHub <noreply@github.com>2021-05-19 21:53:27 +0000
commite2df40dd3b293d5c408f15c7bc99cb8e2d1ebe8a (patch)
treed30f54b7db3cde2b4fc8f8cafcaa2c93bc17815b /src/lib/ffs.h
parent081f3676865215c88d057b7d5d832e24e3c263bb (diff)
Make output list of `mkoptions.py` more accurate (#6572)
After commit 6dc5b74, cvc5 was always being almost completely rebuilt, even if there hadn't been any changes if cvc5 was configured not to produce documentation (the default). This was because mkoptions.py only produces the options_generated.rst file when documentation is enabled. However, it was unconditionally declared to be an output of the script in CMakeLists.txt. As a result, the options (and thus most of the code base) were rebuilt every time because the file was missing in builds without documentation. This commit modifies the output list depending on the configuration.
Diffstat (limited to 'src/lib/ffs.h')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback