From a5a9f10048f885027e09ffa296f6739743199bb5 Mon Sep 17 00:00:00 2001
From: Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>
Date: Thu, 23 Nov 2017 12:48:18 +1100
Subject: [PATCH] dspec: add dependency on haskell-translator

---
 spec/Makefile  | 2 +-
 spec/tests.xml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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>