Fixed mill windowsansi patching.

sireum · Nov 12, 2024 · 3608011 · 3608011
1 parent a22ae9c
commit 3608011
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/library/jvm/src/main/scala/org/sireum/Init.scala b/library/jvm/src/main/scala/org/sireum/Init.scala
@@ -542,7 +542,9 @@ import Init._
       ansiPatch.downloadFrom("https://github.com/sireum/rolling/releases/download/mill/windows-ansi-0.0.5-patch.zip")
       ansiPatch.unzipTo(mill.up)
       ansiPatch.removeAll()
-      proc"${install7zz()} u mill.jar io".at(mill.up).runCheck()
+      val p7zz = install7zz()
+      proc"$p7zz d mill.jar io/github/alexarchambault/windowsansi/WindowsAnsi.class".at(mill.up).runCheck()
+      proc"$p7zz a mill.jar io/github/alexarchambault/windowsansi/WindowsAnsi.class".at(mill.up).runCheck()
       val content = mill.readU8s
       mill.removeAll()
       val size = content.size