aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--CHANGELOG3
-rw-r--r--Makefile4
2 files changed, 5 insertions, 2 deletions
diff --git a/CHANGELOG b/CHANGELOG
index 24a8e8934..902fe727b 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -2,6 +2,9 @@
List of major changes and improvements between releases
=======================================================
+Yosys 0.12 .. Yosys 0.12-dev
+--------------------------
+
Yosys 0.11 .. Yosys 0.12
--------------------------
diff --git a/Makefile b/Makefile
index 2e4069562..677977e80 100644
--- a/Makefile
+++ b/Makefile
@@ -129,12 +129,12 @@ LDFLAGS += -rdynamic
LDLIBS += -lrt
endif
-YOSYS_VER := 0.12
+YOSYS_VER := 0.12+0
GIT_REV := $(shell git -C $(YOSYS_SRC) 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 360fed8.. | wc -l`/;" Makefile
+ sed -i "/^YOSYS_VER := / s/+[0-9][0-9]*$$/+`git log --oneline 2156e20.. | wc -l`/;" Makefile
# set 'ABCREV = default' to use abc/ as it is
#