diff --git a/Makefile b/Makefile
index eb05bd70e52..6bf3bdbce04 100644
--- a/Makefile
+++ b/Makefile
@@ -156,6 +156,7 @@ CXXFLAGS += -D_DEFAULT_SOURCE
 endif
 
 YOSYS_VER := 0.47+86
+CXXFLAGS += -DYOSYS_VER=\\"$(YOSYS_VER)\\"
 
 # Note: We arrange for .gitcommit to contain the (short) commit hash in
 # tarballs generated with git-archive(1) using .gitattributes. The git repo