pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixed quick and dirty mode.

This commit is contained in:
Achim D. Brucker 2022-06-29 15:34:27 +01:00
parent 41a6c22822
commit ae3d35e363
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.woodpecker/mk_release
View File

@ -80,7 +80,6 @@ build_and_install_manuals()
{ {
echo "* Building manual" echo "* Building manual"
(cd $ISADOF_WORK_DIR && $ISABELLE env ./install-afp)
if [ "$DIRTY" = "true" ]; then if [ "$DIRTY" = "true" ]; then
$ISABELLE build -c -d . Isabelle_DOF-Manual 2018-cicm-isabelle_dof-applications $ISABELLE build -c -d . Isabelle_DOF-Manual 2018-cicm-isabelle_dof-applications
mkdir -p $ISADOF_WORK_DIR/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/output/ mkdir -p $ISADOF_WORK_DIR/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/output/
@ -90,6 +89,7 @@ build_and_install_manuals()
cp examples/technical_report/Isabelle_DOF-Manual/output/document.pdf \ cp examples/technical_report/Isabelle_DOF-Manual/output/document.pdf \
$ISADOF_WORK_DIR/examples/technical_report/Isabelle_DOF-Manual/output/ $ISADOF_WORK_DIR/examples/technical_report/Isabelle_DOF-Manual/output/
else else
(cd $ISADOF_WORK_DIR && $ISABELLE env ./install-afp)
(cd $ISADOF_WORK_DIR && $ISABELLE build -c -D . ) (cd $ISADOF_WORK_DIR && $ISABELLE build -c -D . )
fi fi
mkdir -p $ISADOF_WORK_DIR/doc mkdir -p $ISADOF_WORK_DIR/doc