From 2fec23d64644f4def822048575f6b5b57f673952 Mon Sep 17 00:00:00 2001
From: Edward Pierzchalski <ed.pierzchalski@data61.csiro.au>
Date: Mon, 20 Jan 2020 15:40:29 +1100
Subject: [PATCH] spec: factor out common `design-spec` task.

`ASpec`, `ExecSpec`, and `DSpec` were identical tests which built the
`design-spec` make target. This means that when `./run_tests` runs tests
concurrently, multiple instances of the `design-spec` make target were
also run concurrently.

We address the issue by making a new "test" called `design-spec` which
builds the `design-spec` make target, and making `{A,Exec,D}Spec`
dependees on `design-spec`.
---
 spec/tests.xml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/spec/tests.xml b/spec/tests.xml
index a1c6d8cbb..dcc436aab 100644
--- a/spec/tests.xml
+++ b/spec/tests.xml
@@ -26,10 +26,11 @@
 
     <set depends="isabelle Lib">
         <!-- Various seL4 specifications. -->
-        <test name="ASpec" depends="haskell-translator">make ASpec</test>
+        <test name="design-spec" depends="haskell-translator">make design-spec</test>
+        <test name="ASpec" depends="design-spec">make ASpec</test>
         <test name="ASpecDoc" depends="ASpec">make ASpecDoc</test>
-        <test name="ExecSpec" depends="haskell-translator">make ExecSpec</test>
-        <test name="DSpec" depends="haskell-translator">make DSpec</test>
+        <test name="ExecSpec" depends="design-spec">make ExecSpec</test>
+        <test name="DSpec" depends="design-spec">make DSpec</test>
         <test name="TakeGrant">make TakeGrant</test>
         <test name="ASepSpec" depends="ASpec">make ASepSpec</test>
     </set>