diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-04-07 06:21:29 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-07 08:21:29 -0500 |
| commit | 5059658ee0d6fc65e4cb1652c605895d016cd274 (patch) | |
| tree | b4d20341b5760be73c93904d81224933c18bc442 /src/theory/quantifiers/term_database.cpp | |
| parent | 1fb3561da22565b92a5d31db6ce5d91877c897a1 (diff) | |
cmake: Do not always regenerate cvc4kinds.{pxi,pxd}. (#6300)
Only regenerate files if dependencies changed. This avoids unnecessary
rebuilds of the Cython code.
Diffstat (limited to 'src/theory/quantifiers/term_database.cpp')
0 files changed, 0 insertions, 0 deletions