From a6bd74bdf50dc9fd0238a6fae9f3c2f6802f5a6c Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 30 Nov 2020 14:40:48 +0100
Subject: [PATCH] [release-script] Adds missing manuals (website)
---
bin/build-src-distrib.sh | 17 ++++++++++++++++-
1 file changed, 16 insertions(+), 1 deletion(-)
diff --git a/bin/build-src-distrib.sh b/bin/build-src-distrib.sh
index 34b0115a5a2..2f4e1211886 100755
--- a/bin/build-src-distrib.sh
+++ b/bin/build-src-distrib.sh
@@ -258,7 +258,7 @@ function add_downloads {
elif [[ $f_no_ext =~ ^e-acsl-* ]]; then
REPL=$(echo $BASE | sed -e "s/-$FRAMAC_VERSION_AND_CODENAME//")
else
- REPL=$(echo $BASE | sed -e "s/\(.*\)\/\(.*\)-$FRAMAC_VERSION_AND_CODENAME/\1\/frama-c-\2/")
+ REPL=$(echo $BASE | sed -e "s/\(.*\)-$FRAMAC_VERSION_AND_CODENAME/frama-c-\1/")
fi
run "cp $fpath $DOWNLOAD_DIR/$BASE"
@@ -272,6 +272,21 @@ function add_downloads {
VALUE_GIT_PATH="$DOWNLOAD_PATH/frama-c-value-analysis.pdf"
run "cp $EVA_FILE $VALUE_PATH"
run "git -C $WEBSITE_DIR add $VALUE_GIT_PATH"
+
+ # Examples:
+ HELLO="hello-$FRAMAC_VERSION_AND_CODENAME.tar.gz"
+ run "cp $OUT_DIR/$HELLO $DOWNLOAD_DIR"
+ run "git -C $WEBSITE_DIR add $DOWNLOAD_PATH/$HELLO"
+ run "cp $OUT_DIR/$HELLO $DOWNLOAD_DIR"
+ run "git -C $WEBSITE_DIR add $DOWNLOAD_PATH/hello.tar.gz"
+
+ # Source distribution:
+ run "cp $OUT_DIR/$TARGZ_FILENAME $DOWNLOAD_DIR"
+ run "git -C $WEBSITE_DIR add $DOWNLOAD_PATH/$TARGZ_FILENAME"
+
+ # API
+ run "cp $OUT_DIR/frama-c-api.tar.gz $DOWNLOAD_DIR/frama-c-api-$FRAMAC_VERSION_AND_CODENAME.tar.gz"
+ run "git -C $WEBSITE_DIR add $DOWNLOAD_PATH/frama-c-api-$FRAMAC_VERSION_AND_CODENAME.tar.gz"
}
function fill_website {
--
GitLab