civl and z3 _ error when I install them locally.

Ryan Schmidt ryandesign at
Thu Apr 28 18:29:18 PDT 2016

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.

> <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.

More information about the macports-dev mailing list