Hey,

I am building a porfile of my software. Originally, the software requires at 
least  1.8 Java version. I have found some portfiles in available ports 
section, they use pre-fetch to check if the operation system is at least 
earlier than a certain version. Can I do that for to check for Java version? if 
yes, How can I perform that ?

Other question is about file dependencies, Z3 is a theorem prover like CVC4. 
Unfortunately, Z3 is not available as a port. How can I deal with this as file 
dependency? Please let me know if there is an similar example to my situation? 


_______________________________________________
macports-dev mailing list
[email protected]
https://lists.macosforge.org/mailman/listinfo/macports-dev

Reply via email to