search

pok-kernel / pok

POK kernel. Safe and secure for safety-critical systems.
https://pok-kernel.github.io/
BSD 2-Clause "Simplified" License
91 stars 61 forks source link

How can we include libararies in the c code of a single partition #5

Open salmankhalidd opened 7 years ago

salmankhalidd commented 7 years ago

suppose i want to add "stdio.h" into the single partition c code then i simply add it but the code searches for stdio.h in the libpok folder ok i gave the the file their but it gives a errors after error because stdio.h needs 3-4 other headers and those needs others..which are all not their ... i have been dealing with this for a week now kindly tell me how to solve this issue if one cant use other libraries then it means we cannot perform any thing on a single partition which i am assuming is not the case kindly solve this issue @yoogx @juli1 @Etienne13 @phipse @joelsherrill

juli1 commented 7 years ago

This is not an issue, you just need to change the -I directive from the compile in order to find your sources/headers. Read the makefile build system and check how to do the change. I am no longer working on it but this is something totally doable.

salmankhalidd commented 7 years ago

Sir in which file -I directive is used do you remember ?

salmankhalidd commented 7 years ago

i have checked the makefiles in pok folder and in examples after generated code i didnt find the I directive

juli1 commented 7 years ago

Well, I no longer work on pok since years, I guess you will need to look at the build system.