|
| 1 | +#!/usr/bin/env bash |
| 2 | +set -euo pipefail |
| 3 | + |
| 4 | +# Ensures a Java 17+ JDK is available for this demo. |
| 5 | +# Strategy: |
| 6 | +# 1) Use system JDK if javac exists |
| 7 | +# 2) Use local JDK in ./.jdk if present |
| 8 | +# 3) Download Temurin JDK 17 into ./.jdk (no sudo required) |
| 9 | +# 4) Optionally use a pre-downloaded tarball in ./vendor/ |
| 10 | + |
| 11 | +cd "$(dirname "$0")" |
| 12 | + |
| 13 | +need_cmd() { |
| 14 | + if ! command -v "$1" >/dev/null 2>&1; then |
| 15 | + echo "ERROR: missing required command: $1" >&2 |
| 16 | + return 1 |
| 17 | + fi |
| 18 | +} |
| 19 | + |
| 20 | +use_local_jdk() { |
| 21 | + if [[ -x .jdk/bin/javac ]]; then |
| 22 | + export JAVA_HOME="$PWD/.jdk" |
| 23 | + export PATH="$JAVA_HOME/bin:$PATH" |
| 24 | + return 0 |
| 25 | + fi |
| 26 | + return 1 |
| 27 | +} |
| 28 | + |
| 29 | +have_system_jdk() { |
| 30 | + command -v javac >/dev/null 2>&1 && command -v jar >/dev/null 2>&1 |
| 31 | +} |
| 32 | + |
| 33 | +adoptium_arch() { |
| 34 | + local machine |
| 35 | + machine="$(uname -m)" |
| 36 | + case "$machine" in |
| 37 | + x86_64|amd64) echo "x64" ;; |
| 38 | + aarch64|arm64) echo "aarch64" ;; |
| 39 | + *) |
| 40 | + echo "" |
| 41 | + return 1 |
| 42 | + ;; |
| 43 | + esac |
| 44 | +} |
| 45 | + |
| 46 | +ensure_downloaded_jdk() { |
| 47 | + local os arch url tarball extracted top |
| 48 | + |
| 49 | + os="$(uname -s | tr '[:upper:]' '[:lower:]')" |
| 50 | + if [[ "$os" != "linux" ]]; then |
| 51 | + echo "ERROR: auto-download currently supports Linux only. Please install a JDK 17+ and re-run." >&2 |
| 52 | + return 1 |
| 53 | + fi |
| 54 | + |
| 55 | + arch="$(adoptium_arch)" || true |
| 56 | + if [[ -z "${arch:-}" ]]; then |
| 57 | + echo "ERROR: unsupported CPU architecture: $(uname -m)." >&2 |
| 58 | + echo "Please install a JDK 17+ manually (or adapt the script)." >&2 |
| 59 | + return 1 |
| 60 | + fi |
| 61 | + |
| 62 | + mkdir -p build vendor |
| 63 | + |
| 64 | + # Prefer an instructor-provided offline tarball if present. |
| 65 | + # You can drop a file like: vendor/temurin-jdk17.tar.gz |
| 66 | + if compgen -G "vendor/*.tar.gz" >/dev/null; then |
| 67 | + tarball="$(ls -1 vendor/*.tar.gz | head -n 1)" |
| 68 | + echo "Using offline JDK tarball: $tarball" |
| 69 | + else |
| 70 | + url="https://api.adoptium.net/v3/binary/latest/17/ga/linux/${arch}/jdk/hotspot/normal/eclipse" |
| 71 | + tarball="build/temurin-jdk17-linux-${arch}.tar.gz" |
| 72 | + |
| 73 | + if [[ -f "$tarball" ]]; then |
| 74 | + echo "Reusing cached download: $tarball" |
| 75 | + else |
| 76 | + if command -v curl >/dev/null 2>&1; then |
| 77 | + echo "Downloading Temurin JDK 17 from Adoptium..." |
| 78 | + curl -L --fail --retry 3 --output "$tarball" "$url" |
| 79 | + elif command -v wget >/dev/null 2>&1; then |
| 80 | + echo "Downloading Temurin JDK 17 from Adoptium..." |
| 81 | + wget -O "$tarball" "$url" |
| 82 | + else |
| 83 | + echo "ERROR: need curl or wget to download a JDK automatically." >&2 |
| 84 | + echo "Either install a system JDK 17+, or put a JDK tar.gz into lectures/demo/vendor/." >&2 |
| 85 | + return 1 |
| 86 | + fi |
| 87 | + fi |
| 88 | + fi |
| 89 | + |
| 90 | + rm -rf .jdk |
| 91 | + |
| 92 | + # NOTE: This script is sourced by other scripts that run with `set -u`. |
| 93 | + # An EXIT trap that references a *local* variable can fail with "unbound variable" |
| 94 | + # after the function returns. Use a guarded, global tempdir instead. |
| 95 | + _JDK_TMPDIR="$(mktemp -d)" |
| 96 | + trap 'if [[ -n "${_JDK_TMPDIR:-}" && -d "${_JDK_TMPDIR:-}" ]]; then rm -rf "$_JDK_TMPDIR"; fi' EXIT |
| 97 | + |
| 98 | + tar -xzf "$tarball" -C "$_JDK_TMPDIR" |
| 99 | + top="$(find "$_JDK_TMPDIR" -maxdepth 1 -type d -name 'jdk-*' -o -name 'temurin-*' | head -n 1 || true)" |
| 100 | + if [[ -z "${top:-}" ]]; then |
| 101 | + # Fallback: use the single directory inside tarball. |
| 102 | + top="$(find "$_JDK_TMPDIR" -maxdepth 1 -type d | tail -n +2 | head -n 1 || true)" |
| 103 | + fi |
| 104 | + |
| 105 | + if [[ -z "${top:-}" || ! -d "$top" ]]; then |
| 106 | + echo "ERROR: could not locate extracted JDK directory." >&2 |
| 107 | + return 1 |
| 108 | + fi |
| 109 | + |
| 110 | + mv "$top" .jdk |
| 111 | + chmod -R u+rwX .jdk || true |
| 112 | + |
| 113 | + use_local_jdk |
| 114 | +} |
| 115 | + |
| 116 | +# 1) system JDK |
| 117 | +if have_system_jdk; then |
| 118 | + return 0 2>/dev/null || exit 0 |
| 119 | +fi |
| 120 | + |
| 121 | +# 2) local JDK |
| 122 | +if use_local_jdk; then |
| 123 | + return 0 2>/dev/null || exit 0 |
| 124 | +fi |
| 125 | + |
| 126 | +# 3) download into local folder |
| 127 | +ensure_downloaded_jdk |
| 128 | + |
| 129 | +# sanity |
| 130 | +need_cmd javac |
| 131 | +need_cmd jar |
0 commit comments