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

regression: add test for building Haskell kernel 

Currently requires GHC 7.8.x.
This commit is contained in:
Japheth Lim 2016-05-24 14:49:34 +10:00
parent 4fe15eac00
commit c71fb4da54
2 changed files with 30 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
spec/haskell/check-newlines.sh Executable file
View File

@ -0,0 +1,14 @@
#!/bin/sh
# A rough check to ensure LaTeX won't hang during compilation due to
# missing newlines at the end of files.
wontcompile=0
for file in $(find . -name *.lhs);
do
if [ ! -z "$( tail -n 1 ${file} | tr -d '\n' )" ]; then
echo "${file} needs a newline appended for LaTeX to compile."
wontcompile=1
fi
done
exit $wontcompile

25
spec/tests.xml
View File

@ -17,16 +17,23 @@
format.
-->
<testsuite cpu-timeout="3600" depends="isabelle">
<testsuite cpu-timeout="3600">
<!-- Various seL4 specifications. -->
<test name="ASpec">make ASpec</test>
<test name="ExecSpec">make ExecSpec</test>
<test name="DSpec">make DSpec</test>
<test name="TakeGrant">make TakeGrant</test>
<test name="ASepSpec" depends="ASpec">make ASepSpec</test>
<set depends="isabelle">
<!-- Various seL4 specifications. -->
<test name="ASpec">make ASpec</test>
<test name="ExecSpec">make ExecSpec</test>
<test name="DSpec">make DSpec</test>
<test name="TakeGrant">make TakeGrant</test>
<test name="ASepSpec" depends="ASpec">make ASepSpec</test>
<!-- Ensure Haskell spec and generated Isabelle theories match. -->
<test name="SpecCheck">make spec-check</test>
<!-- Ensure Haskell spec and generated Isabelle theories match. -->
<test name="SpecCheck">make spec-check</test>
</set>
<set>
<!-- Build Haskell kernel code. -->
<test name="HaskellKernel" cwd="haskell" cpu-timeout="600">./check-newlines.sh &amp;&amp; make</test>
</set>
</testsuite>