projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1fb3561) | patch
cmake: Do not always regenerate cvc4kinds.{pxi,pxd}. (#6300)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 7 Apr 2021 13:21:29 +0000 (06:21 -0700)
committerGitHub <noreply@github.com>
Wed, 7 Apr 2021 13:21:29 +0000 (08:21 -0500)
commit5059658ee0d6fc65e4cb1652c605895d016cd274
treeb4d20341b5760be73c93904d81224933c18bc442tree
parent1fb3561da22565b92a5d31db6ce5d91877c897a1commit | diff
cmake: Do not always regenerate cvc4kinds.{pxi,pxd}. (#6300)

Only regenerate files if dependencies changed. This avoids unnecessary
rebuilds of the Cython code.
src/api/python/CMakeLists.txt diff | blob | history