History log of /seL4-camkes-master/projects/seL4_projects_libs/libsel4nanopb/CMakeLists.txt
Revision Date Author Comments
# 745291ce 27-Nov-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Convert to SPDX license tags

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>


# cf111cef 22-May-2019 Yu Hou <Yu.Hou@data61.csiro.au>

sel4_proj_libs: remove global configuration lib

this commit removes autoconf.h generation from sel4_proj_libs and
append '#include <<lib_name>/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'


# 3f731f20 30-Apr-2019 Simon Shields <simon.shields@data61.csiro.au>

Add libsel4nanopb

Co-Authored-By: Summer Li <Summer.Li@data61.csiro.au>