mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 22:23:16 +00:00
fae63f4fa9
This patch simplifies the way of how Genode's base libraries are organized. Originally, the base API was implemented in the form of many small libraries such as 'thread', 'env', 'server', etc. Most of them used to consist of only a small number of files. Because those libraries are incorporated in any build, the checking of their inter-dependencies made the build process more verbose than desired. Also, the number of libraries and their roles (core only, non-core only, shared by both core and non-core) were not easy to capture. Hereby, the base libraries have been reduced to the following few libraries: - startup.mk contains the startup code for normal Genode processes. On some platform, core is able to use the library as well. - base-common.mk contains the parts of the base library that are identical by core and non-core processes. - base.mk contains the complete base API implementation for non-core processes Consequently, the 'LIBS' declaration in 'target.mk' files becomes simpler as well. In the most simple case, only the 'base' library must be mentioned. Fixes #18
45 lines
1.1 KiB
Makefile
45 lines
1.1 KiB
Makefile
#
|
|
# Specifics for the OKL4 kernel API
|
|
#
|
|
|
|
#
|
|
# Read default and builddir-specific config files
|
|
#
|
|
-include $(call select_from_repositories,etc/okl4.conf)
|
|
-include $(BUILD_BASE_DIR)/etc/okl4.conf
|
|
|
|
#
|
|
# If no OKL4 source directory is set, we use the standard contrib directory
|
|
#
|
|
OKL4_DIR ?= $(BASE_DIR)/../base-okl4/contrib/okl4
|
|
|
|
#
|
|
# Make sure that symlink modification times are handled correctly.
|
|
# Otherwise, the creation of symlinks that depend on their own directory
|
|
# behaves like a phony rule. This is because the directory mtime is
|
|
# determined by taking the mtimes of containing symlinks into account.
|
|
# Hence, all symlinks (except for the youngest) depend on a directory
|
|
# with a newer mtime. The make flag -L fixes the problem. Alternatively,
|
|
# we could use 'cp' instead of 'ln'.
|
|
#
|
|
MAKEFLAGS += -L
|
|
|
|
#
|
|
# OKL4-specific Genode headers
|
|
#
|
|
INC_DIR += $(BUILD_BASE_DIR)/include
|
|
|
|
#
|
|
# Define maximum number of threads, needed by the OKL4 kernel headers
|
|
#
|
|
CC_OPT += -DCONFIG_MAX_THREAD_BITS=10
|
|
|
|
#
|
|
# Clean rules for removing the side effects of building the platform
|
|
# library
|
|
#
|
|
clean_includes:
|
|
$(VERBOSE)rm -rf $(BUILD_BASE_DIR)/include
|
|
|
|
clean cleanall: clean_includes
|