[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