From ddee65722f92d2cea9641e1dc9d8a1fc96e1c7d6 Mon Sep 17 00:00:00 2001 From: Alexander Senier Date: Thu, 21 Jun 2018 21:34:59 +0200 Subject: [PATCH] Ada: do not use default directories for gnatmake --- repos/base/mk/generic.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base/mk/generic.mk b/repos/base/mk/generic.mk index 60655e8c90..a67c445396 100644 --- a/repos/base/mk/generic.mk +++ b/repos/base/mk/generic.mk @@ -77,7 +77,7 @@ endif CUSTOM_ADA_MAKE ?= $(GNATMAKE) CUSTOM_ADA_FLAGS ?= -q -c --GCC=$(CC) --RTS=$(ADA_RTS) CUSTOM_ADA_OPT ?= -cargs $(CC_ADA_OPT) -CUSTOM_ADA_INCLUDE ?= $(INCLUDES) +CUSTOM_ADA_INCLUDE ?= -I- $(INCLUDES) %.o: %.adb $(MSG_COMP)$@