adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

dspec: add dependency on haskell-translator

This commit is contained in:
Matthew Brecknell 2017-11-23 12:48:18 +11:00
parent a2dd6d1777
commit a5a9f10048
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
spec/Makefile
View File

@ -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

2
spec/tests.xml
View File

@ -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>