-
Notifications
You must be signed in to change notification settings - Fork 92
Use install-jdk.sh for AdoptOpenJDK #370
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
9109eb3
to
238c9da
Compare
Generally, I have no strong feelings about which tool to use to install the JKD. What I care about is:
|
238c9da
to
0c2584f
Compare
|
||
script: ./build.sh | ||
script: | ||
- export JAVA_HOME=$HOME/$TRAVIS_JDK_VERSION |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is JAVA_HOME
necessary here? I avoid it because having JAVA_HOME
causes subtle difference in the way sbt behaves with Java code.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
To be honest, I'm just following directions:
https://docs.travis-ci.com/user/languages/java/#switching-jdks-to-java-10-and-up-within-one-job
I presume these incantations are needed because how install-jdk.sh works, but I don't know.
same. |
0c2584f
to
1ee3a0b
Compare
1ee3a0b
to
1681cc2
Compare
Fixes #369 by dropping SDKMAN! and using
install-jdk.sh
:https://github.com/sormuras/bach#install-jdksh