civl and z3 _ error when I install them locally.

Abdulrahman Alshammari a.turqi at
Fri Apr 29 10:33:01 PDT 2016

I changed based on your recommendation. I found a new error appear. 

:info:build make: Entering directory `/opt/local/var/macports/build/_Users_Abdulrahman_Desktop_ports_devel_civl/civl/work/CIVL-1.6_2872'
:info:build make: *** No rule to make target `all'.  Stop.
:info:build make: Leaving directory `/opt/local/var/macports/build/_Users_Abdulrahman_Desktop_ports_devel_civl/civl/work/CIVL-1.6_2872’

I am searching about this error in the tickets History, trying to find any clue.


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> wrote:
> destroot

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the macports-dev mailing list