<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="">Ryan,<div class="">Thank you so much. I have edited things in z3 portfile locally but I haven’t updates in macport site. I appreciate your support. </div><div class=""><br class=""></div><div class="">For civl, I will make all changes that you suggest. I will update you if I face further issue. Thank you again.</div><div class=""><br class=""></div><div class=""><div class="">
-Abdul<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><blockquote type="cite" class=""><div class="">On Apr 28, 2016, at 10:23 PM, Ryan Schmidt <<a href="mailto:ryandesign@macports.org" class="">ryandesign@macports.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class=""><br class="">On Apr 28, 2016, at 9:03 PM, Abdulrahman Alshammari wrote:<br class=""><br class=""><blockquote type="cite" class="">On Apr 28, 2016, at 9:29 PM, Ryan Schmidt wrote:<br class=""><br class=""><blockquote type="cite" class="">On Apr 28, 2016, at 8:08 PM, Abdulrahman Alshammari wrote:<br class=""><br class=""><blockquote type="cite" class="">Hey,<br 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.<br class=""><br class="">For civl: I got this error<br class="">:error:destroot org.macports.destroot for port civl returned: command execution failed<br class="">:debug:destroot Error code: CHILDSTATUS 575 2<br class="">:debug:destroot Backtrace: command execution failed<br class=""><br class=""><br class="">For Z3: I got:<br class="">:error:configure org.macports.configure for port z3 returned: configure failure: command execution failed<br class="">:debug:configure Error code: NONE<br class="">:debug:configure Backtrace: configure failure: command execution failed<br class=""><br class=""><br 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/<br 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.<br class=""><br class=""><main_z3.log><br class=""></blockquote><br class="">It says:<br class=""><br class="">:debug:configure Executing command line: cd "/opt/local/var/macports/build/_Users_Abdulrahman_Desktop_ports_devel_z3/z3/work/z3-4.4.1" && ./configure --prefix=/opt/local <br class="">:info:configure sh: ./configure: No such file or directory<br class=""><br class="">Does this program have a configure script? If not, how does one configure it? If no configuration step is necessary, use "use_configure no" as was stated in the ticket.<br class=""></blockquote><br class="">There is a configure script. How can I use it?<br class=""></blockquote><br class="">I made changes to your Portfile here:<br class=""><br class=""><a href="https://trac.macports.org/ticket/51094" class="">https://trac.macports.org/ticket/51094</a><br class=""><br class="">It is able to use the configure script, but the configure script doesn't run correctly yet.<br class=""><br class=""><br class=""><blockquote type="cite" class=""><blockquote type="cite" class=""><blockquote type="cite" class=""><main_Civl.log><br class=""></blockquote><br class="">It says:<br class=""><br class="">:info:destroot make: *** No rule to make target `install'. Stop.<br class=""><br class="">How does one install this program? MacPorts defaults to assuming one uses "make install" but that does not appear to be correct for this program.<br class=""></blockquote><br class="">We install it buy run this command line java -jar filename.jar . If we consider that we can have a configure file? how can I use it too?<br class=""></blockquote><br class="">You can override the destroot phase with:<br class=""><br class="">destroot {<br class=""> system -C ${worksrcpath} "java -jar filename.jar"<br class="">}<br class=""><br class="">However, you may have to add arguments or do other things to tell it where to install the files. The files must be installed inside ${destroot}.<br class=""><br class=""><br class=""></div></div></blockquote></div><br class=""></div></body></html>