aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-08-28 15:19:10 -0700
committerEddie Hung <eddie@fpgeh.com>2019-08-28 15:19:10 -0700
commit8d820a9884c0a58ee7817a2052d8b915578a7ba7 (patch)
tree7868bc0063dd0d36aa84a48c8ede1a3f3a8c37c3 /Makefile
parent3fa826254fb337e39334c8d94df6bcc142d17934 (diff)
parentfc727fa5c9e0a04a5dc1b4fcef652c5bca90b220 (diff)
downloadyosys-8d820a9884c0a58ee7817a2052d8b915578a7ba7.tar.gz
yosys-8d820a9884c0a58ee7817a2052d8b915578a7ba7.tar.bz2
yosys-8d820a9884c0a58ee7817a2052d8b915578a7ba7.zip
Merge remote-tracking branch 'origin/master' into xaig_arrival
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index a742f2e50..e56db424d 100644
--- a/Makefile
+++ b/Makefile
@@ -115,10 +115,13 @@ LDFLAGS += -rdynamic
LDLIBS += -lrt
endif
-YOSYS_VER := 0.8+$(shell cd $(YOSYS_SRC) && test -e .git && { git log --author=clifford@clifford.at --oneline 4d4665b.. 2> /dev/null | wc -l; })
+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