Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Documented default for $TAG.

This commit is contained in:
Achim D. Brucker 2019-08-15 15:55:20 +01:00
parent ff0a40b62a
commit ecc7cec514
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.ci/mk_release
View File

@ -44,6 +44,7 @@ print_help()
echo " --isabelle, -i isabelle isabelle command used for installation"
echo " (default: $ISABELLE)"
echo " --tag -t tag use tag for release archive"
echo " (default: use master branch)"
echo " --p --publish publish generated artefact"
echo " (use master: $PUBLISH)"
}
@ -125,11 +126,13 @@ publish_archive()
read_config
ISABELLE=`which isabelle`
TAG="$DOF_VERSION/$ISABELLE_SHORT_VERSION"
USE_TAG="false"
SIGN="false"
PUBLISH="false"
ISABELLE_SHORT_VERSION=`echo $ISABELLE_VERSION | sed -e 's/:.*$//'`
TAG="$DOF_VERSION/$ISABELLE_SHORT_VERSION"
BUILD_DIR=`mktemp -d`
ISADOF_TAR="Isabelle_DOF-"$DOF_VERSION"_"$ISABELLE_SHORT_VERSION
ISADOF_DIR="$BUILD_DIR/$ISADOF_TAR"