From 76731a60ed325ad10a7c0e448a689bfda285d2c7 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 8 Jul 2021 14:16:43 +0200
Subject: [PATCH] [Distrib] Remove fields when generating opam file - name -
version
---
bin/build-src-distrib.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/build-src-distrib.sh b/bin/build-src-distrib.sh
index 2fca9d0c904..6e32cc9de97 100755
--- a/bin/build-src-distrib.sh
+++ b/bin/build-src-distrib.sh
@@ -791,7 +791,7 @@ case "${STEP}" in
9)
step 9 "GENERATE OPAM FILE"
assert_out_dir
- run "cp opam/opam $OUT_DIR/opam"
+ cat opam/opam | grep -v "^version\:" | grep -v "^name\:" > $OUT_DIR/opam
echo >> "$OUT_DIR/opam"
echo "url {" >> "$OUT_DIR/opam"
echo " src: \"https://git.frama-c.com/pub/frama-c/-/wikis/downloads/$TARGZ_FILENAME\"" >> "$OUT_DIR/opam"
--
GitLab