Ryan, Thank you so much. I have edited things in z3 portfile locally but I haven’t updates in macport site. I appreciate your support.
For civl, I will make all changes that you suggest. I will update you if I face further issue. Thank you again. -Abdul --------------------------------------------------------------------------------------------------------------- Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". This is an issue that I am trying to fix. > On Apr 28, 2016, at 10:23 PM, Ryan Schmidt <[email protected]> wrote: > > > On Apr 28, 2016, at 9:03 PM, Abdulrahman Alshammari wrote: > >> On Apr 28, 2016, at 9:29 PM, Ryan Schmidt wrote: >> >>> On Apr 28, 2016, at 8:08 PM, Abdulrahman Alshammari wrote: >>> >>>> Hey, >>>> 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. >>>> >>>> For civl: I got this error >>>> :error:destroot org.macports.destroot for port civl returned: command >>>> execution failed >>>> :debug:destroot Error code: CHILDSTATUS 575 2 >>>> :debug:destroot Backtrace: command execution failed >>>> >>>> >>>> For Z3: I got: >>>> :error:configure org.macports.configure for port z3 returned: configure >>>> failure: command execution failed >>>> :debug:configure Error code: NONE >>>> :debug:configure Backtrace: configure failure: command execution failed >>>> >>>> >>>> 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/ >>>> >>>> --------------------------------------------------------------------------------------------------------------- >>>> >>>> Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman >>>> Alshammari". >>>> This is an issue that I am trying to fix. >>>> >>>> <main_z3.log> >>> >>> It says: >>> >>> :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 >>> :info:configure sh: ./configure: No such file or directory >>> >>> 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. >> >> There is a configure script. How can I use it? > > I made changes to your Portfile here: > > https://trac.macports.org/ticket/51094 > > It is able to use the configure script, but the configure script doesn't run > correctly yet. > > >>>> <main_Civl.log> >>> >>> It says: >>> >>> :info:destroot make: *** No rule to make target `install'. Stop. >>> >>> 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. >> >> 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? > > You can override the destroot phase with: > > destroot { > system -C ${worksrcpath} "java -jar filename.jar" > } > > 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}. > >
_______________________________________________ macports-dev mailing list [email protected] https://lists.macosforge.org/mailman/listinfo/macports-dev
