From 46b68b0e660b22ae78bbc96e878d8b2f570e4824 Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Tue, 11 Dec 2018 13:24:35 +0100 Subject: [PATCH] gmp: search headers in REP_DIR first Fixes #3068 --- repos/libports/lib/mk/gmp.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/libports/lib/mk/gmp.inc b/repos/libports/lib/mk/gmp.inc index afab675c47..e0d8ceb1a4 100644 --- a/repos/libports/lib/mk/gmp.inc +++ b/repos/libports/lib/mk/gmp.inc @@ -6,5 +6,5 @@ LIBS += libc CC_OPT += -DHAVE_CONFIG_H -D__GMP_WITHIN_GMP -INC_DIR += $(GMP_DIR) INC_DIR += $(REP_DIR)/include/gcc +INC_DIR += $(GMP_DIR)