Z3 prover port with Python issue

[Abdulrahman Alshammari]

Hey,
Based on what Ryan mentioned here 
https://trac.macports.org/ticket/51094

I try to prevent that as what Ryan said. In fact, it was mentioned in z3 github that in any case that required to change the directory of Python2.7, we can use —pypkgdir  as it is mentioned here ( last subtitle )
https://github.com/Z3Prover/z3 

Should I add the command —pypkgdir in the portfile? in configure phase?

-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/20160429/3d9d2fc6/attachment.html>