diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2021-10-08 20:45:19 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-10-09 08:10:37 +0200 |
commit | 38df4327795467d38d8fe0da327460a85df0df58 (patch) | |
tree | 4681585fd3c2de977bb642c97f87373de4eab40a /Makefile.in | |
parent | cd3a3210d6817714ec47e6028d696be3169c427a (diff) | |
download | ghdl-38df4327795467d38d8fe0da327460a85df0df58.tar.gz ghdl-38df4327795467d38d8fe0da327460a85df0df58.tar.bz2 ghdl-38df4327795467d38d8fe0da327460a85df0df58.zip |
Makefile.in: honor GHDL_* envvars for overriding version
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Makefile.in b/Makefile.in index 869a6e3da..fb1cb23ff 100644 --- a/Makefile.in +++ b/Makefile.in @@ -172,19 +172,19 @@ include $(srcdir)/src/grt/Makefile.inc version.tmp: $(srcdir)/src/version.in force # Create version.tmp from version.in, using git date/hash, or envvars. # The user is allowed to set GHDL_VER_DESC to override description. - DEF_VER_DESC=tarball; \ + VER_DESC=tarball; \ VER_REF=unknown; \ VER_HASH=unknown; \ if test -d $(srcdir)/.git && desc=`cd $(srcdir); git describe --dirty --long`; then \ - DEF_VER_DESC=`echo $$desc | sed -e 's/\([^-]*-g\)/r\1/' -e 's/-/./g' -e 's/^v//g'`; \ + VER_DESC=`echo $$desc | sed -e 's/\([^-]*-g\)/r\1/' -e 's/-/./g' -e 's/^v//g'`; \ VER_REF=`cd $(srcdir); git rev-parse --abbrev-ref HEAD`; \ VER_HASH=`cd $(srcdir); git rev-parse HEAD`; \ fi; \ sed \ -e "s#@VER@#$(ghdl_version)#" \ - -e "s#@DESC@#$${GHDL_VER_DESC:-$$DEF_VER_DESC}#" \ - -e "s#@REF@#$${VER_REF}#" \ - -e "s#@HASH@#$${VER_HASH}#" \ + -e "s#@DESC@#$${GHDL_VER_DESC:-$$VER_DESC}#" \ + -e "s#@REF@#$${GHDL_VER_REF:-$$VER_REF}#" \ + -e "s#@HASH@#$${GHDL_VER_HASH:-$$VER_HASH}#" \ < $< > $@; version.ads: version.tmp |