pok-kernel / pok

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

Userguide Documentation fails to compile. #37

Open tfinnegan937 opened 2 years ago

tfinnegan937 commented 2 years ago

Upon running "Make", I receive the following set of errors:

rm -rf include-libpok mkdir -p include-libpok include-libpok/core include-libpok/arinc653 include-libpok/middleware include-libpok/libc include-libpok/protocols for v in arch.h errno.h libm.h core/allocator.h core/thread.h core/error.h core/event.h core/semaphore.h core/syscall.h core/partition.h core/time.h middleware/blackboard.h middleware/buffer.h middleware/port.h middleware/queue.h libc/stdio.h libc/stdlib.h libc/string.h arinc653/blackboard.h arinc653/buffer.h arinc653/error.h arinc653/event.h arinc653/partition.h arinc653/process.h arinc653/queuing.h arinc653/sampling.h arinc653/semaphore.h arinc653/time.h arinc653/types.h protocols/protocols.h protocols/ceasar.h protocols/des.h protocols/ssl.h; do \ NLINES=wc -l ../../libpok/include/$v|awk '{print $1}'; NLINES=expr $NLINES - 15; \ tail -n $NLINES ../../libpok/include/$v > include-libpok/$v ; \ done wc: ../../libpok/include/arinc653/queuing.h: No such file or directory expr: syntax error: unexpected argument ‘15’ tail: invalid number of lines: ‘../../libpok/include/arinc653/queuing.h’ cpocarina-config --prefix/share/ocarina/AADLv2/pok_properties.aadl . cpocarina-config --prefix/share/ocarina/AADLv2/arinc653_properties.aadl . cp: cannot stat '/usr/share/ocarina/AADLv2/arinc653_properties.aadl': No such file or directory make: *** [Makefile:43: pok-user.pdf] Error 1

yoogx commented 2 years ago

In the makefile, replace arinc653_properties.aadl with arinc653.aadl.

tfinnegan937 commented 2 years ago

This solved the issue. Thank you. I appreciate it.