Hi,
I have a follow up question on this question.
The `toy.c` file I have has`#include` from `libsel4/include`. Therefore, in order to
install_C_file "toy.c"
I added all the required dependencies according to the error prompts, here is the result:
```
theory passwd
imports "CParser.CTranslation"
begin
new_C_include_dir "my_repo/kernel/libsel4/include"
new_C_include_dir "my_repo/build/kernel/autoconf"
new_C_include_dir "my_repo/build/libsel4/sel4_arch_include/x86_64"
new_C_include_dir "my_repo/build/kernel/gen_config"
new_C_include_dir "my_repo/kernel/libsel4/mode_include/64"
new_C_include_dir "my_repo/build/libsel4/sel4_arch_include/x86_64"
new_C_include_dir "my_repo/build/libsel4/include"
new_C_include_dir "my_repo/build/libsel4/arch_include/x86"
new_C_include_dir "my_repo/kernel/libsel4/sel4_plat_include/pc99"
new_C_include_dir "my_repo/projects/sel4runtime/include"
new_C_include_dir "my_repo/libsel4/gen_config"
new_C_include_dir "my_repo/verification/l4v/spec/cspec/c/build/X64/gen_config"
new_C_include_dir "my_repo/kernel/libsel4/arch_include/x86"
new_C_include_dir "my_repo/kernel/libsel4/sel4_arch_include/x86_64"
new_C_include_dir "my_repo/projects/sel4-example"
external_file "my_repo/projects/sel4-example/roottask.c"
install_C_file "my_repo/projects/sel4-example/roottask.c"
thm passwd_global_addresses.main_body_def
end
```
However, I got an error that I am not able to understand:
```
install_C_file - my_repo/kernel/libsel4/include/sel4/simple_types.h:37.29-37.29: syntax error: inserting LCURLY
```
I have tested my toy.c example before and it is able to be simulated. I am wondering is it possible that this error is caused by the C file mentioned is not a StrictC subset? Which means if I include `sel4/sel4.h` I have to do the preprocessing as that in seL4 verification. If that is the case, am I able to integrate `kernel_all.c_pp` to my application?
I hid some of the details of the organization of sel4-example I constructed, but I hope the information provided here is enough to find something.
Any suggestion will be appreciated!
