From bb0be8c7a20335f8e03597cfcf052609f8a1f4a4 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Sat, 4 May 2024 16:51:29 +1200
Subject: [PATCH 1/3] Docs: Set release to YOSYS_VER

If building from read the docs, and the current build is "latest", add `-dev` to the version string.
Requires `YOSYS_VER` to be exported by .readthedocs.yaml.
---
 docs/source/conf.py | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 29d36d9c45f..aed3fddff7c 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -63,6 +63,14 @@
 extensions.append('sphinx.ext.todo')
 todo_include_todos = False
 
+# attempt to get version
+env_yosys_ver = os.getenv("YOSYS_VER")
+if env_yosys_ver:
+    if os.getenv("READTHEDOCS") and os.getenv("READTHEDOCS_VERSION") == "latest":
+        release = env_yosys_ver + "-dev"
+    else:
+        release = env_yosys_ver
+
 # custom cmd-ref parsing/linking
 sys.path += [os.path.dirname(__file__) + "/../"]
 extensions.append('util.cmdref')

From fe27240b3a9c0be98dd16b3fc27cef61ddb50946 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Sat, 4 May 2024 16:51:38 +1200
Subject: [PATCH 2/3] Makefile: Export YOSYS_VER

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 56efaf5eb0f..2e93bcc8dc3 100644
--- a/Makefile
+++ b/Makefile
@@ -143,6 +143,7 @@ endif
 endif
 
 YOSYS_VER := 0.40+50
+export 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

From 6eb49ee9e830545e212f9aefe90d5bd130afa7a4 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Tue, 7 May 2024 10:23:22 +1200
Subject: [PATCH 3/3] Makefile: Export YOSYS_VER only for make docs

---
 Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 2e93bcc8dc3..6711751b62d 100644
--- a/Makefile
+++ b/Makefile
@@ -143,7 +143,6 @@ endif
 endif
 
 YOSYS_VER := 0.40+50
-export 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
@@ -1013,7 +1012,7 @@ docs/reqs:
 
 DOC_TARGET ?= html
 docs: docs/source/cmd/abc.rst docs/gen_examples docs/gen_images docs/guidelines docs/usage docs/reqs
-	$(Q) $(MAKE) -C docs $(DOC_TARGET)
+	$(Q) YOSYS_VER=$(YOSYS_VER) $(MAKE) -C docs $(DOC_TARGET)
 
 clean:
 	rm -rf share