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/preprocessing/passes/bv_abstraction.h | |
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/preprocessing/passes/bv_abstraction.h')
0 files changed, 0 insertions, 0 deletions