From 90c757f3bf9cec7e752f91d7c851cb5f6c42ba03 Mon Sep 17 00:00:00 2001
From: Jeff Davidson <jpd236@cornell.edu>
Date: Tue, 26 Mar 2024 20:47:31 -0700
Subject: [PATCH] Attempt to fix Windows CI build.

jvmToolchain will attempt to download a matching JVM rather than simply
using the one installed by setup-java and configuring it to use a
different target version.
---
 build.gradle.kts | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/build.gradle.kts b/build.gradle.kts
index a0bb894..feb6bff 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -18,13 +18,21 @@ repositories {
     mavenCentral()
 }
 
+java {
+    sourceCompatibility = JavaVersion.VERSION_1_8
+    targetCompatibility = JavaVersion.VERSION_1_8
+}
+
 kotlin {
     jvm {
         withJava()
+        compilations.all {
+            kotlinOptions {
+                jvmTarget = "1.8"
+            }
+        }
     }
 
-    jvmToolchain(8)
-
     js(IR) {
         browser {}
         binaries.executable()