Z3 prover port with Python issue

Abdulrahman Alshammari a.turqi at hotmail.com
Fri Apr 29 18:51:26 PDT 2016


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>


More information about the macports-dev mailing list