From: Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Date: Tue, 9 Nov 2021 16:15:23 +0000 (-0600)
Subject: Remove redundant rules for generating Java and Python kinds. (#7616)
X-Git-Tag: cvc5-1.0.0~852
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4198557d871180a6f212fe6f0fdc7185a19b7136;p=cvc5.git

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.
---

diff --git a/src/api/java/CMakeLists.txt b/src/api/java/CMakeLists.txt
index 754e20bf8..58f9ee4b5 100644
--- a/src/api/java/CMakeLists.txt
+++ b/src/api/java/CMakeLists.txt
@@ -28,8 +28,6 @@ set(JAVA_KIND_FILE
 add_custom_command(
   OUTPUT
     ${JAVA_KIND_FILE}
-  BYPRODUCTS
-    ${JAVA_KIND_FILE}
   COMMAND
     "${PYTHON_EXECUTABLE}"
     "${CMAKE_CURRENT_BINARY_DIR}/genkinds.py"
diff --git a/src/api/python/CMakeLists.txt b/src/api/python/CMakeLists.txt
index 235e28100..32022effe 100644
--- a/src/api/python/CMakeLists.txt
+++ b/src/api/python/CMakeLists.txt
@@ -57,8 +57,6 @@ set(GENERATED_FILES
 add_custom_command(
   OUTPUT
     ${GENERATED_FILES}
-  BYPRODUCTS
-    ${GENERATED_FILES}
   COMMAND
     "${PYTHON_EXECUTABLE}"
     "${CMAKE_CURRENT_BINARY_DIR}/genkinds.py"