Fixed sha3 version string rendering.

sireum · Oct 28, 2024 · fd8d5e6 · fd8d5e6
1 parent 01d8ba0
commit fd8d5e6
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/Init.scala b/library/jvm/src/main/scala/org/sireum/Init.scala
@@ -1261,7 +1261,7 @@ import Init._
     val formsJar = home / "lib" / "forms.jar"
     val ver = formsJar.up / s"${formsJar.name}.ver"
     val version = s"${versions.get("org.sireum.version.forms").get}"
-    val versionWithSireum = s"$version-${sireumJar.sha3(8)}"
+    val versionWithSireum = s"$version-${(sireumJar.sha3(8), "")}"
     if (ver.exists && ver.read == versionWithSireum) {
       return
     }

diff --git a/library/jvm/src/main/scala/org/sireum/project/DependencyManager.scala b/library/jvm/src/main/scala/org/sireum/project/DependencyManager.scala
@@ -327,7 +327,7 @@ import DependencyManager._
         p.downloadFrom(dep)
         println()
         val version = p.sha3(8)
-        val pv = p.up.canon / st"${ops.StringOps(p.name).substring(0, p.name.size - 4)}-$version.jar".render
+        val pv = p.up.canon / st"${ops.StringOps(p.name).substring(0, p.name.size - 4)}-${(version, "")}.jar".render
         p.moveOverTo(pv)
         return (Some(pv), version)
     }