chore: upgrade version of benchmark VERSION file in bump_versions script

Author: dlachaume

docs/devbook/bump-versions/bump_versions.sh

@@ -47,6 +47,10 @@ readonly DEVNET_VERSION_FILE=mithril-test-lab/mithril-devnet/VERSION
 declare DEVNET_UPDATE=""
 declare DEVNET_UPDATE_MESSAGE=""
 
+readonly BENCHMARK_VERSION_FILE=mithril-test-lab/benchmark/aggregator-prover/VERSION
+declare BENCHMARK_UPDATE=""
+declare BENCHMARK_UPDATE_MESSAGE=""
+
 update_crate_versions() {
     # NOTE
     # `cargo get workspace.members` display the list of path to crates in the workspace.
@@ -185,6 +189,24 @@ update_devnet_version() {
     DEVNET_UPDATE_MESSAGE=" and \`$DEVNET_VERSION_FILE\` version"
 }
 
+update_benchmark_version() {
+    local -r dry_run=$1
+    local -r version_line=$(cat $BENCHMARK_VERSION_FILE | head -n 1)
+    local -r patch_number=$(echo "$version_line" | cut -d . -f 3)
+    local -r next_patch_number=$((patch_number + 1))
+    local -r new_version=$(echo "$version_line" | cut -d . -f 1-2).$next_patch_number
+
+    echo -e "   ${GREEN}Upgrading${RESET} $BENCHMARK_VERSION_FILE from ${version_line} to ${new_version}"
+    if [ true = "$dry_run" ]
+    then
+        echo -e "${ORANGE}warning${RESET}: aborting $BENCHMARK_VERSION_FILE update due to dry run"
+    else
+        echo -e "$new_version\n" > $BENCHMARK_VERSION_FILE
+    fi
+    BENCHMARK_UPDATE="\n* $BENCHMARK_VERSION_FILE from \`${version_line}\` to \`${new_version}\`"
+    BENCHMARK_UPDATE_MESSAGE=" and \`$BENCHMARK_VERSION_FILE\` version"
+}
+
 ################
 check_requirements
 
@@ -223,6 +245,11 @@ then
     update_devnet_version $DRY_RUN
 fi
 
+if [ "$(echo "${FILES_MODIFY[@]}" | grep -c "^mithril-test-lab/benchmark/aggregator-prover/.*\.sh$")" -gt 0 ]
+then
+    update_benchmark_version $DRY_RUN
+fi
+
 if [ true = $DRY_RUN ]
 then
     echo -e "${ORANGE}warning${RESET}: script is run in dry mode. To apply the changes, run ${GREEN}$0 --run${RESET}"
@@ -258,15 +285,15 @@ else
     UPDATED_PACKAGE_JSONS="\n${UPDATED_PACKAGE_JSONS}"
   fi
 
-  COMMIT_MESSAGE=$(echo -e "chore: upgrade crate versions${OPEN_API_UPDATE_MESSAGE}${INFRA_UPDATE_MESSAGE}${DEVNET_UPDATE_MESSAGE}\n${UPDATED_CRATES}${UPDATED_PACKAGE_JSONS}${OPEN_API_UPDATE}${INFRA_UPDATE}${DEVNET_UPDATE}")
+  COMMIT_MESSAGE=$(echo -e "chore: upgrade crate versions${OPEN_API_UPDATE_MESSAGE}${INFRA_UPDATE_MESSAGE}${DEVNET_UPDATE_MESSAGE}${BENCHMARK_UPDATE_MESSAGE}\n${UPDATED_CRATES}${UPDATED_PACKAGE_JSONS}${OPEN_API_UPDATE}${INFRA_UPDATE}${DEVNET_UPDATE}${BENCHMARK_UPDATE}")
 
   echo -e "$COMMIT_MESSAGE"
 
   if [ true = $COMMIT ]
   then
     git add --update $OPEN_API_FILE Cargo.lock ./*/Cargo.toml ./internal/*/Cargo.toml ./mithril-test-lab/*/Cargo.toml examples/*/Cargo.toml
     git add --update ./*/package.json ./*/package-lock.json mithril-client-wasm/ci-test/package-lock.json examples/*/package.json examples/*/package-lock.json
-    git add --update $INFRA_VERSION_FILE $DEVNET_VERSION_FILE
+    git add --update $INFRA_VERSION_FILE $DEVNET_VERSION_FILE $BENCHMARK_VERSION_FILE
     git commit -m "$COMMIT_MESSAGE"
   fi
 fi