diff --git a/proof/Makefile b/proof/Makefile
index 908b55eb4..610d17d9e 100644
--- a/proof/Makefile
+++ b/proof/Makefile
@@ -46,6 +46,7 @@ HEAPS += SepTactics SepTacticsExamples
 # Additional dependencies
 
 CKernel CSpec CBaseRefine CRefine: c-kernel
+SimplExportAndRefine SimplExportOnly: c-kernel
 
 # Preprocess the kernel's source code and bitfield theory files.
 c-kernel: .FORCE