diff options
-rw-r--r-- | Makefile.in | 11 |
1 files changed, 10 insertions, 1 deletions
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 |