Added quick-and-dirty mode.
This commit is contained in:
parent
9d5c71d4e1
commit
15fb6fdc2d
|
@ -46,7 +46,9 @@ print_help()
|
|||
echo " --tag tag, -t tag use tag for release archive"
|
||||
echo " (default: use master branch)"
|
||||
echo " --publish, -p publish generated artefact"
|
||||
echo " (use master: $PUBLISH)"
|
||||
echo " (default: $PUBLISH)"
|
||||
echo " --quick-and-dirty, -d only build required artifacts, no complete test"
|
||||
echo " (default: $DIRTY)"
|
||||
}
|
||||
|
||||
check_isabelle_version() {
|
||||
|
@ -79,8 +81,11 @@ build_and_install_manuals()
|
|||
echo "* Building manual"
|
||||
|
||||
(cd $ISADOF_WORK_DIR && $ISABELLE env ./install-afp)
|
||||
(cd $ISADOF_WORK_DIR && $ISABELLE build -c -D . )
|
||||
|
||||
if [ "$DIRTY" = "true" ]; then
|
||||
(cd $ISADOF_WORK_DIR && $ISABELLE build -c -d . Isabelle_DOF-Manual 2018-cicm-isabelle_dof-applications)
|
||||
else
|
||||
(cd $ISADOF_WORK_DIR && $ISABELLE build -c -D . )
|
||||
fi
|
||||
mkdir -p $ISADOF_WORK_DIR/doc
|
||||
echo "Isabelle/DOF Manuals!" > $ISADOF_WORK_DIR/doc/Contents
|
||||
|
||||
|
@ -125,6 +130,7 @@ ISABELLE=`which isabelle`
|
|||
USE_TAG="false"
|
||||
SIGN="false"
|
||||
PUBLISH="false"
|
||||
DIRTY="false"
|
||||
BUILD_DIR=`mktemp -d`
|
||||
ISADOF_WORK_DIR="$BUILD_DIR/Isabelle_DOF"
|
||||
while [ $# -gt 0 ]
|
||||
|
@ -141,6 +147,8 @@ do
|
|||
SIGN="true";;
|
||||
--publish|-p)
|
||||
PUBLISH="true";;
|
||||
--quick-and-dirty|-d)
|
||||
DIRTY="true";;
|
||||
--help|-h)
|
||||
print_help
|
||||
exit 0;;
|
||||
|
|
Loading…
Reference in New Issue