model/CMakeLists: fix Coq prefix output

Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
riscv · Feb 15, 2025 · b0eea45 · b0eea45
1 parent e23af71
commit b0eea45
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/model/CMakeLists.txt b/model/CMakeLists.txt
@@ -409,7 +409,7 @@ foreach (xlen IN ITEMS 32 64)
                         --coq-lib mem_metadata
                         --coq-output-dir ${CMAKE_CURRENT_BINARY_DIR}
                         # The prefix of the output files.
-                        -o "riscv_${arch}"
+                        -o "coq_${arch}"
                         # Input files.
                         ${sail_srcs}
                 )