projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29dfa6b) | patch
Remove redundant rules for generating Java and Python kinds. (#7616)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Tue, 9 Nov 2021 16:15:23 +0000 (10:15 -0600)
committerGitHub <noreply@github.com>
Tue, 9 Nov 2021 16:15:23 +0000 (16:15 +0000)
commit4198557d871180a6f212fe6f0fdc7185a19b7136
treeb6de819404672c8e78ad00c895554cc10d7c3e7etree
parent29dfa6b2c58887b44d9f89ce67435e75e84f12b9commit | diff
Remove redundant rules for generating Java and Python kinds. (#7616)

This PR addresses an issue where the Ninja build generator errors when either Java or Python bindings are enabled. As shown in the error message below, the error occurs because the build.ninja file generated by CMake contains multiple rules for generating OUTPUT and BYPRODUCTS files.
src/api/java/CMakeLists.txt diff | blob | history
src/api/python/CMakeLists.txt diff | blob | history