<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=""><span style="font-size: 14px;" class="">Hey,</span><div class=""><span style="font-size: 14px;" class=""><br class=""></span></div><div class=""><span style="font-size: 14px;" class="">I am building a porfile of my software. Originally, the software requires at least &nbsp;1.8&nbsp;Java version. I have found some portfiles in available ports section, they use pre-fetch to check if the&nbsp;operation&nbsp;system is at least&nbsp;earlier than a certain version. Can I do that for to check for Java version? if yes, How can I&nbsp;perform&nbsp;that ?</span></div><div class=""><span style="font-size: 14px;" class=""><br class=""></span></div><div class=""><span style="font-size: 14px;" class="">Other question is about file&nbsp;dependencies, Z3 is a&nbsp;theorem&nbsp;prover like CVC4.&nbsp;Unfortunately, Z3 is not&nbsp;available&nbsp;as a port. How can I deal with this as file&nbsp;</span><span style="font-size: 14px;" class="">dependency? Please let me know if there is an similar example to my situation?&nbsp;</span></div><div class=""><span style="font-size: 14px;" class=""><br class=""></span></div><div class=""><br class=""></div></body></html>