Bump version
authorgithub-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Fri, 17 Jun 2022 00:17:38 +0000 (00:17 +0000)
committergithub-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Fri, 17 Jun 2022 00:17:38 +0000 (00:17 +0000)
Makefile

index f85ea0b53861b8b85ddf8d8f0532585fe177c04a..41d4dbfad1816397b9b3ad09bc970c35dc84c387 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -129,7 +129,7 @@ LDFLAGS += -rdynamic
 LDLIBS += -lrt
 endif
 
-YOSYS_VER := 0.18+10
+YOSYS_VER := 0.18+13
 
 # Note: We arrange for .gitcommit to contain the (short) commit hash in
 # tarballs generated with git-archive(1) using .gitattributes. The git repo