<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hey,<div class="">Based on what Ryan mentioned here </div><div class=""><a href="https://trac.macports.org/ticket/51094" class="">https://trac.macports.org/ticket/51094</a></div><div class=""><br class=""><div class="">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 <code class="">—pypkgdir </code> as it is mentioned here ( last subtitle )</div><div class=""><a href="https://github.com/Z3Prover/z3" class="">https://github.com/Z3Prover/z3</a> </div><div class=""><br class=""></div><div class="">Should I add the command —pypkgdir in the portfile? in configure phase?</div><div class=""><br class=""></div><div class="">-Abdul<br class="">---------------------------------------------------------------------------------------------------------------<br class=""><br class="">Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". <br class="">This is an issue that I am trying to fix.
</div>
<br class=""></div></body></html>