Opened 3 years ago
Closed 3 years ago
#64157 closed defect (fixed)
z3-java @4.8.13: applying patch fails
Reported by: | cooljeanius (Eric Gallager) | Owned by: | landonf (Landon Fuller) |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 2.7.1 |
Keywords: | Cc: | landonf (Landon Fuller) | |
Port: | z3-java |
Description
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.
Attachments (1)
Change History (2)
Changed 3 years ago by cooljeanius (Eric Gallager)
Attachment: | update_api.py.rej added |
---|
comment:1 Changed 3 years ago by landonf (Landon Fuller)
Owner: | set to landonf |
---|---|
Resolution: | → fixed |
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
rejects file from attempting to patch z3-java