aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2022-01-11 08:35:50 +0100
committerMiodrag Milanovic <mmicko@gmail.com>2022-01-11 08:35:50 +0100
commit8b1eafc3adc6ce6828cc827e518a4fa9425feb56 (patch)
tree5e20b881c1aec305e416c04d310dad1c6656f826 /Makefile
parent64972360a82dcce0c786c2f2e0c3c72cde76af5a (diff)
downloadyosys-8b1eafc3adc6ce6828cc827e518a4fa9425feb56.tar.gz
yosys-8b1eafc3adc6ce6828cc827e518a4fa9425feb56.tar.bz2
yosys-8b1eafc3adc6ce6828cc827e518a4fa9425feb56.zip
Release version 0.13
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index e186bb0f7..5e47230d6 100644
--- a/Makefile
+++ b/Makefile
@@ -129,12 +129,12 @@ LDFLAGS += -rdynamic
LDLIBS += -lrt
endif
-YOSYS_VER := 0.12+57
+YOSYS_VER := 0.13
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 2156e20.. | 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
#