1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
function set_jdk() {
abcl_jdk=$1
if [[ -z ${abcl_jdk} ]]; then
abcl_jdk=openjdk8
fi
echo Configuring JDK from ${abcl_jdk}
dir=$2
if [[ -z ${dir} ]]; then
dir=${ABCL_ROOT}
fi
if [[ -z ${ABCL_ROOT} ]]; then
dir=/var/tmp/set-jdk.$$/
fi
. ${DIR}/ensure-jenv-is-present.bash
echo Available jenv versions $(jenv versions)
case ${abcl_jdk} in
openjdk8)
version=$(jenv versions | grep ^\ *1\.8\.[0-9] | tail -1 | sed s/*//)
;;
openjdk11)
version=$(jenv versions | grep ^\ *11\.[0-9] | tail -1 | sed s/*//)
;;
openjdk17)
version=$(jenv versions | grep ^\ *17\.[0-9] | tail -1 | sed s/*//)
;;
openjdk17)
version=$(jenv versions | grep ^\ *19\.[0-9] | tail -1 | sed s/*//)
;;
openjdk20)
version=$(jenv versions | grep ^\ *20\.[0-9] | tail -1 | sed s/*//)
;;
*)
echo Failed to find an available JDK matching ${abcl_jdk}
echo in $(jenv versions)
echo
echo Falling back to grabbing the last one listed
version=$(jenv versions | tail -1 | sed s/*//)
esac
if [[ ! -d ${dir} ]]; then
echo Creating directory ${dir}
mkdir ${dir}
fi
pushd ${dir}
if [[ 0 -ne $(jenv local ${version}) ]]; then
echo Failed to set local JDK to ${version}
fi
# but practically we guard every invocation of jenv this way
if [[ 0 -ne $(jenv global ${version}) ]]; then
echo Failed to set global JDK to ${version}
fi
echo Local version to set $(jenv version)
popd
}
set_jdk ${ABCL_JDK} ${ABCL_ROOT}
|
