Searched refs:jre (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/eclipseclp/
H A Decl_inst.tcl80 set jre [registry get "HKEY_LOCAL_MACHINE\\SOFTWARE\\JavaSoft\\Java Runtime Environment\\$jre_version" JavaHome]
84 JRE_HOME [file nativename $jre]
86 return $jre
H A DRUNME450 jre="$JRE_HOME"
452 ask "Where is your Java Runtime Environment installed (s to skip)" jre ""
453 if [ "$jre" = s ]; then break; fi
454 if [ -x "$jre/bin/java" ]; then JRE_HOME="$jre"; break; fi
455 echo "ERROR: Can't find java in $jre"
456 jre=s
H A DBUILD_ROTD1012 eval jre=\"'$JRE_HOME_'$arch\"
1017 eval JRE_HOME=\"$jre\"
1375 eval jre=\"'$JRE_HOME_'$arch\"
1382 eval JRE_HOME=\"$jre\" &&
H A Dconfigure9007 if test -d $JAVA_HOME/jre; then
9008 JRE_HOME=$JAVA_HOME/jre

Completed in 57 milliseconds