Refactored Slang modules.

sireum · Mar 1, 2025 · 5f95a70 · 5f95a70
1 parent 003e401
commit 5f95a70
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/bin/project.cmd b/bin/project.cmd
@@ -33,9 +33,9 @@ val homeDir = Os.slashDir.up.canon
 val (shared, jvm) = moduleSharedJvmPub(
   baseId = s"$anvil",
   baseDir = homeDir,
-  sharedDeps = ISZ(alir, s"$frontend-shared"),
+  sharedDeps = ISZ(alir, frontend),
   sharedIvyDeps = ISZ(),
-  jvmDeps = ISZ(library, frontend),
+  jvmDeps = ISZ(library),
   jvmIvyDeps = ISZ(),
   pubOpt = pub(
     desc = "Anvil",