From c011d9af9b74b1c04f739f4425dd8a1e7e7c76cc Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 17 May 2023 09:35:51 +0200
Subject: [PATCH] [release] add avoid flag for beta versions in opam
---
dev/build-release.sh | 14 +++++++++++++-
1 file changed, 13 insertions(+), 1 deletion(-)
diff --git a/dev/build-release.sh b/dev/build-release.sh
index 7aad889e2cb..d33eba7fd7d 100755
--- a/dev/build-release.sh
+++ b/dev/build-release.sh
@@ -274,7 +274,19 @@ OPAM_FC_DIR="$OPAM_DIR/packages/frama-c/frama-c.$VERSION"
mkdir -p $OPAM_DIR
mkdir -p $OPAM_FC_DIR
-cat opam | grep -v "^version\:" | grep -v "^name\:" > $OPAM_FC_DIR/opam
+OPAM_VERSION="opam-version: \"2.0\""
+if [ "$FINAL_RELEASE" = "yes" ]; then
+ OPAM_VERSION_FIX="$OPAM_VERSION"
+else
+ OPAM_VERSION_FIX="$OPAM_VERSION\navailable: opam-version >= \"2.1.0\"\nflags: avoid-version"
+fi
+
+cat opam \
+ | grep -v "^version\:" \
+ | grep -v "^name\:" \
+ | sed -e "s/$OPAM_VERSION/$OPAM_VERSION_FIX/" \
+ > $OPAM_FC_DIR/opam
+
cat >>$OPAM_FC_DIR/opam << EOL
url {
--
GitLab