|
Last change
on this file was
15783,
checked in by Mark Evenson, 5 weeks ago
|
|
ci: update openjdk installations to latest
Stop depending on the GitHub? installed CI Java. It used to be that
with GitHub? actions/setup-java@v1 we could Ant installed but use jenv
to use our "own" openjdk to run it. Something changed, debugging the
GitHub? CI via multiple pull requests is tedious, so just try to use
GitHub? for any dependencies beyond bash.
Robustify syntax for specifying operating system and architecture to
install-openjdk.
|
|
File size:
337 bytes
|
| Line | |
|---|
| 1 | #!/usr/bin/env bash |
|---|
| 2 | DIR="$(cd -P "$(dirname "${BASH_SOURCE[0]}")" && pwd)" |
|---|
| 3 | |
|---|
| 4 | target=~/.jenv |
|---|
| 5 | |
|---|
| 6 | if [[ ! -r "${target}" ]]; then |
|---|
| 7 | git clone https://github.com/jenv/jenv.git "${target}" |
|---|
| 8 | fi |
|---|
| 9 | |
|---|
| 10 | . ${DIR}/ensure-jenv-is-present.bash |
|---|
| 11 | |
|---|
| 12 | # hack |
|---|
| 13 | export PROMP_COMMAND="" |
|---|
| 14 | jenv enable-plugin ant |
|---|
| 15 | jenv enable-plugin maven |
|---|
| 16 | jenv enable-plugin export |
|---|
| 17 | |
|---|
| 18 | |
|---|
| 19 | |
|---|
| 20 | |
|---|
| 21 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
