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

CSpec: update KernelInc_C imports to match seL4 build system changes 

This fixes import breakage due to seL4 commit f85774e36f.
This commit is contained in:
Japheth Lim 2019-03-21 19:54:16 +11:00
parent 642399ca01
commit 22f2a1c08c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
spec/cspec/KernelInc_C.thy
View File

@ -13,8 +13,8 @@ imports
"Substitute"
"c/build/$L4V_ARCH/generated/arch/object/structures_defs"
"c/build/$L4V_ARCH/generated/arch/object/structures_proofs"
"c/build/$L4V_ARCH/generated/mode/api/shared_types_defs"
"c/build/$L4V_ARCH/generated/mode/api/shared_types_proofs"
"c/build/$L4V_ARCH/generated/sel4/shared_types_defs"
"c/build/$L4V_ARCH/generated/sel4/shared_types_proofs"
begin
end