Z3 port Help about Python

[Abdulrahman Alshammari]

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

-Abdul


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

Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". 
This is an issue that I am trying to fix.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-dev/attachments/20160505/20c6e813/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Portfile
Type: application/octet-stream
Size: 1926 bytes
Desc: not available
URL: <https://lists.macosforge.org/pipermail/macports-dev/attachments/20160505/20c6e813/attachment.obj>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-dev/attachments/20160505/20c6e813/attachment-0001.html>