History log of /seL4-camkes-master/projects/projects_libs/libsdhcdrivers/CMakeLists.txt
Revision Date Author Comments
# c8d21d77 22-May-2019 Yu Hou <Yu.Hou@data61.csiro.au>

projects_libs: global configuration lib

this commit removes autoconf.h generation from projects_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'


# 263d39d3 04-Jul-2018 Grant Jurgensen <gajurgensen@gmail.com>

Add platform-specific source files to CMake build

Only the top level c files were included as sources to the sdhcdrivers
library when using the new CMake build system. This commit adds the
platform-specific c files within src/plat/${KernelPlatform}/.


# ff812a06 04-Jun-2018 Adam Felizzi <a.felizzi@student.unsw.edu.au>

Changed use of PLATFORM to KernelPlatform

The use of PLATFORM in libusb and libsdhc made it application
dependent i.e. the app needed to define the PLATFORM variable.
Updated to use the Kernel configuration variable 'KernelPlatform'.


# 54095dd3 13-Nov-2017 Claudia Tu <claudia.tu@unsw.edu.au>

SELFOUR-1103 add cmake support