genode/repos/libports/lib/mk/gmp.inc

GMP_DIR = $(call select_from_ports,gmp)/src/lib/gmp

include $(REP_DIR)/lib/import/import-gmp.mk

LIBS += libc

CC_OPT += -DHAVE_CONFIG_H -D__GMP_WITHIN_GMP

INC_DIR += $(GMP_DIR)
libports: migrate to new ports mechanism Issue #1082 2014-05-07 21:52:52 +00:00			`GMP_DIR = $(call select_from_ports,gmp)/src/lib/gmp`
Imported Genode release 11.11 2011-12-22 15:19:25 +00:00
			`include $(REP_DIR)/lib/import/import-gmp.mk`

			`LIBS += libc`

gmp: use architecture specific 'config.h' Generated a separate 'config.h' for arm, arm_64, x86_32, x86_64 for the current version (6.1.2) of GMP. This became necessary because configurations differ for each architecture. 'config.h' generaton on x86_64 host in'gmp-6.1.2' directory: for x86_64 (native): ! configure for x86_32: ! configure --host=x86-pc-linux-gnu --build=x86_64-pc-linux-gnu for arm: ! configure --host=arm-linux-gnu --build=x86_64-pc-linux-gnu \ ! CC=/usr/local/gcc-linaro-arm/bin/arm-linux-gnueabi-gcc ABI=32 for arm_v8: ! configure --host=aarch64-linux-gnu --build=x86_64-pc-linux-gnu \ ! CC=/usr/local/gcc-linaro/bin/aarch64-linux-gnu-gcc ABI=64 issue #3598 2020-01-09 13:07:08 +00:00			`CC_OPT += -DHAVE_CONFIG_H -D__GMP_WITHIN_GMP`
Imported Genode release 11.11 2011-12-22 15:19:25 +00:00
gmp: search headers in REP_DIR first Fixes #3068 2018-12-11 12:24:35 +00:00			`INC_DIR += $(GMP_DIR)`