aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-08-28 09:21:03 -0700
committerEddie Hung <eddie@fpgeh.com>2019-08-28 09:21:03 -0700
commitba5d81c7f1d97ca09cefb0185b33e549e166cee2 (patch)
treec70d709c9522c2b15891c40c1e265f5c2779465a /Makefile
parent9172d4a6740145e7b3c7c34b8fb5effd23598a94 (diff)
parent13424352cc8dca5f08ad22aa42066dc7f62afea5 (diff)
downloadyosys-ba5d81c7f1d97ca09cefb0185b33e549e166cee2.tar.gz
yosys-ba5d81c7f1d97ca09cefb0185b33e549e166cee2.tar.bz2
yosys-ba5d81c7f1d97ca09cefb0185b33e549e166cee2.zip
Merge remote-tracking branch 'origin/master' into eddie/xilinx_srl
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 48a4f3a1c..e56db424d 100644
--- a/Makefile
+++ b/Makefile
@@ -119,6 +119,9 @@ YOSYS_VER := 0.9+1
GIT_REV := $(shell cd $(YOSYS_SRC) && git rev-parse --short HEAD 2> /dev/null || echo UNKNOWN)
OBJS = kernel/version_$(GIT_REV).o
+bumpversion:
+ sed -i "/^YOSYS_VER := / s/+[0-9][0-9]*$$/+`git log --oneline 8a4c6e6.. | wc -l`/;" Makefile
+
# set 'ABCREV = default' to use abc/ as it is
#
# Note: If you do ABC development, make sure that 'abc' in this directory