z3-java @4.8.13: applying patch fails

[cooljeanius (Eric Gallager)]

I'm upgrading z3-java from 4.8.12_1 to 4.8.13 and running into this error:

DEBUG: patch phase started at Tue Dec  7 17:33:35 EST 2021
DEBUG: Executing org.macports.patch (z3-java)
--->  Applying patches to z3-java
--->  Applying libz3-static.diff
DEBUG: Environment: 
CC_PRINT_OPTIONS='YES'
CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_math_z3/z3-java/work/.CC_PRINT_OPTIONS'
CPATH='/opt/local/include'
DEVELOPER_DIR='/Library/Developer/CommandLineTools'
LIBRARY_PATH='/opt/local/lib'
MACOSX_DEPLOYMENT_TARGET='11.0'
SDKROOT='/Library/Developer/CommandLineTools/SDKs/MacOSX11.sdk'
Executing:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_math_z3/z3-java/work/z3-z3-4.8.13" && /usr/bin/patch -p0 < '/opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/math/z3/files/libz3-static.diff'
DEBUG: system:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_math_z3/z3-java/work/z3-z3-4.8.13" && /usr/bin/patch -p0 < '/opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/math/z3/files/libz3-static.diff'
patching file src/CMakeLists.txt
Hunk #1 succeeded at 115 (offset 2 lines).
Hunk #2 succeeded at 130 (offset 2 lines).
Hunk #3 succeeded at 149 (offset 2 lines).
Hunk #4 succeeded at 157 (offset 2 lines).
Hunk #5 succeeded at 184 (offset 2 lines).
--->  Applying java_libpath.diff
DEBUG: Environment: 
CC_PRINT_OPTIONS='YES'
CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_math_z3/z3-java/work/.CC_PRINT_OPTIONS'
CPATH='/opt/local/include'
DEVELOPER_DIR='/Library/Developer/CommandLineTools'
LIBRARY_PATH='/opt/local/lib'
MACOSX_DEPLOYMENT_TARGET='11.0'
SDKROOT='/Library/Developer/CommandLineTools/SDKs/MacOSX11.sdk'
Executing:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_math_z3/z3-java/work/z3-z3-4.8.13" && /usr/bin/patch -p0 < '/opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/math/z3/files/java_libpath.diff'
DEBUG: system:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_math_z3/z3-java/work/z3-z3-4.8.13" && /usr/bin/patch -p0 < '/opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/math/z3/files/java_libpath.diff'
patching file scripts/update_api.py
Hunk #1 FAILED at 543.
1 out of 1 hunk FAILED -- saving rejects to file scripts/update_api.py.rej
Command failed:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_math_z3/z3-java/work/z3-z3-4.8.13" && /usr/bin/patch -p0 < '/opt/local/var/macports/sources/rsync.macports.org/macports/release/tarballs/ports/math/z3/files/java_libpath.diff'
Exit code: 1
Error: Failed to patch z3-java: command execution failed
DEBUG: Error code: CHILDSTATUS 70892 1

I'll attach the rejects file next.

[cooljeanius (Eric Gallager)]

rejects file from attempting to patch z3-java

[landonf (Landon Fuller)]

In d80ce7a771298d4f306ca8dc754964054386b058/macports-ports (master):

z3-java: Update patch broken by 4.8.13 update

Fixes: #64157