genode/repos/libports/lib/mk/arm/libc-setjmp.mk

LIBC_GEN_ARM_DIR = $(LIBC_DIR)/lib/libc/arm/gen

SRC_S   = _setjmp.S setjmp.S

#
# Remove 'longjmperror' call
#
CC_OPT += -D_STANDALONE

#
# Needed to compile on hard-float Linux
# FIXME: Floating point registers don't get saved/restored
#        when using this definition!
#
CC_OPT += -D__SOFTFP__

include $(REP_DIR)/lib/mk/libc-common.inc

vpath %.S $(LIBC_GEN_ARM_DIR)
libports: migrate to new ports mechanism Issue #1082 2014-05-07 23:52:52 +02:00			`LIBC_GEN_ARM_DIR = $(LIBC_DIR)/lib/libc/arm/gen`
Separate setjmp/longjmp from libc into own library 2012-05-23 15:54:37 +02:00
OMAP4 USB driver 2012-06-20 08:42:16 +02:00			`SRC_S = _setjmp.S setjmp.S`

			`#`
			`# Remove 'longjmperror' call`
			`#`
			`CC_OPT += -D_STANDALONE`
Separate setjmp/longjmp from libc into own library 2012-05-23 15:54:37 +02:00
base-linux: add ARM support This patch introduces a new platform 'linux_arm' for building and running Genode/Linux on an ARM device. Known limitations: - libc 'setjmp()'/'longjmp()' doesn't currently save/restore floating point registers Fixes #746. 2013-05-24 11:04:42 +02:00			`#`
			`# Needed to compile on hard-float Linux`
			`# FIXME: Floating point registers don't get saved/restored`
			`# when using this definition!`
			`#`
			`CC_OPT += -D__SOFTFP__`

Separate setjmp/longjmp from libc into own library 2012-05-23 15:54:37 +02:00			`include $(REP_DIR)/lib/mk/libc-common.inc`

			`vpath %.S $(LIBC_GEN_ARM_DIR)`