diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-05-20 05:24:49 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-05-20 05:24:49 +0200 |
| commit | c825c4dc0a693b44333802d6e7075d552a75e35b (patch) | |
| tree | 601b398b0527204e5cce7be463519691c45a1bc6 /Makefile.in | |
| parent | 09a2c9c2e20c4cfbbde8748d3c00402ff70d92c4 (diff) | |
| download | ghdl-c825c4dc0a693b44333802d6e7075d552a75e35b.tar.gz ghdl-c825c4dc0a693b44333802d6e7075d552a75e35b.tar.bz2 ghdl-c825c4dc0a693b44333802d6e7075d552a75e35b.zip | |
Makefile: add dependency on configure.
Diffstat (limited to 'Makefile.in')
| -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 |