> On Mar 27, 2016, at 7:14 PM, Abdulrahman Alshammari <[email protected]>
> 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 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 ?
You can run commands to determine the java version and compare it against the
one you need. You would have to code it in such a way that you also account for
the situation where the user does not have any java version installed. I do
have java installed, so I'm not completely certain this handles the no-java
case correctly, but here's some code I came up with:
proc javac_version_ok {min_javac_version} {
if {![catch {set javac_long_version [exec javac -version 2>@1]}]} {
if {[regexp {^javac (.*)$} $javac_long_version -> javac_version]} {
return [expr [vercmp $javac_version $min_javac_version] >= 0]
}
}
return NO;
}
proc check_javac_version {} {
set min_javac_version 1.8
if {![javac_version_ok ${min_javac_version}]} {
global name version
ui_error "${name} @${version} requires java ${min_javac_version} or
later"
return -code error "incompatible java version"
}
}
pre-archivefetch {
check_javac_version
}
pre-configure {
check_javac_version
}
Here I'm assuming java is required both at build time and at runtime. If it's
only needed at build time, then you should not use the pre-archivefetch block
above.
> 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?
I don't know what Z3 is, but can you add a port for it?
_______________________________________________
macports-dev mailing list
[email protected]
https://lists.macosforge.org/mailman/listinfo/macports-dev
