genode/repos/base/mk/base-libs.mk

#
# Genode base libaries
#
# These static libraries are filtered out when linking dynamically linked
# binaries.
#
BASE_LIBS += cxx alarm

#
# Name of Genode's dynamic linker
#
DYNAMIC_LINKER = ld
Imported Genode release 11.11 2011-12-22 16:19:25 +01:00			`#`
			`# Genode base libaries`
			`#`
Clarify comment in base-libs.mk 2014-01-08 15:55:36 +01:00			`# These static libraries are filtered out when linking dynamically linked`
			`# binaries.`
Imported Genode release 11.11 2011-12-22 16:19:25 +01:00			`#`
Remove base/timed_semaphore.h from API The former 'Genode::Timed_semaphore' mechanism is moved to the private part of the two remaining users, namely dde_rump and the libc. Note there are now two private copies of 'timed_semaphore.h'. This should be regarded as an interim step until the use of this mechanism is removed from both users. This patch also cleans up the mechanism from legacy Genode API calls and global side effects (alarm-thread singleton). The test/timed_semaphore is now located at the libports repository as it now tests a mechanism of the libc. The former timed_semaphore library is no more. Fixes #3121 2019-01-18 11:40:23 +01:00			`BASE_LIBS += cxx alarm`
Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
			`#`
			`# Name of Genode's dynamic linker`
			`#`
			`DYNAMIC_LINKER = ld`