diff --git a/spec/Makefile b/spec/Makefile
index 9a7b00aa9..437c76631 100644
--- a/spec/Makefile
+++ b/spec/Makefile
@@ -34,7 +34,7 @@ CKernel CSpec: c-kernel design-spec
 
 # NOTE: The abstract spec imports Events from Haskell hence the dependency
 
-ExecSpec ASpec : design-spec
+ExecSpec ASpec DSpec : design-spec
 
 # NOTE: the install_C_file in Kernel_C.thy invocation generates a spurious
 #       umm_types.txt file in this folder. This file is never used nor
diff --git a/spec/tests.xml b/spec/tests.xml
index 869e67fe5..116d2f7fd 100644
--- a/spec/tests.xml
+++ b/spec/tests.xml
@@ -28,7 +28,7 @@
         <!-- Various seL4 specifications. -->
         <test name="ASpec" depends="haskell-translator">make ASpec</test>
         <test name="ExecSpec" depends="haskell-translator">make ExecSpec</test>
-        <test name="DSpec">make DSpec</test>
+        <test name="DSpec" depends="haskell-translator">make DSpec</test>
         <test name="TakeGrant">make TakeGrant</test>
         <test name="ASepSpec" depends="ASpec">make ASepSpec</test>
     </set>