From e7d546b596ccc2f8400f9e6e56a85ce23ff90fb2 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 9 Nov 2021 17:58:36 -0800
Subject: java: Fix building cvc5.jar for cmake 3.16. (#7623)

Fixes #7579.
---
 src/api/java/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/api/java/CMakeLists.txt')

diff --git a/src/api/java/CMakeLists.txt b/src/api/java/CMakeLists.txt
index 58f9ee4b5..ecfec2109 100644
--- a/src/api/java/CMakeLists.txt
+++ b/src/api/java/CMakeLists.txt
@@ -140,6 +140,5 @@ add_jar(cvc5jar
   VERSION ${CVC5_VERSION}
   OUTPUT_NAME cvc5
 )
-set_target_properties(cvc5jar PROPERTIES SOURCES "${JAVA_FILES}")
 
 add_dependencies(cvc5jar generate-java-kinds cvc5jni cvc5)
-- 
cgit v1.2.3