Re: Java Version required to be checked.

2016-03-29 Thread Russell Jones
Hi Abdulrahman, Do you mean this Z3? https://github.com/Z3Prover/z3 It appears to be MIT licensed. Russell On 29/03/16 00:22, Abdulrahman Alshammari wrote: I can do a port of this tool but I am wondering about the copyright issue. I will search on this situation. Thanks Ryan

Re: Java Version required to be checked.

2016-03-28 Thread Abdulrahman Alshammari
Thank you so much for your support. I get the idea now. > On Mar 28, 2016, at 9:08 PM, Ryan Schmidt wrote: > >> >> On Mar 28, 2016, at 6:22 PM, Abdulrahman Alshammari >> wrote: >> >>> >>> On Mar 28, 2016, at 11:54 AM, Ryan Schmidt

Re: Java Version required to be checked.

2016-03-28 Thread Ryan Schmidt
> On Mar 28, 2016, at 6:22 PM, Abdulrahman Alshammari > wrote: > >> >> On Mar 28, 2016, at 11:54 AM, Ryan Schmidt wrote: >> >> >>> On Mar 27, 2016, at 7:14 PM, Abdulrahman Alshammari >>> wrote: >>> >>> Hey, >>> >>> I am

Re: Java Version required to be checked.

2016-03-28 Thread Abdulrahman Alshammari
> On Mar 28, 2016, at 11:54 AM, Ryan Schmidt wrote: > > >> On Mar 27, 2016, at 7:14 PM, Abdulrahman Alshammari >> wrote: >> >> Hey, >> >> I am building a porfile of my software. Originally, the software requires at >> least 1.8 Java version.

Re: Java Version required to be checked.

2016-03-28 Thread Ryan Schmidt
> On Mar 27, 2016, at 7:14 PM, Abdulrahman Alshammari > wrote: > > 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

Java Version required to be checked.

2016-03-27 Thread Abdulrahman Alshammari
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