2023-04-08 17:10:18 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
# Download and extract JDK8
|
2023-04-08 17:20:32 +02:00
|
|
|
curl -L "https://github.com/AdoptOpenJDK/openjdk8-binaries/releases/download/jdk8u292-b10/OpenJDK8U-jdk_x64_linux_hotspot_8u292b10.tar.gz" -o jdk.tar.gz
|
2023-04-08 17:10:18 +02:00
|
|
|
tar xzf jdk.tar.gz --strip-components=1
|
|
|
|
|
rm jdk.tar.gz
|
|
|
|
|
|
|
|
|
|
# Download and extract Scala 3
|
|
|
|
|
curl -L "https://github.com/lampepfl/dotty/releases/download/3.2.2/scala3-3.2.2.tar.gz" -o scala.tar.gz
|
|
|
|
|
tar -xzf scala.tar.gz --strip-components=1
|
2023-04-08 17:20:32 +02:00
|
|
|
rm scala.tar.gz
|
