aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2023-01-03 09:34:45 +0100
committerMiodrag Milanovic <mmicko@gmail.com>2023-01-03 09:34:45 +0100
commite02b7f64bc7e3a7f0eb1aa4e25dd6e7903a91cb0 (patch)
tree86cf393a1f3e56047cf933893f2087a3b455070f /Makefile
parenta27a297ebce0737a90007daf753a39c56e8d02c2 (diff)
downloadyosys-e02b7f64bc7e3a7f0eb1aa4e25dd6e7903a91cb0.tar.gz
yosys-e02b7f64bc7e3a7f0eb1aa4e25dd6e7903a91cb0.tar.bz2
yosys-e02b7f64bc7e3a7f0eb1aa4e25dd6e7903a91cb0.zip
Release version 0.25
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 684de3cdd..65d59c41f 100644
--- a/Makefile
+++ b/Makefile
@@ -142,7 +142,7 @@ LDLIBS += -lrt
endif
endif
-YOSYS_VER := 0.24+25
+YOSYS_VER := 0.25
# Note: We arrange for .gitcommit to contain the (short) commit hash in
# tarballs generated with git-archive(1) using .gitattributes. The git repo
@@ -158,7 +158,7 @@ endif
OBJS = kernel/version_$(GIT_REV).o
bumpversion:
- sed -i "/^YOSYS_VER := / s/+[0-9][0-9]*$$/+`git log --oneline 313b799.. | wc -l`/;" Makefile
+# sed -i "/^YOSYS_VER := / s/+[0-9][0-9]*$$/+`git log --oneline 313b799.. | wc -l`/;" Makefile
# set 'ABCREV = default' to use abc/ as it is
#