Add translation.sail library file to package

rems-project · Feb 12, 2025 · d0915b4 · d0915b4
1 parent 6c114fe
commit d0915b4
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/bin/dune b/src/bin/dune
@@ -59,6 +59,9 @@
   (%{workspace_root}/lib/concurrency_interface/sysreg.sail
    as
    lib/concurrency_interface/sysreg.sail)
+  (%{workspace_root}/lib/concurrency_interface/translation.sail
+   as
+   lib/concurrency_interface/translation.sail)
   (%{workspace_root}/lib/coverage/Cargo.toml as lib/coverage/Cargo.toml)
   (%{workspace_root}/lib/coverage/Makefile as lib/coverage/Makefile)
   (%{workspace_root}/lib/coverage/src/lib.rs as lib/coverage/src/lib.rs)