Use coursier.jar in Windows arm64.

sireum · Feb 6, 2025 · 5524918 · 5524918
1 parent 6a969f9
commit 5524918
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/library/jvm/src/main/scala/org/sireum/Coursier.scala b/library/jvm/src/main/scala/org/sireum/Coursier.scala
@@ -95,7 +95,7 @@ object Coursier {
     updateProxyOption("https.proxyPassword", proxy.protocolPasswordEnvKeyOpt, T)
     updateProxyOption("http.nonProxyHosts", proxy.nonHostsOpt, F)
     val csPrefix: ISZ[String] = Os.kind match {
-      case Os.Kind.Win =>
+      case Os.Kind.Win if !Os.isWinArm =>
         val coursierExe = sireumHome / "bin" / "win" / "cs.exe"
         coursierExe.string +: proxyOptions
       case Os.Kind.Linux =>

diff --git a/library/jvm/src/main/scala/org/sireum/Init.scala b/library/jvm/src/main/scala/org/sireum/Init.scala
@@ -298,7 +298,7 @@ import Init._
     }
 
     kind match {
-      case Os.Kind.Win =>
+      case Os.Kind.Win if !Os.isWinArm =>
         val drop = cache / s"cs-$coursierVersion-x86_64-pc-win32.zip"
         if (!drop.exists) {
           println(s"Downloading Coursier $coursierVersion ...")