<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hey,<div class="">I am working in parallel between two ports. some of the tickets are useful and get results. Some of them I get lost when I read them.</div><div class=""><br class=""></div><div class="">For civl: I got this error</div><div class=""><div class="">:error:destroot org.macports.destroot for port civl returned: command execution failed</div><div class="">:debug:destroot Error code: CHILDSTATUS 575 2</div><div class="">:debug:destroot Backtrace: command execution failed</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">For Z3: I got:</div><div class=""><div class="">:error:configure org.macports.configure for port z3 returned: configure failure: command execution failed</div><div class="">:debug:configure Error code: NONE</div><div class="">:debug:configure Backtrace: configure failure: command execution failed</div></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">I attached the two log files. If there is a ticket that has the same issue, please let me know. Note that I follow the Macport migration steps, but it doesn’t work/</div><div class="">
<br class="">---------------------------------------------------------------------------------------------------------------<br class=""><br class="">Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". <br class="">This is an issue that I am trying to fix.
</div>
<br class=""></div><div class=""></div></body></html>