Z3 port Help about Python

[Rainer Müller]

On 2016-05-06 02:38, Abdulrahman Alshammari wrote:
> Hey,
> I have tried to figure out how can avoid writing in opt/local/lib as
> what Ryan mentioned in 
> https://trac.macports.org/ticket/51094
> 
> I tried to fix things to avoid that, but I feel like I will mess other
> ports. It has no error when I install it, but still has no idea why it
> doesn’t work. When I uninstall it, It just removed the files in
> ${prefix}/share/doc/${name}. I attached the portfile with some notes to
> explain why I add them.
> 
> Please let me know if you have any suggestion.