From ad6fc79619428838ae016394356b8b4417e9a0c4 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 16 Oct 2023 09:16:57 +0200
Subject: [PATCH] [dev] script for updating dune-version
---
dev/set-dune-version.sh | 52 +++++++++++++++++++++++++++++++++++++++++
1 file changed, 52 insertions(+)
create mode 100755 dev/set-dune-version.sh
diff --git a/dev/set-dune-version.sh b/dev/set-dune-version.sh
new file mode 100755
index 00000000000..7f755097168
--- /dev/null
+++ b/dev/set-dune-version.sh
@@ -0,0 +1,52 @@
+#! /bin/bash
+##########################################################################
+# #
+# This file is part of Frama-C. #
+# #
+# Copyright (C) 2007-2023 #
+# CEA (Commissariat à l'énergie atomique et aux énergies #
+# alternatives) #
+# #
+# you can redistribute it and/or modify it under the terms of the GNU #
+# Lesser General Public License as published by the Free Software #
+# Foundation, version 2.1. #
+# #
+# It is distributed in the hope that it will be useful, #
+# but WITHOUT ANY WARRANTY; without even the implied warranty of #
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the #
+# GNU Lesser General Public License for more details. #
+# #
+# See the GNU Lesser General Public License version 2.1 #
+# for more details (enclosed in the file licenses/LGPLv2.1). #
+# #
+##########################################################################
+
+VERSION=$1
+
+if test -z "$VERSION"; then
+ echo "Missing argument. Usage is:"
+ echo "\$ ./dev/set-dune-version.sh <N.MM>"
+ exit 2
+fi
+
+# For macOS: use gsed if available, otherwise test if sed is BSD
+if command -v gsed &>/dev/null; then
+ SED=gsed
+else
+ if sed --version 2>/dev/null | grep -q GNU; then
+ SED=sed
+ else
+ echo "GNU sed required"
+ exit 1
+ fi
+fi
+
+find . -name dune-project -exec $SED -i -e "s/(lang dune [1-9]\.[0-9]*)/(lang dune ${VERSION})/gI" '{}' ';'
+find . -name dune-workspace.* -exec $SED -i -e "s/(lang dune [1-9]\.[0-9]*)/(lang dune ${VERSION})/gI" '{}' ';'
+$SED -i -e "s/(lang dune [1-9]\.[0-9]*)/(lang dune ${VERSION})/gI" ./bin/frama-c-build-scripts.sh
+
+echo "All dune-project related files have been updated".
+echo "Remember to update:"
+echo "- opam"
+echo "- reference configuration"
+echo "- external plug-ins"
--
GitLab