Fixed scalap jar path.

sireum · Jan 8, 2025 · 3cdb8c5 · 3cdb8c5
1 parent 849d2ab
commit 3cdb8c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library/jvm/src/main/scala/org/sireum/project/DependencyManager.scala b/library/jvm/src/main/scala/org/sireum/project/DependencyManager.scala
@@ -210,7 +210,7 @@ import DependencyManager._
       var r = HashSMap.empty[String, Lib]
       r = r + "org.scala-lang.scalap" ~> Lib(
         "org.scala-lang.scalap", "org.scala-lang", "scalap", scalaVersion,
-        (sireumHome / "bin" / "scala" / "lib" / s"scalap-$scalaVersion").value, None(), None()
+        (sireumHome / "bin" / "scala" / "lib" / s"scalap-$scalaVersion.jar").value, None(), None()
       )
       for (cif <- fetchClassifiers(ivyDeps.values, buildClassifiers(withSource, withDoc))) {
         val name = libName(cif)