Merge branch 'fix/blanchard/dev/set-version-update' into 'stable/nickel'

[dev] extend set-version.sh for build script

See merge request frama-c/frama-c!4366

dev/set-version.sh

@@ -124,4 +124,8 @@ else
     doc/aorai/main.tex
   $SED -i "s/\(^\\\\section\*{E-ACSL \\\\eacslpluginversion \\\\eacslplugincodename}\)/%\1\n\n\\\\section\*{E-ACSL $NEXT_MAJOR.$NEXT_MINOR $NEXT_CODENAME}/g" \
     src/plugins/e-acsl/doc/userman/changes.tex
+
+  # Frama-C build script
+
+  $SED -i "s/(\\\\\\\"frama-c\\\\\\\" (>= [1-9][0-9]\.[0-9]))/(\\\\\\\"frama-c\\\\\\\" (>= $NEXT_MAJOR.$NEXT_MINOR))/g" bin/frama-c-build-scripts.sh
 fi

doc/release/branch.tex

@@ -79,6 +79,7 @@ This will:
   \item update the \texttt{VERSION} and \texttt{VERSION\_CODENAME} files
   \item update the \texttt{opam} files (Frama-C, lint, hdrck)
   \item update the API doc
+  \item update the Frama-C build script
 \end{itemize}
 
 Merge the \texttt{stable} branch in the \texttt{master} branch.