From 67788382646f4e47d659561b3c6adad4ba8d73f9 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 8 Jul 2021 14:05:20 +0200
Subject: [PATCH] [Distrib] Generate generic source for final release
---
bin/build-src-distrib.sh | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/bin/build-src-distrib.sh b/bin/build-src-distrib.sh
index c9f206367c0..2fca9d0c904 100755
--- a/bin/build-src-distrib.sh
+++ b/bin/build-src-distrib.sh
@@ -448,6 +448,10 @@ function add_downloads {
# Source distribution:
run "cp $OUT_DIR/$TARGZ_FILENAME $DOWNLOAD_DIR"
run "git -C $WEBSITE_DIR add $DOWNLOAD_PATH/$TARGZ_FILENAME"
+ if test "$FINAL_RELEASE" = "yes"; then
+ run "cp $OUT_DIR/$TARGZ_FILENAME $DOWNLOAD_DIR/frama-c-source-dist.tar.gz"
+ run "git -C $WEBSITE_DIR add $DOWNLOAD_PATH/frama-c-source-dist.tar.gz"
+ fi
# API
run "cp $OUT_DIR/frama-c-api.tar.gz $DOWNLOAD_DIR/frama-c-$FRAMAC_VERSION_AND_CODENAME-api.tar.gz"
--
GitLab