From f32435e68c434138e84af286ec8206ebd42c238d Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 3 Jun 2020 08:17:41 +0200
Subject: Makefile.in: always add src/synth to the include path.

---
 Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index aa7f5edb3..733d7539e 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -157,7 +157,7 @@ Makefile: $(srcdir)/Makefile.in ./config.status
 setup.py: $(srcdir)/setup.py.in ./config.status
 	./config.status
 
-GHDL_COMMON_INCFLAGS=-aI$(srcdir)/src -aI$(srcdir)/src/vhdl -aI$(srcdir)/src/grt -aI$(srcdir)/src/psl -aI$(srcdir)/src/vhdl/translate
+GHDL_COMMON_INCFLAGS=-aI$(srcdir)/src -aI$(srcdir)/src/vhdl -aI$(srcdir)/src/synth -aI$(srcdir)/src/grt -aI$(srcdir)/src/psl -aI$(srcdir)/src/vhdl/translate
 
 GRTSRCDIR=$(abs_srcdir)/src/grt
 include $(srcdir)/src/grt/Makefile.inc
-- 
cgit v1.2.3