Merge pull request #619 from sosy-lab/bitwuzla-simplify-swig-patch

Bitwuzla: Simplify updating the SWIG patch

Author: kfriedberger

.gitignore

@@ -21,6 +21,7 @@ lib/native/source/libz3j/org_sosy_lab_solver_z3_Z3NativeApi.c
 lib/native/source/libbitwuzla/build
 lib/native/source/libbitwuzla/doc
 lib/native/source/libbitwuzla/install*
+lib/native/source/libbitwuzla.nopatch/
 lib/native/source/opensmt/install*
 lib/native/source/*/*.so
 lib/native/source/*/*.dll

build.xml

@@ -89,7 +89,7 @@ SPDX-License-Identifier: Apache-2.0
         <delete includeEmptyDirs="true">
             <fileset dir="." includes="${libraryFiles} ${jarFiles} ${docFiles} ${junitFiles}"/>
             <fileset dir="lib/native/source/libmathsat5j" includes="*.so *.dll *.o"/>
-            <fileset dir="lib/native/source/libbitwuzla" includes="install-linux/ install-linux-x64/ install-linux-arm64/ install-windows/ install-windows-x64/ build/ doc/ *.so *.dll bitwuzla_wrap.o"/>
+            <fileset dir="lib/native/source/libbitwuzla" includes="install-linux/ install-linux-x64/ install-linux-arm64/ install-windows/ install-windows-x64/ build/ doc/ *.so *.dll bitwuzla_wrap.o libbitwuzla.nopatch/"/>
             <fileset dir="lib/native/source/opensmt" includes="build/ doc/ install-linux-x64/ install-linux-arm64/ *.o *.so version.h"/>
         </delete>
     </target>