Fix removed file from install list

rems-project · Dec 9, 2024 · 0ced1f2 · 0ced1f2
1 parent 9fd690d
commit 0ced1f2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/bin/dune b/src/bin/dune
@@ -178,6 +178,7 @@
    as
    lib/reverse_endianness.sail)
   (%{workspace_root}/lib/sv/sail_modules.sv as lib/sv/sail_modules.sv)
+  (%{workspace_root}/lib/rts.c as lib/rts.c)
   (%{workspace_root}/lib/rts.h as lib/rts.h)
   (%{workspace_root}/lib/sail.c as lib/sail.c)
   (%{workspace_root}/lib/sail.h as lib/sail.h)