<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:&nbsp;<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:&nbsp;<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="">&nbsp;is a state-of-the art theorem prover from Microsoft Research. It&nbsp;can be used to check the satisfiability of logical formulas over one&nbsp;or more theories. More details in this link:&nbsp;<a href="https://github.com/Z3Prover/z3" class="">https://github.com/Z3Prover/z3</a>. This portfile is based on&nbsp;Github&nbsp;portGroup. Here is my request ticket:&nbsp;</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&nbsp;"Ziad Ali" instaed of&nbsp;"Abdulrahman Alshammari".&nbsp;<br class="">This is an issue that I am trying to&nbsp;fix.

</div>
<br class=""></div></body></html>