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

Optimised quick&dirty setup.
ci/woodpecker/push/build Pipeline was successful Details

This commit is contained in:
Achim D. Brucker 2022-06-29 13:37:35 +01:00
parent 03b721f014
commit 38f6516ad9
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.woodpecker/mk_release
View File

@ -82,7 +82,13 @@ build_and_install_manuals()
(cd $ISADOF_WORK_DIR && $ISABELLE env ./install-afp)
if [ "$DIRTY" = "true" ]; then
(cd $ISADOF_WORK_DIR && $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/
cp examples/scholarly_paper/2018-cicm-isabelle_dof-applications/output/document.pdf \
$ISADOF_WORK_DIR/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/output/
mkdir -p $ISADOF_WORK_DIR/examples/technical_report/Isabelle_DOF-Manual/output/
cp examples/technical_report/Isabelle_DOF-Manual/output/document.pdf \
$ISADOF_WORK_DIR/examples/technical_report/Isabelle_DOF-Manual/output/
else
(cd $ISADOF_WORK_DIR && $ISABELLE build -c -D . )
fi