release: use higher compression

FStarLang · Jan 11, 2025 · cac389a · cac389a
1 parent d57a0c6
commit cac389a
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 3 deletions.
diff --git a/.github/workflows/build-linux.yml b/.github/workflows/build-linux.yml
@@ -37,6 +37,7 @@ jobs:
             echo FSTAR_VERSION="nightly-$(date -I)" >> $GITHUB_ENV
           elif [[ "${{github.workflow_ref}}" =~ "release.yml" ]]; then
             echo FSTAR_VERSION="$(cat version.txt)" >> $GITHUB_ENV
+            echo FSTAR_RELEASE=1 >> $GITHUB_ENV
           fi
 
       # NB: release workflow later adds version number to the name

diff --git a/.github/workflows/build-macos.yml b/.github/workflows/build-macos.yml
@@ -29,6 +29,7 @@ jobs:
             echo FSTAR_VERSION="nightly-$(date -I)" >> $GITHUB_ENV
           elif [[ "${{github.workflow_ref}}" =~ "release.yml" ]]; then
             echo FSTAR_VERSION="$(cat version.txt)" >> $GITHUB_ENV
+            echo FSTAR_RELEASE=1 >> $GITHUB_ENV
           fi
 
       # Note *g*make below!

diff --git a/.scripts/mk-package.sh b/.scripts/mk-package.sh
@@ -32,6 +32,10 @@ windows () {
   [[ "${OS:-}" = "Windows_NT" ]]
 }
 
+release () {
+  [[ -n "${FSTAR_RELEASE:-}" ]]
+}
+
 # Computes a (hopefully) sensible default for the current system
 detect_format () {
   if windows; then
@@ -67,7 +71,7 @@ case $FSTAR_PACKAGE_FORMAT in
     ATGT="$(realpath "$TGT")"
     pushd "$PREFIX" >/dev/null
     LEVEL=
-    if [ -v FSTAR_RELEASE ]; then
+    if release; then
       LEVEL=-9
     fi
     $WRAP zip -q -r $LEVEL "$ATGT" .
@@ -77,7 +81,7 @@ case $FSTAR_PACKAGE_FORMAT in
     TGT="$ARCHIVE.zip"
     ATGT="$(realpath "$TGT")"
     LEVEL=
-    if [ -v FSTAR_RELEASE ]; then
+    if release; then
       LEVEL=-mx9
     fi
     pushd "$PREFIX" >/dev/null
@@ -89,7 +93,7 @@ case $FSTAR_PACKAGE_FORMAT in
     TGT="$ARCHIVE.tar.gz"
     $WRAP tar cf "$ARCHIVE.tar" -h -C "$PREFIX" .
     LEVEL=
-    if [ -v FSTAR_RELEASE ]; then
+    if release; then
       LEVEL=-9
     fi
     $WRAP gzip -f $LEVEL "$ARCHIVE.tar"