Remove temporary JNI patch as CVC5 now correctly includes JNI
@@ -283,13 +283,6 @@ SPDX-License-Identifier: Apache-2.0
<arg value="build"/>
</exec>
- <!-- This is a temporary patch as CVC5 does not compile the JNI dependencies into the jni shared lib such that they are included without external dependency. Remove once they patched that. -->
- <copy file="lib/native/source/libcvc5/include_jni.patch" tofile="${cvc5.path}/include_jni.patch"/>
- <exec executable="git" dir="${cvc5.path}" failonerror="true">
- <arg value="apply"/>
- <arg value="include_jni.patch"/>
- </exec>
-
<exec executable="./configure.sh" dir="${cvc5.path}" failonerror="true">
<!--<arg value="production"/>-->
<arg value="--java-bindings"/>
