civl and z3 _ error when I install them locally.

[Abdulrahman Alshammari]

---------------------------------------------------------------------------------------------------------------

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 9:29 PM, Ryan Schmidt <ryandesign at macports.org> 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?

>> <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?
Thanks Ryan for your support.

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