mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-09 12:02:57 +00:00
parent
035439c710
commit
46b68b0e66
@ -6,5 +6,5 @@ LIBS += libc
|
|||||||
|
|
||||||
CC_OPT += -DHAVE_CONFIG_H -D__GMP_WITHIN_GMP
|
CC_OPT += -DHAVE_CONFIG_H -D__GMP_WITHIN_GMP
|
||||||
|
|
||||||
INC_DIR += $(GMP_DIR)
|
|
||||||
INC_DIR += $(REP_DIR)/include/gcc
|
INC_DIR += $(REP_DIR)/include/gcc
|
||||||
|
INC_DIR += $(GMP_DIR)
|
||||||
|
Loading…
x
Reference in New Issue
Block a user