Fixed native unzip in Windows.

sireum · Oct 27, 2024 · cdbf1b7 · cdbf1b7
1 parent 88cd460
commit cdbf1b7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/library/jvm/src/main/scala/org/sireum/Os_Ext.scala b/library/jvm/src/main/scala/org/sireum/Os_Ext.scala
@@ -804,7 +804,9 @@ object Os_Ext {
       case Some(p) =>
         val t = Os.path(target)
         t.mkdirAll()
-        Os.proc(ISZ[String]("bash", "-c", s"${p.name} x -aoa \"$path\"")).
+        Os.proc(
+            if (Os.isWin) ISZ[String]("cmd", "/C", p.name, "x", "-aoa", path)
+            else ISZ[String]("bash", "-c", s"${p.name} x -aoa \"$path\"")).
           env(ISZ("PATH" ~> s"${p.up.canon}${Os.pathSep}${Os.env("PATH")}")).at(t).runCheck()
         return
       case _ =>