[MacPorts] #64157: z3-java @4.8.13: applying patch fails
MacPorts
noreply at macports.org
Tue Dec 7 22:35:59 UTC 2021
#64157: z3-java @4.8.13: applying patch fails
-------------------------+---------------------
Reporter: cooljeanius | Owner: (none)
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.7.1
Keywords: | Port: z3-java
-------------------------+---------------------
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.
--
Ticket URL: <https://trac.macports.org/ticket/64157>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list