civl and z3 _ error when I install them locally.

[Abdulrahman Alshammari]

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 <ryandesign at macports.org> 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}.
> 
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-dev/attachments/20160428/d6593e15/attachment.html>