From 6a969f961b8bb1b98fdccf911eb015195ff694c5 Mon Sep 17 00:00:00 2001 From: Robby Date: Fri, 31 Jan 2025 16:58:07 -0600 Subject: [PATCH] Updated mill download URL. --- library/jvm/src/main/scala/org/sireum/Init.scala | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/library/jvm/src/main/scala/org/sireum/Init.scala b/library/jvm/src/main/scala/org/sireum/Init.scala index 2268641f..b4247f61 100644 --- a/library/jvm/src/main/scala/org/sireum/Init.scala +++ b/library/jvm/src/main/scala/org/sireum/Init.scala @@ -596,6 +596,11 @@ import Init._ j = j + 1 i = i + 1 } + if (!stop) { + eprintln(s"Patch failed for $mill") + Os.exit(-1) + } + mill.writeU8Partms(newContent, 0, j) mill.chmod("+x") } @@ -605,7 +610,7 @@ import Init._ if (ver.exists && ver.read == millVersion) { return } - val url = s"https://github.com/com-lihaoyi/mill/releases/download/$millVersion/$millVersion-assembly" + val url = s"https://repo1.maven.org/maven2/com/lihaoyi/mill-dist/$millVersion/mill-dist-$millVersion.jar" val mill: Os.Path = (home / "bin" / (if (Os.isWin) "mill.bat" else "mill")).canon if (verbose) { println(s"Downloading mill $millVersion ...")