From c825c4dc0a693b44333802d6e7075d552a75e35b Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 20 May 2017 05:24:49 +0200
Subject: Makefile: add dependency on configure.

---
 Makefile.in | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'Makefile.in')

diff --git a/Makefile.in b/Makefile.in
index 4cef9600e..5e71f4117 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -109,7 +109,16 @@ copy-sources: copy-sources.$(backend)
 
 libs: libs.vhdl.$(backend)
 
-Makefile: $(srcdir)/Makefile.in
+./config.status: $(srcdir)/configure
+	@if [ -e $@ ]; then \
+	  echo "./config.status --reconfigure"; \
+	  ./config.status --reconfigure; \
+	else \
+	  echo "config.status is lost, please configure manually" ; \
+	  exit 1; \
+	fi
+
+Makefile: $(srcdir)/Makefile.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
-- 
cgit v1.2.3