diff --git a/Makefile.old b/Makefile.old
index 6c538e359..fbcb1222a 100644
--- a/Makefile.old
+++ b/Makefile.old
@@ -40,6 +40,7 @@ SAIL_DEFAULT_INST += riscv_insts_zbc.sail
 SAIL_DEFAULT_INST += riscv_insts_zbs.sail
 
 SAIL_DEFAULT_INST += riscv_insts_zcb.sail
+SAIL_DEFAULT_INST += riscv_insts_zcmp.sail
 
 SAIL_DEFAULT_INST += riscv_insts_zfh.sail
 # Zfa needs to be added after fext, dext and Zfh (as it needs
diff --git a/model/CMakeLists.txt b/model/CMakeLists.txt
index 0fae3a2cd..17f0fe16a 100644
--- a/model/CMakeLists.txt
+++ b/model/CMakeLists.txt
@@ -66,6 +66,7 @@ foreach (xlen IN ITEMS 32 64)
                 "riscv_insts_zbc.sail"
                 "riscv_insts_zbs.sail"
                 "riscv_insts_zcb.sail"
+                "riscv_insts_zcmp.sail"
                 "riscv_insts_zfh.sail"
                 # Zfa needs to be added after fext, dext and Zfh (as it needs
                 # definitions from those)
@@ -78,7 +79,6 @@ foreach (xlen IN ITEMS 32 64)
                 ${vext_srcs}
                 "riscv_insts_zicbom.sail"
                 "riscv_insts_zicboz.sail"
-                "riscv_insts_zcmp.sail"
             )
 
             if (variant STREQUAL "rmem")