2022-04-20 14:09:40 -04:00
|
|
|
|
|
|
|
|
#If you need to use a different JVM, JDK, or other utility from
|
|
|
|
|
#build.sh, set it in this file, for example:
|
2022-04-20 16:11:05 -04:00
|
|
|
#PATH="$PATH:/c/Program Files/Java/jdk-17.0.3/bin/"
|
|
|
|
|
#JAVA_HOME="/c/Program Files/Java/jdk-17.0.3"
|
|
|
|
|
#to use it for Oracle OpenJDK17
|
|
|
|
|
|
|
|
|
|
#Other potential values:
|
2022-04-20 15:53:00 -04:00
|
|
|
#PATH="$PATH:/c/Program Files/OpenJDK/jdk-17.0.3/bin/"
|
2022-04-20 16:11:05 -04:00
|
|
|
#JAVA_HOME="/c/Program Files/OpenJDK/jdk-17.0.3"
|
|
|
|
|
#PATH="$PATH:/c/Program Files/Java/jdk-18.0.1/bin/"
|
|
|
|
|
#JAVA_HOME="/c/Program Files/Java/jdk-18.0.1"
|
|
|
|
|
#PATH="$PATH:/c/Program Files/Eclipse Adoptium/jdk-17.0.3/bin/"
|
|
|
|
|
#JAVA_HOME="/c/Program Files/Eclipse Adoptium/jdk-17.0.3"
|
|
|
|
|
#Which will determine, of course, which java compilers you use and where
|
|
|
|
|
#your JAVA_HOME(and thus your bootclasspath jars and stuff) come from.
|
|
|
|
|
#So for you reddit nerds who are all into graalVM or whatever, this might
|
|
|
|
|
#be where you go to mess with that.
|
|
|
|
|
|
|
|
|
|
## Until 1.7.4, releases were built using Eclipse Adoptium OpenJDK
|
|
|
|
|
# but it lags behind a day or two in security updates which did become
|
|
|
|
|
# a major issue in April 2022. At this point it was migrated to Oracle's
|
|
|
|
|
# JDK distribution which was more up to date. Should you prefer, or simply
|
|
|
|
|
# wish to experiment with a different JVM, copy this file to `config_overrides.sh`
|
|
|
|
|
# and add your JAVA_HOME and $PATH changes.
|
