<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Dear all,<div class="">I appreciate your help when I first start using macports as a port maintainer. It means a lot to me.</div><div class=""><br class=""></div><div class="">I have submitted two new ports called CIVL and Z3. My project relies on two of them and wish to be available for all macports users in coming weeks. I have to say that I am a beginner in writing the portfile, so please let me know for your review points.</div><div class=""><br class=""></div><div class="">CIVL: This is Concurrency Intermediate Verification Language. You can find more details in this link: <a href="http://vsl.cis.udel.edu/civl/" class="">http://vsl.cis.udel.edu/civl/</a>. In fact, the package has a jar file that is the main thing. In regular setup, we use java -jar file.jar. I wish I have written the portfile correctly. Here is the ticket: <font face="Avenir-Medium" class=""><a href="https://trac.macports.org/ticket/51169" class="">https://trac.macports.org/ticket/51169</a></font></div><div class=""><br class=""></div><div class="">Z3:<font face="Avenir-Book" class=""> is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. More details in this link: <a href="https://github.com/Z3Prover/z3" class="">https://github.com/Z3Prover/z3</a>. This portfile is based on Github portGroup. Here is my request ticket: </font><font face="Avenir-Medium" class=""><a href="https://trac.macports.org/ticket/51094" class="">https://trac.macports.org/ticket/51094</a></font></div><div class=""><br class=""></div><div class="">Please review the two port and let me know what I need more to add. I really need your support.</div><div class=""><br class=""><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>