diff --git a/proof/Makefile b/proof/Makefile
index ffa463db9e..959c0b056e 100644
--- a/proof/Makefile
+++ b/proof/Makefile
@@ -15,6 +15,11 @@ ifeq "$(L4V_ARCH)" "AARCH64"
   export REFINE_QUICK_AND_DIRTY=1
 endif
 
+# Allow sorry command in RISCV64 CRefine during development:
+ifeq "$(L4V_ARCH)" "RISCV64"
+  export CREFINE_QUICK_AND_DIRTY=1
+endif
+
 #
 # Setup heaps.
 #