From 35f7de733d533ba46f5b7a27e2ee81539e10ed64 Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Fri, 28 Jun 2024 16:02:15 +0200
Subject: [PATCH] [release] Automate the update of tests during release

---
 Makefile          | 2 +-
 update_version.sh | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 3b986d5..2ff04a5 100644
--- a/Makefile
+++ b/Makefile
@@ -42,11 +42,11 @@ PACKAGE_URL="https://git.frama-c.com/api/v4/projects/$(PROJECT_ID)/packages/gene
 DESCRIPTION="$(shell sed -n -e "p;n;:next;/^##/Q;p;n;b next" CHANGES.md | perl -pe 's/\n/\\n/')"
 
 release:
+	./update_version.sh
 	@echo -n $(DESCRIPTION)
 	@echo "Is the CHANGES.md correct for $(TAG) (y/n)?"
 	@read yesno; test "$$yesno" = y
 	echo $(TAG) > VERSION
-	./update_version.sh
 	dune-release tag $(TAG)
 	dune-release distrib --skip-build --skip-lint
 	curl --header "PRIVATE-TOKEN: $(GITLAB_TOKEN)" \
diff --git a/update_version.sh b/update_version.sh
index 96e69bc..a5e376e 100755
--- a/update_version.sh
+++ b/update_version.sh
@@ -14,3 +14,6 @@ sed -E -i 's/version = \x27([0-9]\.)+[0-9]\x27/version = \x27'${VERSION}'\x27/g'
 sed -E -i 's/release = \x27([0-9]\.)+[0-9]\x27/release = \x27'${VERSION}'\x27/g' doc/conf.py
 sed -E -i 's/CAISAR_VERSION: "([0-9]\.)+[0-9]"/CAISAR_VERSION: "'${VERSION}'"/g' .gitlab-ci.yml
 sed -E -i 's/TAG: "([0-9]\.)+[0-9]"/TAG: "'${VERSION}'"/g' .gitlab-ci.yml
+
+# Update version in tests
+sed -E -i 's/([0-9]\.)+[0-9]/'${VERSION}'/g' tests/help.t
-- 
GitLab